| Wiki Markup |
|---|
h1. Sketching: Program Synthesis using SAT Solvers |
...
_put your abstract |
...
here_ h1. [Armando Solar-Lezama |
...
put your bio here
...
|http://people.csail.mit.edu/asolar], MIT, Cambridge, USA
_put your bio here_
{attachments:patterns=.*} |