@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{srivastava-obt13,
  author    = {Saurabh Srivastava and Tim Hsiau and Sarah Chasins and Jonathan Kotker and Yen-Sheng Ho and Paul Ruan and Jeff Tsui and Stephi Hamilton and Jene Li and J. Christopher Anderson and Sanjit A. Seshia and Rastislav Bodik},
  title     = {Biochemistry as a Programming Language},
 booktitle = {Proc. Off the Beaten Track (OBT/POPL)},
 month = "January",
 year = {2013},
 abstract = {Synthetic biology makes biology engineerable. One objective 
of this engineering is to modify the chemical reactions 
within the cell, i.e., the biochemistry, to produce non-native 
compounds of commercial interest. To do this at scale, ideas 
from language design, verification, and synthesis will be 
useful. In this talk, we present our lessons learnt, future avenues 
and open problems, in formalizing biochemistry.},
}