Theses
-
Mubeen Zulfiqar, M.Math, Jan. 2020-present (in progress), "High-Performance Mult-Threaded Memory Allocation"
-
Michael Brooks, M.Math, Sept. 2019-present (in progress),"Arrays and Containers in C∀"
-
Thierry Delisle, Ph.D., Jan. 2018-present (in progress), "High-Performance User-level Thread Scheduling"
-
Andrew Beach, M.Math, Sept. 2018-present (in progress), "Advanced Exception Handling in C∀"
-
Aaron Moss, Sept. 2012-Apr. 2019, "C∀ Type System Implementation"
-
Srihari Radhakrishnan, Sept. 2014-Apr. 2019, "High Performance Web Servers: A Study In Concurrent Programming Models"
-
Thierry Delisle, M.Math, Sept. 2015-Sept. 2017, "Concurrency in C∀"
-
Robert Schluntz, M.Math, Sept. 2014-Apr. 2017, "Resource Management and Tuples in C∀"
-
Xianda Sun, M.Math, co-supervisor with Martin Karsten, Sept. 2014-Nov. 2015, "Concurrent High-performance Persistent Hash Table in Java"
-
Roy Krischer, Ph.D., Sept. 2003-Jan. 2011, "Advanced Concepts in Asynchronous Exception Handling"
-
Ashif Harji, Ph.D., Sept. 2000-Jan. 2010, "Performance Comparison of Uniprocessor and Multiprocessor Web Server Architectures"
-
Jun Chen, Ph.D., Sept. 2004-Oct. 2009, "Guided Testing of Concurrent Programs Using Value Schedules"
-
Ayelet Wasik, M.Math, May 2006-Dec. 2007, "Features of a Multi-Threaded Memory Allocator"
-
Justyna Gidzinski, M.Math, Sept. 2005-Oct. 2007, "μProfiler: A Concurrent Profiler for Concurrent C++ (μC++)"
-
Josh Lessard, M.Math., Jan. 2002-May 2005, "Profiling Concurrent Programs Using Hardware Counters"
-
Jiongxiong Chen, Ph.D., Jan. 1999-Jan. 2005, "Extensions to Fixed Priority with Preemption Threshold and Reservation-Based Scheduling"
-
Rodolfo Gabriel Esteves, M.Math, Sept. 2000-May 2004, "Cforall, a Study in Evolutionary Design in Programming Languages"
-
Richard Bilson, M.Math, Sept. 2000-May 2003, "Implementing Overloading and Polymorphism in Cforall"
-
Roy Krischer, Diplomarbeit (Universität Mannheim), Sept. 2001-Oct. 2002, "Bound Exceptions in Object-Oriented Programming Languages"
-
Caroline Kierstead, M.Math (eassy), Sept. 1997-May 2001, "The Application of Patterns to Concurrent Control Flow"
-
Dorota Zak, M.Math, Sept. 1998-Sept. 2000, "Analyzing Multi-Threaded Program Performance with μProfile"
-
Ashif Harji, M.Math, May 1997-Dec. 1999, "High-Level Real-Time Concurrency"
-
Ming Zhou, M.Math, Jan. 1997-May 1999, "Generalizing Database Access Methods"
-
Oliver Schuster, Diplomarbeit (Universität Mannheim), Jan. 1998-Apr. 1999, "Replay of Concurrent Shared-Memory Programs"
-
Simon Gammage, M.Math (essay), co-supervised with Dommic Duggan, Sept. 1995-Dec. 1997, "Compiling ML to the Java Virtual Machine"
-
Robert Denda, Diplomarbeit (Universität Mannheim), May 1996-Sept. 1997, "Profiling Concurrent Programs"
-
Russell Mok, M.Math, Jan. 1996-Sept. 1997, "Concurrent Abnormal Event Handling Mechanisms"
-
Jun Shih, M.Math, Jan. 1995-Dec. 1996, "Debugging Concurrent Programs"
-
Philipp E. Lim, M.Math, May 1994-Aug. 1996, "Real-Time in a Concurrent, Object-Oriented Programming Environment"
-
Anil K. Goel, Ph.D., Sept. 1989-May 1996, "Exact Positioning of Data Approach to Memory Mapped Persistent Stores: Design, Analysis and Modelling"
-
Martin Karsten, Diplomarbeit (Universität Mannheim), Sept. 1994-Aug. 1995, "A Multi-Threaded Debugger for Multi-Threaded Applications".
-
Hamish MacDonald, M.Math, Sept. 1989-May 1993, "Exception Handling for the μSystem"
-
Glen Ditchfield, Ph.D., Jan. 1987-Dec. 1992, "Contextual Polymorphism"
-
Anderson Wai, M.Math (essay), Sept. 1987-May 1992, "Storage Management Support for Memory Mapping"
-
Brian Younger, M.Math, Sept. 1988-Aug. 1991, "Adding Concurrency to C++"
-
Michel Fortier, M.Math, Jan. 1988-Dec. 1989, "A Study of Monitors"
-
David W. Till, M.Math, Sept. 1987-Aug. 1989, "Tuples In Imperative Programming Languages"
-
Richard A. Stroobosscher, M.Math (essay), Sept. 1987-May 1989, "Light Weight Processes in a Shared Memory Multiple Processor Environment"
Other
-
Tony Li, URA, Jan. 2020-Apr. 2020, "New Executor Engine for μC++ Actors"
-
Yingjie Chen, URA, Jan. 2020-Apr. 2020, "Extend C∀ Stream I/O Manipulators to 128-bit Integer Numbers"
-
Colby Alexander Parsons, CS 499 (project course), Jan. 2020-Apr. 2020, "Concurrent Locking Patterns"
-
Jafer Haider, URA, Sept. 2019-Dec. 2019, "General Atomic Fence Operations in C∀"
-
Dmitry Kobets, URA, Sept. 2019-Dec. 2019, "Linear-Algebra Vector-Class in C∀"
-
Lynn Tran, URA, May 2018-Oct. 2018, "Multiple Indexes in C∀ for Loop"
-
Jiachen Zhang, URA, Sept. 2018-Dec. 2018, "Continue GDB Debugger for μC++"
-
Lynn Tran, CS 499 (project course), May 2018-Aug. 2018, "GNU Debugger Support for μC++ and C∀"
-
Andrew Beach, NSERC USRA, May 2017-Apr. 2017, " Exception Handling in C∀"
-
Sunjay Varma, URA, Sept. 2017-Apr. 2018, " Advanced String Type for C∀"
-
Alan Kennedy, URA, Sept. 2017-Apr. 2018, "Runtime Concurrency on ARM Processor"
-
Robert Schluntz, Research Assistant, May 2017-Sept. 2018, manage C∀ project
-
Jingge Fu, URA, Jan. 2015-April. 2014, "Future Implementation in μC++"
-
Bryan James Hatton, URA, Sept. 2014-Dec. 2014, "High-Performance Thread Scheduling"
-
Steve Wang, URA, Sept. 2013-Aug. 2014, "Modify Web Server from Select to Epoll"
-
Helen Zhang, URA, Sept. 2013-Dec. 2014, "C++11 Support of μC++"
-
Alex Ellsworth, Victoria Lee, Andrew Machina, Victor Tong, Engineering URA, Sept. 2012-Dec. 2013, "Communication Aid for the Severely Disabled"
-
Shi Hu, URA, Sept. 2010-Dec. 2010, "Future Performance: μC++ and Java"
-
Richard Bilson, Research Assistant, Dec. 2003-Feb. 2008, C++/Linux Concurrency Design and Development Project (Gelato Project)
-
Svitlana Tumanova, URA Sept. 2007-Dec. 2007, "Asynchronous Call/Futures"
-
Bilal Shirazi, CS 499 (project course), May-Oct., 2002, "An Analysis of Concurrent Memory Allocators"
-
Ashif Harji, Research Assistant, Jan. 2000-Aug. 2000, develop software for real-time programming in μC++
-
Amir Michail, Co-op Student, May-Aug. 1993, develop software for real-time programming in μC++
-
Amir Michail, CS 499 (project course), May-Aug., 1992, "Real-Time Programming in μC++"
-
Johan Larson, Co-op Student, May-Aug. 1992, develop software for visualization of concurrent μC++ programs
-
Kevin Brain, CS 499 (project course), Jan.-Apr., 1990, "Development of a Synthesizer Configuration Editor for the NeXT Computer"
-
Richard A. Stroobosscher, Research Assistant, Jan. 1990-Aug. 1993, develop software for the μSystem and μC++ projects