Theses
- Fangren Yu, Ph.D., May 2025-present (in progress). 2025, Extending C∀ Type System
- Alvin Zhang, M.Math, Sept. 2024-present (in progress), Modules in C∀
- Michael Brooks, M.Math, Sept. 2019-present (in progress), Arrays and Containers in C∀
- Fangren Yu, M.Math, Sept. 2021--Apr. 2025, Type Resolution in C∀
- Jiada Liang, M.Math, May 2022-Aug. 2024, Enumerated Types in C∀
- Colby Parsons, M.Math, May 2021-Aug. 2023, High Level Concurrency in C∀
- Mubeen Zulfiqar, M.Math, Jan. 2020-Apr. 2022, High-Performance Concurrent Memory Allocation
- Thierry Delisle, Ph.D., Jan. Jan. 2018--Jan. 2022, The C∀ Scheduler;
- Andrew Beach, M.Math, Sept. 2018--Jan 2021, 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, C∀, a Study in Evolutionary Design in Programming Languages
- Richard Bilson, M.Math, Sept. 2000-May 2003, Implementing Overloading and Polymorphism in C∀
- 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
- Andrew Beach, Research Assistant, Jan. 2022--Apr. 2025, manage C∀ project
- Xilin Bai, URA, May 2024--Aug. 2024, llheap Extensions
- Colby Parsons, Research Assistant, Sep. 2023--Dec. 2023, extend C∀ concurrency capabilities
- Numan Tepe, URA, Sept. 2023--Jan. 2023, Generalize the C∀ Virtual System
- Anthony Wu, URA, May 2023--Aug. 2023,, C∀ / \uC++ Cheat Sheet
- Huck Kim, URA, Jan. 2023--Apr. 2023, C∀ Static Members in Aggregate Types
- Mugilan Ganesan, URA, 2023--Apr. 2023, C∀ Syntax Error Improvement
- Zhenyan Zhu, URA, May 2022--Aug. 2022, C∀ Pthread Simulation Library
- Henry Xue, UGrad URF, May. 2021--Aug. 2021, Extend C∀ Expection Handling
- Saumya Gupta, URA, Jan. 2021--Apr. 2021, Extend C∀ Looping Constructs
- Jacob PrudHomme, URA, May 2021--Aug. 2021, C∀ Command-line/Configuration-file Parsing
- Peiran Hong, URA, Sep 2020--Dec. 2020, Asynchronous Futures in C∀
- Fangren Yu, UGrad COOP, Sept. 2020--Dec. 2020, Descriptive Overview of the C∀ Compiler
- Colby Parsons, NSERC USRA, Sept. 2020--Dec. 2020, Unified Interface for Concurrent Locking
- Fangren Yu, UGrad URF, May 2020--Aug. 2020, Efficient Compilation of Call-Site Type-Unification
- Yingjie Chen, URA, Jan. 2020--Apr. 2020, Extend C∀ Stream I/O with 128-bit Integers
- Colby Parsons, CS 499 (project course), Jan. 2020--Apr. 2020, Relation Between Barging Avoidance and Prevention
- He Nan 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