Supervision

Theses

  1. Fangren Yu, Ph.D., May 2025-present (in progress). 2025, Extending C∀ Type System
  2. Alvin Zhang, M.Math, Sept. 2024-present (in progress), Modules in C∀
  3. Michael Brooks, M.Math, Sept. 2019-present (in progress), Arrays and Containers in C∀
  4. Fangren Yu, M.Math, Sept. 2021--Apr. 2025, Type Resolution in C∀
  5. Jiada Liang, M.Math, May 2022-Aug. 2024, Enumerated Types in C∀
  6. Colby Parsons, M.Math, May 2021-Aug. 2023, High Level Concurrency in C∀
  7. Mubeen Zulfiqar, M.Math, Jan. 2020-Apr. 2022, High-Performance Concurrent Memory Allocation
  8. Thierry Delisle, Ph.D., Jan. Jan. 2018--Jan. 2022, The C∀ Scheduler;
  9. Andrew Beach, M.Math, Sept. 2018--Jan 2021, Exception Handling in C∀
  10. Aaron Moss, Sept. 2012-Apr. 2019, C∀ Type System Implementation
  11. Srihari Radhakrishnan, Sept. 2014-Apr. 2019, High Performance Web Servers: A Study In Concurrent Programming Models
  12. Thierry Delisle, M.Math, Sept. 2015-Sept. 2017, Concurrency in C∀
  13. Robert Schluntz, M.Math, Sept. 2014-Apr. 2017, Resource Management and Tuples in C∀
  14. Xianda Sun, M.Math, co-supervisor with Martin Karsten, Sept. 2014-Nov. 2015, Concurrent High-performance Persistent Hash Table in Java
  15. Roy Krischer, Ph.D., Sept. 2003-Jan. 2011, Advanced Concepts in Asynchronous Exception Handling
  16. Ashif Harji, Ph.D., Sept. 2000-Jan. 2010, Performance Comparison of Uniprocessor and Multiprocessor Web Server Architectures
  17. Jun Chen, Ph.D., Sept. 2004-Oct. 2009, Guided Testing of Concurrent Programs Using Value Schedules
  18. Ayelet Wasik, M.Math, May 2006-Dec. 2007, Features of a Multi-Threaded Memory Allocator
  19. Justyna Gidzinski, M.Math, Sept. 2005-Oct. 2007, μProfiler: A Concurrent Profiler for Concurrent C++ (μC++)
  20. Josh Lessard, M.Math., Jan. 2002-May 2005, Profiling Concurrent Programs Using Hardware Counters
  21. Jiongxiong Chen, Ph.D., Jan. 1999-Jan. 2005, Extensions to Fixed Priority with Preemption Threshold and Reservation-Based Scheduling
  22. Rodolfo Gabriel Esteves, M.Math, Sept. 2000-May 2004, C∀, a Study in Evolutionary Design in Programming Languages
  23. Richard Bilson, M.Math, Sept. 2000-May 2003, Implementing Overloading and Polymorphism in C∀
  24. Roy Krischer, Diplomarbeit (Universität Mannheim), Sept. 2001-Oct. 2002, Bound Exceptions in Object-Oriented Programming Languages
  25. Caroline Kierstead, M.Math (eassy), Sept. 1997-May 2001, The Application of Patterns to Concurrent Control Flow
  26. Dorota Zak, M.Math, Sept. 1998-Sept. 2000, Analyzing Multi-Threaded Program Performance with μProfile
  27. Ashif Harji, M.Math, May 1997-Dec. 1999, High-Level Real-Time Concurrency
  28. Ming Zhou, M.Math, Jan. 1997-May 1999, Generalizing Database Access Methods
  29. Oliver Schuster, Diplomarbeit (Universität Mannheim), Jan. 1998-Apr. 1999, Replay of Concurrent Shared-Memory Programs
  30. Simon Gammage, M.Math (essay), co-supervised with Dommic Duggan, Sept. 1995-Dec. 1997, "Compiling ML to the Java Virtual Machine"
  31. Robert Denda, Diplomarbeit (Universität Mannheim), May 1996-Sept. 1997, Profiling Concurrent Programs
  32. Russell Mok, M.Math, Jan. 1996-Sept. 1997, Concurrent Abnormal Event Handling Mechanisms
  33. Jun Shih, M.Math, Jan. 1995-Dec. 1996, Debugging Concurrent Programs
  34. Philipp E. Lim, M.Math, May 1994-Aug. 1996, Real-Time in a Concurrent, Object-Oriented Programming Environment
  35. Anil K. Goel, Ph.D., Sept. 1989-May 1996, Exact Positioning of Data Approach to Memory Mapped Persistent Stores: Design, Analysis and Modelling
  36. Martin Karsten, Diplomarbeit (Universität Mannheim), Sept. 1994-Aug. 1995, A Multi-Threaded Debugger for Multi-Threaded Applications.
  37. Hamish MacDonald, M.Math, Sept. 1989-May 1993, "Exception Handling for the μSystem"
  38. Glen Ditchfield, Ph.D., Jan. 1987-Dec. 1992, Contextual Polymorphism
  39. Anderson Wai, M.Math (essay), Sept. 1987-May 1992, "Storage Management Support for Memory Mapping"
  40. Brian Younger, M.Math, Sept. 1988-Aug. 1991, "Adding Concurrency to C++"
  41. Michel Fortier, M.Math, Jan. 1988-Dec. 1989, "A Study of Monitors"
  42. David W. Till, M.Math, Sept. 1987-Aug. 1989, "Tuples In Imperative Programming Languages"
  43. Richard A. Stroobosscher, M.Math (essay), Sept. 1987-May 1989, "Light Weight Processes in a Shared Memory Multiple Processor Environment"

Other

  1. Andrew Beach, Research Assistant, Jan. 2022--Apr. 2025, manage C∀ project
  2. Xilin Bai, URA, May 2024--Aug. 2024, llheap Extensions
  3. Colby Parsons, Research Assistant, Sep. 2023--Dec. 2023, extend C∀ concurrency capabilities
  4. Numan Tepe, URA, Sept. 2023--Jan. 2023, Generalize the C∀ Virtual System
  5. Anthony Wu, URA, May 2023--Aug. 2023,, C∀ / \uC++ Cheat Sheet
  6. Huck Kim, URA, Jan. 2023--Apr. 2023, C∀ Static Members in Aggregate Types
  7. Mugilan Ganesan, URA, 2023--Apr. 2023, C∀ Syntax Error Improvement
  8. Zhenyan Zhu, URA, May 2022--Aug. 2022, C∀ Pthread Simulation Library
  9. Henry Xue, UGrad URF, May. 2021--Aug. 2021, Extend C∀ Expection Handling
  10. Saumya Gupta, URA, Jan. 2021--Apr. 2021, Extend C∀ Looping Constructs
  11. Jacob PrudHomme, URA, May 2021--Aug. 2021, C∀ Command-line/Configuration-file Parsing
  12. Peiran Hong, URA, Sep 2020--Dec. 2020, Asynchronous Futures in C∀
  13. Fangren Yu, UGrad COOP, Sept. 2020--Dec. 2020, Descriptive Overview of the C∀ Compiler
  14. Colby Parsons, NSERC USRA, Sept. 2020--Dec. 2020, Unified Interface for Concurrent Locking
  15. Fangren Yu, UGrad URF, May 2020--Aug. 2020, Efficient Compilation of Call-Site Type-Unification
  16. Yingjie Chen, URA, Jan. 2020--Apr. 2020, Extend C∀ Stream I/O with 128-bit Integers
  17. Colby Parsons, CS 499 (project course), Jan. 2020--Apr. 2020, Relation Between Barging Avoidance and Prevention
  18. He Nan Li, URA, Jan. 2020-Apr. 2020, New Executor Engine for μC++ Actors
  19. Yingjie Chen, URA, Jan. 2020-Apr. 2020, Extend C∀ Stream I/O Manipulators to 128-bit Integer Numbers
  20. Colby Alexander Parsons, CS 499 (project course), Jan. 2020-Apr. 2020, Concurrent Locking Patterns
  21. Jafer Haider, URA, Sept. 2019-Dec. 2019, General Atomic Fence Operations in C∀
  22. Dmitry Kobets, URA, Sept. 2019-Dec. 2019, Linear-Algebra Vector-Class in C∀
  23. Lynn Tran, URA, May 2018-Oct. 2018, Multiple Indexes in C∀ for Loop
  24. Jiachen Zhang, URA, Sept. 2018-Dec. 2018, Continue GDB Debugger for μC++
  25. Lynn Tran, CS 499 (project course), May 2018-Aug. 2018, GNU Debugger Support for μC++ and C∀
  26. Andrew Beach, NSERC USRA, May 2017-Apr. 2017, Exception Handling in C∀
  27. Sunjay Varma, URA, Sept. 2017-Apr. 2018, Advanced String Type for C∀
  28. Alan Kennedy, URA, Sept. 2017-Apr. 2018, Runtime Concurrency on ARM Processor
  29. Robert Schluntz, Research Assistant, May 2017-Sept. 2018, manage C∀ project
  30. Jingge Fu, URA, Jan. 2015-April. 2014, Future Implementation in μC++
  31. Bryan James Hatton, URA, Sept. 2014-Dec. 2014, High-Performance Thread Scheduling
  32. Steve Wang, URA, Sept. 2013-Aug. 2014, Modify Web Server from Select to Epoll
  33. Helen Zhang, URA, Sept. 2013-Dec. 2014, C++11 Support of μC++
  34. Alex Ellsworth, Victoria Lee, Andrew Machina, Victor Tong, Engineering URA, Sept. 2012-Dec. 2013, Communication Aid for the Severely Disabled
  35. Shi Hu, URA, Sept. 2010-Dec. 2010, Future Performance: μC++ and Java
  36. Richard Bilson, Research Assistant, Dec. 2003-Feb. 2008, C++/Linux Concurrency Design and Development Project (Gelato Project)
  37. Svitlana Tumanova, URA Sept. 2007-Dec. 2007, Asynchronous Call/Futures
  38. Bilal Shirazi, CS 499 (project course), May-Oct., 2002, An Analysis of Concurrent Memory Allocators
  39. Ashif Harji, Research Assistant, Jan. 2000-Aug. 2000, develop software for real-time programming in μC++
  40. Amir Michail, Co-op Student, May-Aug. 1993, develop software for real-time programming in μC++
  41. Amir Michail, CS 499 (project course), May-Aug., 1992, Real-Time Programming in μC++
  42. Johan Larson, Co-op Student, May-Aug. 1992, develop software for visualization of concurrent μC++ programs
  43. Kevin Brain, CS 499 (project course), Jan.-Apr., 1990, Development of a Synthesizer Configuration Editor for the NeXT Computer
  44. Richard A. Stroobosscher, Research Assistant, Jan. 1990-Aug. 1993, develop software for the μSystem and μC++ projects