University of Colorado at Boulder: Computer Engineering Research

Upcomming and Recent Events:

Active Research Projects:

Faculty Members:

Recent Publications [Full List]

Automating the Generation of Composed Linear Algebra Kernels [abstract] (PDF)
Geoffrey Belter, E. R. Jessup, Ian Karlin, and Jeremy Siek
To Appear: Proceedings of the International Conference on High Performance Computing, Networking, Storage, and Analysis (SC), November 2009.
Multi-core Acceleration of Chemical Kinetics for Simulation and Prediction [abstract]
John C. Linford, John Michalakes, Manish Vachharajani, and Adrian Sandu
To Appear: Proceedings of the International Conference on High Performance Computing, Networking, Storage, and Analysis (SC), November 2009.
Spectrum: A Hybrid Nanophotonic-electric On-chip Network [abstract]
Zheng Li, Alan Mickelson, Li Shang, Manish Vachharajani, Dejan Filipovic, Wounjhang Park, and Y. Sun
The 46th Annual IEEE Design Automation Conference (DAC), July 2009.
An Efficient Lock-Aware Transactional Memory Implementation [abstract] (PDF)
Justin E. Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, and Daniel A. Connors
Proceedings of the 2009 ACM International Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS). In conjunction with ECOOP. , July 2009.
Threesomes, With and Without Blame [abstract] (PDF)
Jeremy Siek and Philip Wadler
Proceedings of the 1st International Workshop on Script to Program Evolution (STOP), July 2009.
Exploring the Design Space of Higher-Order Casts [abstract] (PDF)
Jeremy Siek, Ronald Garcia, and Walid Taha
Proceedings of the 18th European Symposium on Programming (ESOP), March 2009.
GPU Acceleration of Numerical Weather Prediction [abstract] (PDF)
John Michalakes and Manish Vachharajani
Parallel Programming Letters (PPL), December 2008.Invited.
Visualizing Potential Parallelism in Sequential Programs [abstract] (PDF)
Graham D. Price, John Giacomoni, and Manish Vachharajani
The 17th International Conference on Parallel Architectures and Compilation Techniques (PACT), October 2008.
Gradual Typing with Unificiation-based Inference [abstract] (PDF)
Jeremy G. Siek and Manish Vachharajani
Proceedings of the 2008 Dynamic Languages Symposium (DLS), July 2008.
C++ Move Semantics for Exception Safety and Optimization in Software Transactional Memory Libraries [abstract] (PDF)
Justin E. Gottschlich, Jeremy G. Siek, and Daniel A. Connors
Proceedings of the 2008 International Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS). In conjunction with ECOOP. , July 2008.