Honors and Awards
- Award for Outstanding Accomplishment in Research and Creative Activity, University of Massachusetts Amherst, UMass Amherst Faculty Convocation, 2009
- Hall of Fame Award, Special Interest Group on Operating Systems, 2016
Computer Science Department Room 372
140 Governor’s Drive
University of Massachusetts Amherst
Amherst MA 01003-4610
CASL: A Rapid-Prototyping Language for Modern Micro-architectures
Computer Languages, Systems, and Structures (2008)
We introduce CASL, the CoGenT Architecture Specification Language, a mixed behavioral–structure architecture description language designed to facilitate fast-prototyping and tool ...
Design, Implementation, and Evaluation of a Compilation Server
ACM Transactions on Programming Languages and Systems (2007)
Modern JVM implementations interleave execution with compilation of “hot” methods to achieve reasonable performance. Since compilation overhead impacts the execution ...
Memory Subsystem Performance of Programs with Intensive Heap Allocation
Twenty-First Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1994) (1994)
Heap allocation with copying garbage collection is believed to have poor memory subsystem performance, We conducted a study of the ...
Contributions to Books (3)
Contribution to Book
Supporting Full-Text Information Retrieval with a Persistent Object Store
Fourth International Conference on Extending Database Technology (EDBT 1994) (1994)
The inverted file index common to many full-text information retrieval systems presents unusual and challenging data management requirements. These requirements ...
Conference Papers (43)
Open Nesting in Software Transactional Memory
ACM SIGPLAN 2007 Symposium on Principles and Practice of Parallel Programming (2007)
Transactional memory (TM) promises to simplify concurrent programming while providing scalability competitive to fine-grained locking. Language-based constructs allow programmers to ...
The DaCapo Benchmarks: Java Benchmarking Development and Analysis
Proceedings of the 2006 ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2006) (2006)
Since benchmarks drive computer science research and industry product development, which ones we use and how we evaluate them are ...
Hybrid Optimizations: Which Optimization Algorithm to Use?
Proceedings of the 15th International Conference on Compiler Construction (2006)
We introduce a new class of compiler heuristics: hybrid optimizations. Hybrid optimizations choose dynamically at compile time which optimization algorithm ...