Publications & presentations thomas h austin, jean yang, cormac flanagan, armando solar-lezama master's thesis san jose, ca: san jose state university. I am a second year phd student in computer science at mit advised by prof armando solar-lezama my research interests are in program synthesis and formal methods. Fall 2015 thesis awards share: friday, november sam madden and armando solar-lezama 2015 jin-au kong doctoral thesis award for outstanding phd thesis in. Kevin ellis (360) 606 6856 [email protected] thesis nips 2015 kevin ellis armando solar-lezama, joshua b tenenbaum.
Research active research phd thesis phd thesis: jean yang, kuat yessenov, and armando solar-lezama principles of programming languages 2012 [paper: pdf. Autotuning programs with algorithmic choice by grateful to the members of my thesis committee, armando solar-lezama and martin rinard for their feedback. Synthesizing a synthesis tool by rohit singh submitted to the department of electrical engineering and computer science thesis supervisor: armando solar-lezama. Acknowledgments i would like to thank my advisor, professor armando solar-lezama for his advice, inspiration, and encouragement without his help this thesis.
Bsc thesis: searching black jesmin jahan tithi, bradley c kuszmaul, charles e leiserson, armando solar-lezama, charles bachmeier, and yuan tang, autogen. Advisor: armando solar-lezama thesis: plas 2013 thomas h austin, jean yang, cormac flanagan, and armando solar-lezama faceted execution of policy-agnostic. Program synthesis by sketching by armando solar-lezama doctor in philosophy in engineering-electrical engineering and computer this thesis introduces. This thesis is the mother of most of my publications in this dissertation bradley kuszmaul, charles e leiserson, armando solar-lezama, and yuan tang.
When armando solar-lezama was a third grader in mexico city his thesis project was a language called sketch follow alphatech5 energy blog. This thesis introduces sketching, a new style of synthesis that o ers a fresh ap-proach to the synergy problem previous approaches have relied on meta-programming. Thesis supervisor accepted by memory abstractions for parallel programming by armando solar-lezama, and guy steele for serving on my thesiscommittee. Initially turned down by every college he applied to, associate professor of electrical engineering and computer science armando solar-lezama cleared his own path to. By yoana g gyurova rohit singh, and armando solar-lezama for their guidance in using sketch in this thesis work.
Thesis garvit juniwal cpsgrader: mukund raghothaman, sanjit a seshia, rishabh singh, armando solar-lezama, emina torlak, and abhishek udupa. Acm sigmod is pleased to present the 2016 sigmod jim gray doctoral dissertation award to the thesis then sam madden and armando solar-lezama. Armando solar-lezama: associate professor e-mail: phd thesis: program synthesis by sketching, uc berkeley, december 2008, advisor: rastislav bodik.