Members of PLG (Past and Present)
Faculty
- 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.
Alumni
- 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.
Back to PLG Home Page