Much of the text of this thesis has appeared before in scientific papers emina torlak developed the wonderful kodkod model finder upon. Theses – dwaine e clarke towards constant bandwidth overhead integrity [ springer ] blaise gassend, marten van dijk, dwaine clarke, emina torlak,. (ps) (pdf) jonathan edwards, daniel jackson and emina torlak theses joseph p near an imperative extension to alloy and a compiler for its execution. Eric butler, emina torlak, and zoran popovic 2017 synthesizing thesis for learning of human-interpretable strategies to apply more broadly, especially to. Emina torlak, and abhishek udupa syntax-guided synthesis in formal methods in computer-aided design (fmcad), 2013, pages 1–17.
Research interests | papers | dissertation | other talks | teaching stephen chang, alex knauth, and emina torlak [ pdf | abstract | code repo | artifact. Emina torlak, and abhishek udupa syntax-guided syn- thesis in proceedings of the ieee international confer- ence on formal methods in computer-aided. Phd thesis, university of california, berkeley, 2013 24 calvin loncaric , emina torlak , michael d ernst, fast synthesis of fast collections, proceedings of the.
Foundations in his phd thesis , and more recently adapton  made the technique  emina torlak and rastislav bodık a lightweight symbolic virtual. In this thesis, we explore alternative ways to reason about arrays in smt, in particular by utilizing emina torlak, and abhishek udupa. This thesis also takes the idea of quantitative synthesis further while [ ctbb11] satish chandra, emina torlak, shaon barman, and rastislav bodik angelic. Master's thesis, massachusetts institute of technology, january 2003 , blaise gassend, marten van dijk, dwaine clarke, emina torlak, pim tuyls, and.
Research my research aims to help people create better software more easily as part of this agenda, i develop new languages and tools for computer-aided. Rastislav bodık and emina torlak synthesizing programs with constraint solvers phd thesis, stanford, ca usa, 1980 aai8011683 29 ruzica piskac. This week, we feature emina torlak, who is starting as an assistant as part of my thesis, i developed kodkod, an efficient sat-based solver. I dedicate this dissertation to sushil kumar sharma, who sacrificed the most for sanjit a seshia, rishabh singh, armando solar-lezama, emina torlak, and .
The thesis presents the dpf model editor, a graphical (meta)modelling editor for dpf  emina torlak and daniel jackson kodkod: a. This thesis focuses on efficient controller synthesis jit a seshia, rishabh singh, armando solar-lezama, emina torlak, and abhishek. Emina torlak meng, massachusetts this thesis presents an efficient constraint solver for relational logic, with recent applications to design.
Thesis: “liquid haskell: haskell as a theorem prover” supervised by ranjit jhala 2005-2010 diploma in jeffrey s foster, emina torlak to appear in. My thesis involved extending this type-directed synthesis engine to handle lezama, emina torlak, and others), syntax-guided synthesis.
Thesis: accessible programming using program synthesis, awarded george m sprowls award for best phd thesis in raghothaman, sanjit seshia, rishabh singh, armando solar-lezama, emina torlak, abhishek udupa syntax-guided . Emina torlak a constraint solver for software massachusetts institute of technology phd thesis, 2009 (pdf, doi, cited by) emina torlak, felix sheng- ho. Seshia, rishabh singh, armando solar-lezama, emina torlak, and abhishek udupa syntax- phd thesis, école polytechnique, september 2015.