Computer Science Department
Carnegie Mellon University
Tel: (412) 268-6791
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
- William Duff (undergraduate)
- Nicolas Feltman (Ph.D. student), jointly advised with Kayvon Fatahalian.
- Thomas Marshall (Ph.D. student), jointly advised with Andy Pavlo.
- Stefan Muller (Ph.D. student)
- Akshay Nanavati (undergraduate), jointly advised with Guy Blelloch.
- Ram Raghunathan (Ph.D. student)
- 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.
- Mike Rainey, Post-doc,, Max Planck Institute for Software Systems
- 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
- ALENEX 2015. Program Committee.
- ESOP 2015. Program Committee.
- POPL 2015. Program Committee
- FHPC 2013. Program Chair (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
- Work Stealing Unlocked: Thread Scheduling without Synchronization. Bertinoro Workshop on Algorithms and Data Structures, 2013.
- 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.