Computer Science Department Carnegie Mellon University
Tel: (412) 268-6791 Executive assistant: Denny Marous, dcm@cs.cmu.edu, (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.
Past Projects
Publications
POP (Principles of Programming) Seminars
TeachingAdvisingCurrent- At Carnegie Mellon, Computer Science Department
- At Max Planck Institute for Software Systems
Past
- 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.
|
|