Supervision

Theses

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

Other

  1. Tony Li, URA, Jan. 2020-Apr. 2020, "New Executor Engine for μC++ Actors"
  2. Yingjie Chen, URA, Jan. 2020-Apr. 2020, "Extend C∀ Stream I/O Manipulators to 128-bit Integer Numbers"
  3. Colby Alexander Parsons, CS 499 (project course), Jan. 2020-Apr. 2020, "Concurrent Locking Patterns"
  4. Jafer Haider, URA, Sept. 2019-Dec. 2019, "General Atomic Fence Operations in C∀"
  5. Dmitry Kobets, URA, Sept. 2019-Dec. 2019, "Linear-Algebra Vector-Class in C∀"
  6. Lynn Tran, URA, May 2018-Oct. 2018, "Multiple Indexes in C∀ for Loop"
  7. Jiachen Zhang, URA, Sept. 2018-Dec. 2018, "Continue GDB Debugger for μC++"
  8. Lynn Tran, CS 499 (project course), May 2018-Aug. 2018, "GNU Debugger Support for μC++ and C∀"
  9. Andrew Beach, NSERC USRA, May 2017-Apr. 2017, " Exception Handling in C∀"
  10. Sunjay Varma, URA, Sept. 2017-Apr. 2018, " Advanced String Type for C∀"
  11. Alan Kennedy, URA, Sept. 2017-Apr. 2018, "Runtime Concurrency on ARM Processor"
  12. Robert Schluntz, Research Assistant, May 2017-Sept. 2018, manage C∀ project
  13. Jingge Fu, URA, Jan. 2015-April. 2014, "Future Implementation in μC++"
  14. Bryan James Hatton, URA, Sept. 2014-Dec. 2014, "High-Performance Thread Scheduling"
  15. Steve Wang, URA, Sept. 2013-Aug. 2014, "Modify Web Server from Select to Epoll"
  16. Helen Zhang, URA, Sept. 2013-Dec. 2014, "C++11 Support of μC++"
  17. Alex Ellsworth, Victoria Lee, Andrew Machina, Victor Tong, Engineering URA, Sept. 2012-Dec. 2013, "Communication Aid for the Severely Disabled"
  18. Shi Hu, URA, Sept. 2010-Dec. 2010, "Future Performance: μC++ and Java"
  19. Richard Bilson, Research Assistant, Dec. 2003-Feb. 2008, C++/Linux Concurrency Design and Development Project (Gelato Project)
  20. Svitlana Tumanova, URA Sept. 2007-Dec. 2007, "Asynchronous Call/Futures"
  21. Bilal Shirazi, CS 499 (project course), May-Oct., 2002, "An Analysis of Concurrent Memory Allocators"
  22. Ashif Harji, Research Assistant, Jan. 2000-Aug. 2000, develop software for real-time programming in μC++
  23. Amir Michail, Co-op Student, May-Aug. 1993, develop software for real-time programming in μC++
  24. Amir Michail, CS 499 (project course), May-Aug., 1992, "Real-Time Programming in μC++"
  25. Johan Larson, Co-op Student, May-Aug. 1992, develop software for visualization of concurrent μC++ programs
  26. Kevin Brain, CS 499 (project course), Jan.-Apr., 1990, "Development of a Synthesizer Configuration Editor for the NeXT Computer"
  27. Richard A. Stroobosscher, Research Assistant, Jan. 1990-Aug. 1993, develop software for the μSystem and μC++ projects