Rice
FIS

FIS image header
  •  
  •  
  •  
  •  
  •  
Download 
Scholarly Interest Report
         
Keith D. Cooper
Professor
Professor of Computer Science and Electrical and Computer Engineering
 
e-mail:keith@rice.edu
 
  • B.S. (1978) Rice University
  • M.A. (1982) Rice University
  • Ph.D. (1983) Rice University
 
Primary Department
   Department of Computer Science
Picture
 
Department Affiliations
 
  • Department of Computer Science
  • Department of Electrical and Computer Engineering
  • Ken Kennedy Institute for Information Technology
  •  
    Dean's Office
     

    Since 2012, I have had an appointment as Associate Dean for Research. Due to issues in Rice's personnel systems, that role never appears in the Faculty Information System.

     
    Websites
     Personal Web Page
     
    Research Areas
     Programming Languages and Compiler Construction
     

    Research Interests

     

    Dr. Cooper conducts research on a variety of problems that arise in the design and implementation of compilers-tools that translate programs into an executable form. He works on problems in program analysis (reasoning during translation about the behavior of the running program) and in program transformation (rewriting the program during translation so that it executes more efficiently). His group focuses on problems that arise with uniprocessors, employed in commodity systems, in embedded systems, and in high-performance systems. Fortunately, changes in microprocessor design, system design, and programming languages create a steady stream of new problems in this area.


     


     

     
    Teaching Areas
     Compiler Construction, Introductory Courses
     
    Selected Publications
     Refereed articles
     

    33333ggg "bgfhdfgh." jjjjUnknown

     
     

    Keith D. Cooper "Making Effective Use of Multicore Systems: A Software Perspective." ACM Ubiquity, 2014(Sept) (Sept 2014) : 1-8.


    http://ubiquity.acm.org/article.cfm=2618407
     
     

    K.D. Cooper, A. Grosul, T.J. Harvey, S.W. Reeves, D. Subramanian, L. Torczon, and T. Waterman "Exploring the Structure of the Space of Compilation Sequences Using Randomized Search." Journal of Supercomputing, 36(2) (May 2006) : 135-151.

     
     

    F Berman, H Casanova, A Chien, K Cooper, H Dail, A Dasgupta, W Deng, J Dongarra, L Johnsson, K Kennedy, C Koelbel, B Liu, X Liu, A Mandal, G Marin, J Mellor-Crummey, C Mendes, A Olugible, M Patel, D Reed, Z Shi, O Sievert, H Xia "New Grid Scheduling and Rescheduling Methods in the GrADS Project." International Journal of Parallel Programming, 33(2-3) (2005) : 209 - 229.

     
     

    Keith D. Cooper and Todd Waterman "Investigating Adaptive Compilation Using the MIPSPro Compiler." Internation Journal of High Performance Computing Applications, 19(4) (2005) : 423-431.

     
     

    K.D. Cooper, D. Subramanian and L. Torczon "Adapative Optimizing Compilers for the 21st Century." Journal of Supercomputing, 23(1) (2002/Aug)

     
     

    Andrew Chien, Francine Berman, Keith D. Cooper, Jack Dongarra, Ian Foster, Dennis Gannon, Lennart Johnsson, Ken Kennedy, Carl Kesselman, John Mellor-Crummey, Daniel Reed, Linda Torczon, and Rich Wolski "The GrADS Project: Support for High-level Grid Application Development ." International Journal of High Performance Computing Applications, 15(4) (2001/Win.)

     
     

    Ken Kennedy, Bradley Broom, Keith D. Cooper, Jack Dongarra, Robert Fowler, Dennis Gannon, Lennart Johnsson, John Mellor-Crummey, and Linda Torczon "Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Environments." Journal of Parallel and Distributed Computing, 61(12) (2001/Dec) : 1802-1826.

     
     

    K.D. Cooper, L.T. Simpson, and C. Vick "Operator Strength Reduction." ACM Transactions on Programming Languages and Systems, 23(5) (2001/Sept) : 603-625.

     
     

    K. D. Cooper, T.J. Harvey, and L. Torczon "How to Build an Interference Graph." Software - Practice and Experience, 28/4 (1998/April) : 425-444.

     
     

    P. Briggs, K.D. Cooper, T.J. Harvey, and L.T. Simpson "Practical Improvements to the Construction and Destruction of Static Single Assignment Form." Software - Practice and Experience, 28/8 (1998/July) : 859-881.

     
     Books
     

    K.D. Cooper and L. Torczon, Engineering a Compiler Second Edition, Elsevier Morgan Kaufmann, Burlington, MA, March 2011  (First Printing, March 2011; Second Printing September 2011)

     
     

    K.D. Cooper, J. Mellor-Crummey, and V. Sarkar (editors), Proceedings of the 23rd International Workshop on Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science, Volume 6548, Springer, 2011.

     
     

    Keith D. Cooper and Linda Torczon "Engineering a Compiler."  (2003/Nov)

     
     Book chapters
     

    Keith D. Cooper, Ken Kennedy, and Linda Torczon "Compilers." Chapter in Encyclopedia of Physical Science and Technology, Third Edition (2001)

     
     Refereed conference papers
     

    M.M. Chabbi, J.M. Mellor-Crumey, and K.D. Cooper, "Efficiently Exploring Compiler Optimization Sequences with Pairwise Pruning," Proceedings of the First International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop era (EXADAPT  2011), San Jose, CA, June 2011.

     
     

    Y. Zhang, A. Mandal, C. Koelbel, and K. Cooper, "Combined Fault Tolerance and Scheduling Techniques for Workflow Applications on Computational Grids,"  Proceedings of the IEEE International Symposium on Cluster Computing and the Grid, Shanghai, China, May 2009, pages 244-251.

     
     

    Y. Zhang, C. Koelbel, and K. Cooper,"Batch Queue Resource Co-scheduling for Workflow Applications", Proceedings of IEEE Cluster 2009, New Orleans, LA, September 2009, pages 1-10.

     
     

    Y. Zhang, C. Koelbel, and K. Cooper, "Hybrid Rescheduling Mechanisms for Workflow Applications on the Grid," Proceedings of the IEEE International Symposium on Cluster Computing and the Grid, Shanghai, China, May 2009, pages 116-123.

     
     

    K. Cooper, J. Eckhardt, and K. Kennedy, "Redundancy Elimination Revisited," Proceedings of the 17th International Conference on Parallel Architectures and Compilation (PACT 08), Toronto, Ontario, CA, October 2008, pages 12-21

     
     

    K.D. Cooper, T.J. Harvey, and D.M. Peixotto "Chow and Hennessy vs. Chaitin-Briggs Register Allocation: Using Adaptive Compilation to Fairly Compare Algorithms", Proceedings of the Second Workshop on Statistical and Machine Learning Approaches Aplied to Architectures and Compilation (SMART 08), Goteborg, Sweden, January 2008.

     
     

    K.D. Cooper, T.J. Harvey, and T. Waterman, "An Adaptive Strategy for Inline Substitution", Proceedings of the 2008 International Conference on Compiler Construction (CC 2008), Mart 2008, pages 69-84.

     
     

    Keith D. Cooper, Tim Harvey, and Jeff Sandoval "Tuning an Adaptive Compiler." Lecture Notes in Computer Science (January 28, 2007)

     
     

    Yi Guo, Devika Subramanian, Keith D. Cooper "An Effective Local Search Algorithm for an Adaptive Compiler." Lecture Notes in Computer Science (January 28, 2007)

     
     

    K.D. Cooper, T.J. Harvey, and K. Kennedy "An Empirical Study of Iterative Data-Flow Analysis." Proceedings of the 15th International Conference on Computing (November 2006) : 266-276.

     
     

    Keith D. Cooper and Anshuman Das Gupta "Tailoring Graph-coloring Register Allocation for Runtime Compilation." Proceedings of the 4th International Symposium on Code Generation and Optimization (March 2006) : 11.

     
     Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems
     
     

    K.D. Cooper and J.L. Eckhardt "Improved Passive Splitting." Proceedings of the International Conference on Programming Languages and Compilation (June 2005)

     
     Proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computers
     
     

    L. Almagor, K.D. Cooper, A. Grosul, T.J. Harvey, S.W. Reeves, D. Subramanian, L. Torczon, and T. Waterman "Finding Effective Compilation Sequences." Proceedings of the 2004 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) (June 2004) : 231-230.

     
     

    K.D. Cooper, A. Das Gupta and K. Kennedy "Vizer: A System to Vectorize x86 Binaries." Proceedings of the 2002 LACSI Symposium (2002/Oct)

     
     

    K.D. Cooper, Todd Waterman "Understanding Energy Consumption on the C62x." Workshop on Compilers and Operating Systems for Low Power (2002/Sept)

     
     

    Li Xu, K.D. Cooper "An Efficient Static Analysis Algorithm to Detect Redundant Memory Operations." ACM Workshop on Memory Systems Performance (2002/June)

     
     

    Z. Budimlic, K.D. Cooper, T.J. Harvey, K. Kennedy, S. Reeves, and T. Oberg "Copy Coalescing and Live-range Identification without an Interference Graph." SIGPLAN 2002 - Conference on Programming Lanauage Design and Implementation, SIGPLAN Notices, 37(5) (2002) : 25-32.

     
     

    Keith D. Cooper, Devika Subramanian, and Linda Torczon "Adaptive Optimizing Compilers for the 21st Century." Proceedings of the 2001 LACSI Symposium, Santa Fe, NM, USA (2001/Oct)

     
     

    K. Cooper, P. Schielke, and D. Subramanian "Optimizing for Reduced Code Space using Genetic Algorithms." 1999 ACM SIGPLAN Workshop on Languages,Compilers, and Tools for Embedded Systems(LCTES) (1999/May)

     
     

    Keith Cooper and Nat McIntosh "Enhanced Code Compression for Embedded RISC Processors." Proceedings of the SIGPLAN 99 Conference onProgramming Language Design and Implementation., 34 (5) (1999) : 139-149.

     
     

    K.D. Cooper and L.T. Simpson "Live-range Splitting in a Graph Coloring Register Allocator." Proceedings of the 1998 International Conference on Compiler Construction (1998/Mar) : 174-187.

     
     

    K.D. Cooper and P. Schielke "Non-local Instruction Scheduling with Limited Code Growth." SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES) (1998/June) : 193-207.

     
     

    K.D. Cooper and T.J. Harvey "Compiler-controlled Memory." Proceedings of the Eighth International Conference on Architectural Support for Programming Languages and Systems (ASPLOS) (1998/Oct) : 2-11.

     
     Conference papers
     

    K.D Cooper and J.A. Sandoval, "Dynamic Compilation for Component-Based High-Performance Computing," Workshop on Component-Based High-Performance Computing (CBHPC), Portland, OR, November 2009.

     
     

    Y. Zhang, C. Koelbel, K. Cooper, "Cluster-Hybrid Rescheduling Mechanisms for Workflow Applications on the Grid," Proceedings of the Fourth IEEE International Conference on eScience", December 2008, pages 390-391.

     
     

    K.D. Cooper, A. Grosul, T.J. Harvey, S.W. Reeves, D. Subramanian, L. Torczon, and T. Waterman "Exploring the Structure of the Space of Compilation Sequences Using Randomized Search Algorithms." Proceedings of the 2004 Symposium of the Los Alamos Computer Science Institute (Oct. 2004)

     
     

    Keith D. Cooper and Li Xu "Memory Redundancy Elimination to Improve Application Energy Efficiency." Proceedings of the 16th Int'l Workshop on Languages and Compilers for Parallel Computing (Oct 2003)

     
     

    Keith D. Cooper and Todd Waterman "Investigating Adaptive Compilation using the MIPSPro Compiler." Proceedings of the 2003 LACSI Symposium (2003/Oct)

     
     Other
     

    Keith D. Cooper and Jeffrey Sandoval, "Portable Techniques to Find Effective Memory Hierarchy Parameters," Rice Computer Science Technical Report 11-06, 2011 (11 pages)

     
     

    K.D. Cooper, J. Mellor-Crummey, E. Merenyi, K. Palem,  P. Sadayappan, V. Sarkar, and L. Torczon, “The Platform-Aware Compilation Environment (PACE)”, Air Force Research Laboratory TR AFRL-RY-WP-TR-2012-0214, 2012 (52 pages).

     
     

    K.D. Cooper, J. Mellor-Crummey, E. Merenyi, K. Palem,  P. Sadayappan, V. Sarkar, and L. Torczon, “The Platform-Aware Compilation Environment: Status and Future Directions”, Rice Computer Science Technical Report 12-04, June 2012 (132 pages).

     
     

    D. Callahan, K. Cooper, K. Kennedy, & L. Torczon "Interprocedural Constant Propagation." ACM SIGPLAN Notices, 39(4) (April 2004) : 155-166.

     
     

    K. Cooper and K. Kennedy "Interprocedural Side-Effect Analysis in Linear Time." ACM SIGPLAN Notices, 39(4) (April 2004) : 217-228.

     
     

    P. Briggs, K. Cooper, K. Kennedy, & L. Torczon "Coloring Heuristics for Register Allocation." ACM SIGPLAN Notices, 39(4) (April 2004) : 283-294.

     
     

    K.D. Cooper, T.J. Harvey and T. Waterman "Building a Control-flow Graph from Scheduled Assembly Code." Rice University, Department of Computer Science Technical Report, 02-399 (6/1/2002)

     
     

    Keith Cooper, L.T. Simpson, and C. Vick "Operator Strength Reduction." ACM TOPLAS (1999)

     
    Creative Works
     Other - The PACE Resource Characterization Tools
     Open-source software release, through the project web site.,
     
    Presentations
     Invited Talks
     

    "Building Optimizing Compilers for the 21st Century." Rice University AGEP Program, Houston, TX, USA. (July 2005)

     
     University of Pittsburg, Department of Computer Science, Distinguished Lecture Series
     
     

    "From PC to Supercomputer: Putting Parts Together." Rice University, CS-CAMP Program, Houston, TX, USA. (June 2005)

     
     

    "Music, Traffic, Weather, & Google: Are the Geeks Taking Over? And Is That a Bad Thing?." Rice University Teacher Tech Program, Houston, TX, USA. (June 2005)

     
     

    "Building the Next Generation of Compilers." Rice CS Affiliates Meeting, Houston, TX, USA. (October 18, 2004)

     
     

    "Evolving the Next Generation of Compilers." 2nd IEEE/ACM International Symposium on Code Generation and Optimization, San Jose, CA, USA. (March 22, 2004)

     
     

    "Finding Good Compilation Sequences." Department of Computer Science, University of Texas, Austin, TX, USA. (Sept 16, 2004)

     
     

    "Order Matters." Seminar 03071: Emerging Technologies: Can Optimization Technology Meet Their Demands?, Dagstuhl, Germany. (February 3, 2003)

     
     

    "Rethinking Compiler Structure." Department of Computer Science Colloquium, Harvard University, Cambridge, MA, USA. (October 16, 2003)

     
     

    "Rethinking Compiler Structure." Seminar 03351: Perspectives Workshop: Software Optimization, Dagstuhl, Germany. (August 27, 2003)

     
     Keynote Speaker
     

    "Moving Adaptation into Individual Optimizations," Invited Keynote Talk, Fourth Workshop on Statistical and Machine Learning Approaches Applied to Architectures and Compilation (SMART 2010), Pisa, IT, January 24, 2010.

     
     Other
     

    "Building 21st Century Compilers." New Professor's Lecture Series, Brown School of Engineering, Rice University, Houston, TX, USA. (March 12, 2001)

     
     

    "Future Compilers: Breaking the 1960's Mold." Invited talk, College of William and Mary, Williamsburg, VA, USA. (February 2, 2001)

     
    Supervised Theses & Dissertations
     Vernon Lee, Doctor of Philosophy Optimizing Programs Over the Constructive Reals. (1991) (Thesis Committee Member)

     Mary Wolcott Hall, Doctor of Philosophy Managing Interprocedural Optimization. (1991) (Thesis Committee Member)

     Preston Briggs, Doctor of Philosophy Register Allocation via Graph Coloring. (1992) (Thesis Director)

     Mark Hall, Doctor of Philosophy Combining Particles and Waves for Fluid Animation. (1992) (Thesis Committee Member)

     Steve Carr, Doctor of Philosophy Memory-Hierarchy Management. (1992) (Thesis Committee Member)

     Kathryn S. McKinley, Doctor of Philosophy Automatic and Interactive Parallelization. (1992) (Thesis Committee Member)

     Daniel D. Grove, Master of Science Interprocedural Constant Propagation: A Study of Jump Function Implementations. (1993) (Thesis Committee Member)

     Chau-Wen Tseng, Doctor of Philosophy An Optimizing Fortran D Compiler for MIMD DIstributed-Memory Machines. (1993) (Thesis Committee Member)

     Karim Esseghir, Master of Science Improving Data Locality for Caches. (1993) (Thesis Director)

     Paul Havlak, Doctor of Philosophy Interprocedural Symbolic Analysis. (1994) (Thesis Committee Member)

     Hariklia Tsalapatas, Master of Science Interprocedural Arry Side Effect Analysis. (1994) (Thesis Committee Member)

     Christopher A. Vick, Master of Science SSA-Based Reduction of Operator Strength. (1994) (Thesis Director)

     Amr A. Sabry, Doctor of Philosophy The Formal Relationship between Direct and Continuation-Passing Style Optimizing Compilers:A Synthesis of Two Paradigms. (1994) (Thesis Committee Member)

     Clifford Noel Click, Doctor of Philosophy Combining Analyses, Combining Optimization. (1995) (Thesis Director)

     Douglas M. Monk, Doctor of Philosophy An Empirical Evaluation of Dependence Analysis in Parallel Program Comprehension. (1995) (Thesis Committee Member)

     Ulrich Kremer, Doctor of Philosophy Automatic Data Layout for Distributed Memory Machines. (1995) (Thesis Committee Member)

     Loren Taylor Simpson, Doctor of Philosophy Value-Driven Redundancy Elimination. (1996) (Thesis Director)

     Gina Goff, Doctor of Philosophy Practical Techniques to Augment Dependence Analysis in the Presence of Symbolic Terms. (1997) (Thesis Committee Member)

     Nathaniel McIntosh, Doctor of Philosophy Compiler Support for Software Prefetching. (1998) (Thesis Co-Director)

     Timothy J. Harvey, Master of Science Reducing the Impact of Spill Code. (1998) (Thesis Director)

     Philip J. Schielke, Doctor of Philosophy Stochastic Instruction Scheduling. (2000) (Thesis Director)

     Chen Ding, Doctor of Philosophy Improving Effective Bandwidth through Compiler Enhancement of Global and Dynamic Cache Reuse. (2000) (Thesis Committee Member)

     Jingsong He, M.S. Cluster Assignment and Instruction Scheduling for Partitioned Register-Set Machines. (2000) (Thesis Director)

     Zoran Budimlic, Doctor of Philosophy Compiling Java for High Performance and the Internet. (2001) (Thesis Committee Member)

     Shriram Krishnamurthi, Doctor of Philosophy Linguistic Reuse. (2001) (Thesis Committee Member)

     John Clements, Master of Science Modeling an Algebraic Stepper. (2001) (Thesis Committee Member)

     Todd Waterman, Master of Science Post-Compilation Analysis and Power Reduction. (2002) (Thesis Director)

     Brian R. Stoler, Master of Science A Framework for Building Pedagogic Java Programming Environments. (2002) (Thesis Committee Member)

     Anirban Mandal, Master of Science Mapping HPF onto the Grid. (2002) (Thesis Committee Member)

     Robert B. Findler, D Behavioral Software Contracts. (2002) (Thesis Committee Member)

     Qing Yi, Doctor of Philosophy Transforming Complex Loop Nests Locality. (2002) (Thesis Committee Member)

     Anshuman Dasqupta, Master of Science Vizer: A Framework to Analyze and Vectorize Intel x86 Binaries. (2002) (Thesis Director)

     Michael Brogioli, M.S. Dynamically Reconfigurable Data Caches in Low Power Computing. (2002) (Thesis Co-Director)

     Philippe Meunier, Master of Science Selector-based versus Conditional-constraint-based Value-flow Analysis of Programs. (2002) (Thesis Committee Member)

     Eric Allen, Ph.D. A First-Class Approach to Genericity. (2003) (Thesis Committee Member)

     Timothy J. Harvey, Ph.D. An Experimental Analysis of a Set of Compiler Algorithms. (2003) (Thesis Director)

     Li Xu, Ph.D. Program Redundancy Analysis and Optimization to Improve Memory Performance. (2003) (Thesis Director)

     Cheryl McCosh, M.S. Type-Based Specialization in a Telescoping Compiler for Matlab. (2003) (Thesis Committee Member)

     Anirban Mandal, Master of Science Mapping HPF onto the Grid. (2003) (Thesis Committee Member)

     Arun Chauham, Doctor of Philosophy Telescoping MATLAB for DSP Applications. (2003) (Thesis Committee Member)

     Anshuman Das Gupta, Master of Science Vizer: A Framework to Analyze and Vectorize Intel x86 Binaries. (2003) (Thesis Director)

     Stephan Ellner, Master of Science PreVIEW: An Untyped Graphical Calculus for Resource-aware Programming. (2004) (Thesis Committee Member)

     John Garvin, Master of Science RCC: A Compiler for the R Language for Statistical Computing. (2004) (Thesis Committee Member)

     Arun Chauhan, Doctor of Philosophy Telescoping MATLAB for DSP Applications. (2004) (Thesis Committee Member)

     Jonathan Bannet, Master of Science Soft Boundaries for Statically Enforceable Protection Domains. (2004) (Thesis Committee Member)

     Alexander Grosul, Ph.D. Adaptive Ordering of Code Transformations in an Optimizing Compiler. (2005) (Thesis Director)

     James Sasitorn, Master of Science Efficient Implementation of Frist-class Polymorphic Methods in Java. (2005) (Thesis Committee Member)

     Nathan Froyd, Master of Science Efficient Call Path Profiles on Unmodified Optimized Code. (2005) (Thesis Committee Member)

     Mackale Joyner, Master of Science Improving Object Inlining for High-Performance Java Scientific Applications. (2005) (Thesis Committee Member)

     Todd Waterman, Ph.D. Adaptive Compilation and Inlining. (2005) (Thesis Director)

     Jason Eckhardt, Master of Science Global Register Allocation Using Program Structure. (2005) (Thesis Director)

     Anshuman Das Gupta, Ph.D. Tailoring Traditional Optimizaitons for Runtime Compilation. (2006) (Thesis Director)

     Michael C. Brogioli, Ph.D. Reconfigurable Heterogeneous DSP/FPGA Based Embedded Architectures for Numerically Intensive Computing Workloads. (2007) (Thesis Committee Member)

     Algis Rudys, Doctor of Philosophy Operating System-Style Protections for Language-Based Systems. (2007) (Thesis Committee Member)

     Samah Abu-Mahmeed, M.S. In-Place Updating of Variables in LabVIEW. (2007) (Thesis Co-Director)

     David M. Peixotto, M.S. Tuning a Priority-Based Register Allocator Using Adaptive Compilation. (2007) (Thesis Director)

     Apan Qasem, Ph.D. Automatic Tuning of Scientific Applications. (2007) (Thesis Co-Director)

     Jeffrey A. Sandoval, M.S. Tuning an Adaptive-Compilation Search Space with Loop Unrolling. (2007) (Thesis Director)

     Adam Bordelon, M.S. Developing a Scalable, Extensible Parallel Performance Analysis Toolkit. (2007) (Thesis Committee Member)

     Yi Guo, M.S. On Accelerating the Searches for Compilation Sequences in an Adaptive Compiler. (2007) (Thesis Co-Director)

     Cheryl McCosh, Doctor of Philosophy A Type-Based Protype Compiler for Telescoping Languages. (2008) (Thesis Director)

     Mackale Joyner, Doctor of Philosophy Array Optimizations for High Productivity Programming Languages. (2008) (Thesis Committee Member)

     Mary Fletcher, Master of Science Matlab D: Compiling Parallel Matlab with User-Defined Date Distributions. (2008) (Thesis Committee Member)

     Seth Fogarty, Master of Science Buchi Containment and Size-Change Termination. (2008) (Thesis Committee Member)

     Sumit Nain, Master of Science Linear vs. Branching Time: A Semantical Perspective. (2009) (Thesis Committee Member)

     Raghavan Raman, Master of Science Compiler Support for Work-Stealing Parallel Runtime Systems. (2009) (Thesis Committee Member)

     Rajarshi Bandyopadhyay, Doctor of Philosophy Compiling dynamic languages via statically typed functional languages . (2009) (Thesis Committee Member)

     Donghua Liu, Master of Science Parameterization and Adaptive Search for Graph Coloring Register Allocation. (2010) (Thesis Director)

     Yang Zhang, Doctor of Philosophy Grid-Centric Scheduling Strategies for Workflow Applications. (2010) (Thesis Director)

     Rajkishore Barik, Doctor of Philosophy Efficient Optimization of Memory accesses in Parallel Program. (2010) (Thesis Committee Member)

     Rui Zhang, Doctor of Philosophy Performance Optimizations for Software Transactional Memory. (2010) (Thesis Committee Member)

     Jeffrey Andrew Sandoval, Doctor of Philosophy Foundations for Automatic, Adaptable Compilation. (2011) (Thesis Director)

     Yousra Alkabani, Doctor of Philosophy N-variant Hardware Design. (2011) (Thesis Director)

     Sagnak Tasirlar, Master of Science Scheduling Macro-DataFlow Programs on Task-Parallel Runtime Systems. (2011) (Thesis Committee Member)

     Yi Guo, Doctor of Philosophy A Scalable Locality-aware Adaptive Work-stealing Scheduler for Muti-core Task Parallelism. (2011) (Thesis Committee Member)

     Dragos Dumitru Sbirlea, Master of Science Integrating Stream Parallelism and Task Parallelism in a Dataflow Programming Model. (2012) (Thesis Committee Member)

     David McCarthy Peixotto, Doctoral Low-Level Haskell Code: Measurements and Optimization Techniques. (2012) (Thesis Director)

     Alina Gabriela Sbirlea, Master of Science Mapping a Dataflow Programming Model onto Heterogeneous Aarchitectures. (2012) (Thesis Committee Member)

     Seth Fogarty, Doctoral Biichi Automata as Specifications for Reactive Systems. (2013) (Thesis Committee Member)

     Lai Wei, MS Autotuning Memory-intensive Software for Node Architectures. (2014) (Thesis Committee Member)

    Awards, Prizes, & Fellowships
     Outstanding Faculty Associate, Brown College, Rice University (May 2012)

     Distinguished Faculty Associate, Brown College,

     Fellow of the ACM, ACM (May 2006)

     Referee, Information Processing Letters (2001)

     Referee, ACM Letters on Programming Languages and Systems (2001)

     Referee, Journal of Programming Languages (2001)

     Referee, Microprocessors and Microsystems (2001)

     Referee, IEEE Software (2001)

     Program Committee Member, ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems, ACM (June 2001)

     Referee, IEEE Computer (2001)

     Referee, Science of Computer Programming (2001)

     Workshop Co-chair: Compilation Issues for Itanium Architectures, Los Alamos Computer Science Institute (LACSI) (October 2001)

     Referee, ACM Transactions on Programming Languages and Systems (2001)

     Referee, Software - Practice and Experience (2001)

     Member, Academic Planning and Coordination Committee, Los Alamos Computer Science Institute (1999 - present)

     Academic Planning and Coordination Committee, Los Alamos Computer Science Institute (1999)