Members of PLG (Past and Present)


Tim Brecht, Associate Professor, profile
Performance Evaluation, High-Performance Internet Systems, Services and Applications, Parallel and Distributed Computation, Operating Systems
Peter Buhr, Associate Professor, profile
Concurrency, visualization and debugging, polymorphism, persistence.
Charlie Clarke, Assistant Professor, profile
Information storage and retrieval, programming language implementation, software tools and distributed applications.
Gordon Cormack, Professor, profile
Compilers, translation tools, type systems in software engineering, concurrent programming, data compression and text processing.
Michael W. Godfrey, Associate Professor, profile
Software evolution, software architecture, programming abstractions, software engineering tools.
Ondřej Lhoták, Associate Professor, profile
Programming language design & implementation, program analysis of object-oriented languages.
Gregor Richards, Assistant Professor, profile
Programming language and virtual machine design, in particular dynamic and gradually-typed languages.
Patrick Lam, Associate Professor, profile
Software Engineering Static Program Analysis Verifiable Software Specifications
Werner Dietl, Assistant Professor, profile
Programming languages Software engineering Software correctness and robustness

Former Faculty

Mike Coffin, August 1990-August 1994.
Concurrent Programming, Distributed Systems.
Dominic Duggan, November 1990-October 1996.
Type Systems and type Inference, Operational Semantics, Higher-Order Unification, Explicit Substitutions, Partial Continuations, Application Frameworks.
John Ophel, May 1990-August 1992.
Programming languages, compilers, and software engineering.
Steve MacDonald, July 2002-July 2009.
Pattern-based programming systems and tools, java virtual machine, operating and distributed systems.

Students and Postdocs

Daniel Brotherson, M.Math (Ondřej Lhoták / Werner Dietl)
Programming languages, gradual and optional type systems.
Thierry Delisle, M.Math (Peter Buhr)
Programming languages, exception handling.
Ghulam Lashari, Ph.D. (Ondřej Lhoták / Michael McCool)
Programming languages for GPUs.
Magnus Madsen, Postdoc (Ondřej Lhoták)
Static program analysis, points-to analysis, dataflow analysis, functional programming, logic programming.
Aaron Moss, Ph.D. (Peter Buhr)
Programming languages, GPGPU.
Srihari Radhakrishnan, M.Math (Peter Buhr)
Programming languages, high-performance web-servers.
Marianna Rapoport, Ph.D. (Ondřej Lhoták)
Static program analysis, compilers, functional programming.
Rob Schluntz, M.Math (Peter Buhr)
Programming languages, concurrency.
Ming-Ho Yee, M.Math (Ondřej Lhoták)
Static program analysis, compilers, programming languages.


Archana Adma, M.Math., 2006.
Thesis title: iTalk: Index your talk.
Karim Ali, Ph.D., 2014.
Thesis title: The Separate Compilation Assumption.
Frederick Bent, M.Math., 1994.
Thesis title: A Standard ML Type Error Explanation System.
Richard Bilson, M.Math., 2003.
Thesis title: Implementing Overloading and Polymorphism in Cforall.
Stefan Büttcher, Ph.D., 2007.
Thesis title: Multi-User File System Search.
Jiongxiong Chen, Ph.D., 2005.
Thesis title: Extensions to Fixed Priority with Preemption Threshold and Reservation-Based Scheduling.
Jun Chen, M.Math., 2004, Ph.D., 2009.
M.Math thesis title: RMA: A Pattern Based J2EE Development Tool.
Ph.D. thesis title: Guided Testing of Concurrent Programs Using Value Schedules.
Chiasen (Charles) Chung, M.Math., 2001.
Thesis title: Topic-oriented Collaborative Web Crawling.
Charlie Clarke, M.Math., 1990, Ph.D., 1996.
M.Math thesis title: Language and Compiler Support for Synchronous Message Passing Architectures.
Ph.D. thesis title: An Algebra for Structured Text Search.
Anthony Cox, Ph.D., 2002.
Thesis title: A Source-based Approach to Representing and Managing Information Extracted by Program Analysis.
Robert Denda, Diplomarbeit, 1997.
Thesis title: Profiling Concurrent Programs.
Glen Ditchfield, Ph.D., 1992.
Thesis title: Contextual Polymorphism.
Rodolfo Gabriel Esteves, M.Math., 2004.
Thesis title: Cforall, a Study in Evolutionary Design in Programming Languages.
Michel Fortier, M.Math., 1989.
Thesis title: A Study of Monitors.
Simon Gammage, M.Math., 1997.
Essay title: Compiling Standard ML to Java.
Justyna Gidzinski, M.Math., 2007.
Thesis title: μProfiler: A Concurrent Profiler for Concurrent C++ (μC++).
Anil Goel, Ph.D., 1996.
Thesis title: Exact Positioning of Data Approach to Memory Mapped Persistent Stores: Design, Analysis and Modelling.
Daisy Guo, M.Math., 2004.
Thesis title: Chinese Question Answering with Full-Text Retrieval Re-Visited.
Ashif Harji, M.Math., 1999, Ph.D., 2010.
M.Math thesis title: High-Level Real-Time Concurrency.
Ph.D. thesis title: Performance Comparison of Uniprocessor and Multiprocessor Web Server Architectures.
Kinson Ho, M.Math., 1999.
Thesis title: WatEVER: An Effective and Efficient Web Notification Protocol.
Ming-Yee Iu, M.Math., 2002.
Thesis title: Selective Flooding in Ad Hoc Networks.
Rory Jacobs, M.Math., 1994.
Thesis title: A Debugger for Multi-Threaded Applications.
John Johansen, M.Math., 2004.
Thesis title: Delta Pointers.
Martin Karsten, Diplomarbeit, 1995.
Thesis title: A Multi-Threaded Debugger for Multi-Threaded Applications.
Caroline Kierstead, M.Math., 2001.
Essay title: The Application of Patterns to Concurrent Control Flow.
Charlie "Buck" Krasic, M.Math., 1996.
Thesis title: Parametric Overloading In ML.
Roy Krischer, Diplomarbeit, 2002, Ph.D., 2010.
Diplomarbeit thesis title: Bound Exceptions in Object-Oriented Programming Languages.
Ph.D. thesis title: Advanced Concepts in Asynchronous Exception Handling.
Leszek Kurzyna, M.Math., 2000.
Thesis title: A Self-Organizing, Reliable Information Retrieval System.
Josh Lessard, M.Math., 2005.
Thesis title: Profiling Concurrent Programs Using Hardware Counters.
Alan Leung, M.Math., 2008.
Thesis title: Automatic Parallelization for Graphics Processing Units in JikesRVM.
Philipp Lim, M.Math., 1996.
Thesis title: Real-time in a Concurrent, Object-Oriented Programming Environment.
Brad Lushman, M.Math., 2002, Ph.D., 2007.
M.Math thesis title: Transformation-based Concurrency Control in Groupware Systems.
Ph.D. thesis title: Direct and Expressive Type Inference for the Rank 2 Fragment of System F.
Thomas Lynam, M.Math., 2002, Ph.D., 2009.
M.Math thesis title: Exploitation of Redundant Inverse Term Frequency for Answer Extraction.
Ph.D. thesis title: Spam Filter Improvement Through Measurement.
Hamish Macdonald, M.Math., 1993.
Thesis title: Exception Handling for the uSystem.
Dave Mason, Ph.D., 2002.
Thesis title: Probabilistic Program Analysis for Software Component Reliability.
Greg McLearn, M.Math., 2002.
Thesis title: Autonomous Cooperating Web Crawlers.
Allan Menezes, M.Math., 2005.
Essay title: A Java Implementation Of A Groupware Editor With Concurrent Update.
Russell Mok, M.Math., 1997.
Thesis title: Concurrent Abnormal Event Handling Mechanisms.
Nomair A. Naeem, Ph.D., 2013.
Thesis title: Verification of Temporal Properties Involving Multiple Interacting Objects.
Piotr Przybylski, M.Math., 1996.
Thesis title: A Type-Based Implementation of a Language with Distributed Scope.
Marianna Rapoport, M.Math., 2014.
Thesis title: Data Flow Analysis in the Presence of Correlated Calls.
Adam Richard, M.Math., 2007.
Thesis title: OOMatch: Pattern Matching as Dispatch in Java.
Oliver Schuster, Diplomarbeit, 1999.
Thesis title: Replay of Concurrent Shared-Memory Programs.
Anthony Scian, M.Math., 1990.
Thesis title: Software reusability paradigms.
Jun Shen, Ph.D., 1993.
Thesis title: Parametric Overloading, Higher-Order Modules and Dynamic Dispatch: An Ada-Based Approach.
Jun Shih, M.Math., 1996.
Thesis title: Debugging Concurrent Programs
Jason Skomorowski, M.Math., 2006.
Thesis title: Topical Opinion Retrieval
Constantinos Sourelis, M.Math., 1995.
Thesis title: Mixin Modules.
Andrew Stevenson, M.Math., 2008.
Thesis title: Aspect-Oriented Smart Proxies in Java RMI
Richard A. Stroobosscher, M.Math., 1989.
Essay title: Light Weight Processes in a Shared Memory Multiple Processor Environment.
Chi-Hung (Wilson) Tam, M.Math., 1996.
Thesis title: Objects with Polymorphic Methods and Self Types in Standard ML.
Egidio Terra, Ph.D., 2004.
Thesis title: Lexical Affinities and Language Applications
Philip Tilker, M.Math., 2005.
Thesis title: A reliable storage management layer for distributed information retrieval applications
David W. Till, M.Math., 1989.
Thesis title: Tuples In Imperative Programming Languages.
Sam To, M.Math. 1998.
Thesis title: Passage-Based Chinese Text Retrieval
Michael Van Biesbrouck, M.Math., 1999.
Thesis title: Compiling GCL Query Evaluators
Dennis Vadura, M.Math., 1985.
M.Math thesis title: A Proposed Design for the Sylvan Kernel.
Gordon Vreugdenhil, M.Math., 1990, Ph.D., 1996.
M.Math. thesis title: Memory Management and Light-Weight Tasks on Loosely Coupled Multiprocessors.
Ph.D. thesis title: A Framework for On-Line Partial Evaluation.
Anderson Wai, M.Math., 1992.
Essay title: Storage Management Support for Memory Mapping.
Ayelet Wasik, M.Math. 2008.
Thesis title: Features of a Multi-Threaded Memory Allocator.
Andrew Wright, M.Math., 1986, Research Associate 1988-1990.
Thesis title: Design of the programming language ForceOne.
David Yeung, M.Math. 2004.
Thesis title: Adapting Information Retrieval Techniques for a Biomedical Corpus.
Peter Chun Kai Yeung, M.Math. 2007.
Thesis title: Weighting Document Genre in Enterprise Search.
Brian Younger, M.Math., 1991.
Thesis title: Adding Concurrency to C++.
David Ziegler, B.IS., 1992.
Thesis title: Adding "Overloading Polymorphism" to C.
Dorota Zak, M.Math. 2000.
Thesis title: Analyzing Multi-Threaded Program Performance with uProfiler.
Scotte Zinn, M.Math., 1993.
Thesis title: Efficient Event Generation for Race Detection.
Ming Zhou, M.Math., 1999.
Thesis title: Generalizing Database Access Methods.

[PLG] Back to PLG Home Page

Valid XHTML 1.0