ASPLOS 2013 Program Committee
Ali Reza Adl-Tabatabai (Facebook)Sarita Adve (UIUC)
Ole Agesen (VMware)
Todd Austin (Mich)
Calin Cascaval (Qualcomm)
Hassan Chafi (Oracle labs)
Byung-Gon Chun (Yahoo!)
Jason Cong (UCLA)
Brian Demsky (UCI)
Bryan Ford (Yale)
Ada Gavrilovska (GATECH)
Steven Gribble (UW)
Kim Hazelwood (Google)
David Mazieres (Stanford)
Jonathan McCune (CMU)
Andrew Myers (Cornell)
Michael O'Boyle (Manchester)
Mark Oskin (UW)
Keshav Pingali (UT Austin)
Florentina Popovici (Google)
Rodric Rabbah (IBM)
P. (Sadday) Sadayappan (Ohio State)
Tim Sherwood (UCSB)
Tajana Simunic Rosing (UCSD)
Karin Strauss (MSR)
Edward Suh (Cornell)
Nathan Tallent (PNNL)
Olivier Temam (INRIA Saclay)
Adam Welc (Oracle Labs)
Thomas Wenisch (Mich)
David Wentzlaff (Princeton)
Emmett Witchel (UT Austin)
Nickolai Zeldovich (MIT)
Xiaolan Zhang (IBM)
Lin Zhong (Rice)
ASPLOS 2013 External Review COmmittee
To be determinedAbout
- Contact Information
- Download CV
- Projects
- Students
- Papers
- Talks
- Current and Recent Courses
- Courseware
- Organizing
News
Course on program synthesis
9/2/2012Emina Torlak and I have given an invited tutorial at CAV 2012. The tutorial is being expanded this semester into a graduate course, which you can follow as we add lectures and homeworks. CAV tutorial slides: (ppt, pdf, screencast). The graduate course.
Postdoc position position in synthetic biology
8/13/2012We are looking for postdocs in synthetic biology. We need curious, well-rounded computer scientists with expertise in algorithms, hacking, and with interest in biology.
NSF Expedition in Computing for program synthesis
4/3/2012The multi-university ExCAPE project aims to change computer programming from the tedious task to one in which a programmer and an "automated program synthesis tool" collaborate to generate software that meets its specifications.
Looking for a postdoc position?
4/3/2012We are looking for postdocs in program synthesis and computer-aided programming.
2nd Dagstuhl Seminar in Program Synthesis
4/9/2012Several communities related to synthesis of programs and other computational artifacts will meet again in wine cellars of the castle.