ASPLOS 2013 Program Committees

ASPLOS 2013 External Review Committee

Glenn Ammons (Google)
Krste Asanovic (UC Berkeley)
Luiz Barroso (Google)
Ricardo Bianchini (Rutgers)
Peter Bodik (MSR)
Michael Bond (Ohio State)
Mihai Budiu (MSR Silicon Valley)
Sebastian Burckhardt (Microsoft Research)
Doug Burger (MSR)
Barbara Chapman (University of Houston)
Trishul Chilimbi (Microsoft Research)
Nirav Dave (SRI)
John Davis (MSR Silicon Valley)
Peter Dinda (Northwestern)
Natalie Enright Jerger (University of Toronto)
Mattan Erez (UT Austin)
David Gay (Google)
Dan Grossman (University of Washington)
Tim Harris (Oracle)
Gernot Heiser (UNSW)
Urs Holzle (Google)
Wilson Hsieh (Google)
Galen Hunt (MSR)
Norm Hutchinson (UBC)
Hiroshi Inoue (IBM Research - Tokyo)
Mary Jane Irwin (Penn State)
Suresh Jagannathan (Purdue)
Aamer Jaleel (Intel)
Sam King (UIUC)
Christos Kozyrakis (Stanford)
Doug Lea (SUNY Oswego)
E Christopher Lewis (VMware)
Calvin Lin (UT Austin)
Geoff Lowney (Intel)
Shan Lu (University of Wisconsin)
Dimitrios Lymberopoulos (MSR)
Milo Martin (UPenn)
Maged Michael (IBM)
Mark Moir (Oracle Labs)
Greg Morrisett (Harvard)
Todd Mowry (CMU)
Satish Narayanasamy (University of Michigan)
Ed Nightingale (Microsoft)
Ravi Rajwar (Intel)
Jose Renau (UC Santa Cruz)
Majd Sakr (Carnegie Mellon Quatar)
Karu Sankaralingam (University of Wisconsin)
Jiri Schindler (NetApp)
Russell Sears (Microsoft)
Kai Shen (University of Rochester)
Armando Solar-Lezama (MIT)
Greg Steffan (University of Toronto)
Per Stenstrom (Chalmers)
Steven Swanson (UCSD)
David Tarditi (Microsoft)
Bill Thies (MSR India)
Bhuvan Urgaonkar (Penn State)
T.N. Vijaykumar (Purdue)
Carole-Jean Wu (Arizona State)
Antonia Zhai (University of Minnesota)
Youtao Zhang (University of Pittsburgh)
Ben Zorn (MSR)
Willy Zwaenepoel (EPFL)

About

News
Course on program synthesis
9/2/2012

Emina 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/2012

We 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/2012

The 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/2012

We are looking for postdocs in program synthesis and computer-aided programming.

2nd Dagstuhl Seminar in Program Synthesis
4/9/2012

Several communities related to synthesis of programs and other computational artifacts will meet again in wine cellars of the castle.

Layout based on BASIC by Download Website Templates