A Computer Systems Symposium
Friday, Nov 2, 2012
306 Soda Hall
Talks by members of the program committee for the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013).
9:00 - 10:20 Heterogeneous Computing
Sarita Adve, UIUC, Addressing the Challenges of Heterogeneous Computing
Jason Cong, UCLA, Energy Efficient Computing with Composable Accelerators
Rodric Rabbah, IBM, Liquid Metal: Taming Architecture Heterogeneity
Olivier Temam, INRIA Saclay, Unconventional Fault-Tolerant Accelerators
11:00 - 12:20 Computer Architecture
Karin Strauss, MSR, Non-Volatile Memory Technologies and their Quirks
Tim Sherwood, UCSB, Supporting Security at the Gate-Level -- A Short Discussion of Opportunities and Misconceptions
David Wentzlaff, Princeton, Optimizing Processors for Tomorrow's Data Center
Lin Zhong, Rice, System energy consumption is a multi-player game
1:30 - 2:50 Programming Languages and Security
Ras Bodik, UC Berkeley, Synthesizing Programs with Constraint Solvers
Ali Reza Adl-Tabatabai, Facebook, HipHop: High-Performance PHP
Andrew Myers, Cornell, A software-hardware contract for controlling cache and timing channels.
Bryan Ford, Yale, Using System-Enforced Determinism to Control Timing Channels
3:30 - 4:50 Security
Emmett Witchel, UT Austin, Trust your computer less
Edward Suh, Cornell, Flash Memory for Ubiquitous Hardware Security Functions
Todd Austin, Michigan, Torturing OpenSSL
David Mazieres, Stanford, Dune: Safe user-level access to privileged CPU features.(slides by Adam Belay)Ras Bodik, bodik@cs.berkeley.edu
About
- 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.