Computer Science Department
Carnegie Mellon University
Tel: (412) 268-6791
Executive assistant: Denny Marous, firstname.lastname@example.org
, (412) 268-7660, GHC 9118
ResearchBroadly construed, I research problems of scalability. Current foci include the design and development of abstractions, algorithms, languages, and systems for scalable parallel, dynamic, and interactive computation.
POP (Principles of Programming) Seminars
- At Carnegie Mellon, Computer Science Department
- At Max Planck Institute for Software Systems
- Arthur Chargueraud. Post-doc, Max Planck Institute for Software Systems.
- Joshua Dunfield, Post-doc, Max Planck Institute for Software Systems.
- Matthew Hammer. Ph.D. 2012, University of Chicago.
Ph.D. Thesis: Self-Adjusting Machines.
- Roly Perera. Ph.D. 2012, University of Birmingham.
Ph.D. Thesis: Interactive Programming.
- Mike Rainey, Post-doc,, Max Planck Institute for Software Systems
- Raphael Reitzig. M.S. 2012, Max Planck Institute for Software Systems.
M.S. Thesis: Automated Parallelisation of Dynamic Programming Recursions.
- Ozgur Sumer. Ph.D. 2012, University of Chicago.
Ph.D. Thesis: Adaptive Inference for Graphical Models.
- Duru Turkoglu. Ph.D. 2012, University of Chicago.
Ph.D. Thesis: Stable Algorithms and Kinetic Mesh Refinement.
- Ruy Ley-Wild. Ph.D. 2010, Carnegie Mellon University.
Ph.D. Thesis: Programmable Self-Adjusting Computation.
- Jamie Morgenstern. B.S. 2009, University of Chicago.
B.S. Thesis: Adaptive and Precise Root Solving for Polynomials.
Recent Professional Activities
Recent Editorial Board and Committee Memberships
- FHPC 2013. Program Chair (joint with Jost Berthold).
- PLDI 2013. Program Committee.
- FOSSACS 2013. Program Committee.
- Journal of Functional Programming (JFP) Special Issue on ICFP 2010. Guest Editor.
Recent Public Talks
- Practical Abstractions for Dynamic Software. Tulane University, 2013.
- NSF-CPATH Lecture on Parallelism: Automatic Granularity Control for Efficient Parallelism. University of Puerto RP, 2012.
- NSF-CPATH Lecture on Parallelism: Greedy Sharing: Load Balancing on Weakly Consistent Memory. University of Puerto Rico RP, 2012.
- Dagstuhl Seminar on Principles of Provenance 2012.