Papers/Theses

C∀, prior work, theses

C∀ Team, 2025.
C∀ (Cforall) User Manual Version
Wim H. Hesselink, Peter A. Buhr, and Colby A. Parsons, 2024.
First-Come-First-Served as a Separate Principle, ACM Transactions on Parallel Computing, 11(4):1-20
Peter A. Buhr, Colby A. Parsons, Thierry Delisle, and He Nan Li., 2023.
High-Performance Extended Actors, Software-Practice and Experience, 53(12):2463–2500
Wim H. Hesselink and Peter A. Buhr, 2023.
MCSH, a Lock with the Standard Interface, ACM Transactions on Parallel Computing, 10(2):1–23
Thierry Delisle and Peter A. Buhr, 2021.
Advanced Control-flow and Concurrency in C∀, Software-Practice and Experience. 51(5):1005-1042.
Aaron Moss, Robert Schluntz, Peter A. Buhr, 2018.
C∀ : Adding Modern Programming Language Features to C, Software-Practice and Experience. 48(1):2111-2146.

Top Download, John Wiley & Sons, Inc
Amongst articles published between January 2017 and December 2018, your paper received some of the most downloads in the 12 months following online publication. Your work generated immediate impact and visibility, contributing significantly to the advancement of your field.

P. A. Buhr and David Till and C. R. Zarnke, 1994.
Assignment as the Sole Means of Updating Objects, Software-Practice and Experience. 24(9):835-870.
Peter A. Buhr and Hamish I. Macdonald and C. Robert Zarnke. Zarnke, 1992.
Synchronous and Asynchronous Handling of Abnormal Events in the μSystem, Software-Practice and Experience. 22(9):735-776.
P. A. Buhr and Glen Ditchfield and R. A. Stroobosscher and B. M. Younger and C. R. Zarnke, 1992.
μC++: Concurrency in the Object-Oriented Language C++, Software-Practice and Experience. 22(2):137-172
Peter A. Buhr and Richard A. Stroobosscher, 1990.
The μSystem: Providing Light-Weight Concurrency on Shared-Memory Multiprocessor Computers Running UNIX, Software-Practice and Experience. 20(9):929-963
Fangren Yu,
Fangren Yu 2025
Thesis title: Type Resolution in C∀.
Jiada Liang, 2024
Thesis title: Enumerated Types in C∀.
Colby Parsons, 2023
Thesis title: High Level Concurrency in C∀.
Mubeen Zulfiqar, 2022
Thesis title: High-Performance Concurrent Memory Allocation.
Andrew James Beach, 2021
Thesis title: Exception Handling in C∀.
Aaron Moss, 2019.
Thesis title: C∀ Type System Implementation.
Thierry Delisle, 2018.
Thesis title: Concurrency in C∀.
Rob Schluntz, 2017.
Thesis title: Resource Management and Tuples in C∀.
Rodolfo Gabriel Esteves, 2004.
Thesis title: Cforall, a Study in Evolutionary Design in Programming Languages.
Richard Bilson, 2003
Thesis title: Implementing Overloading and Polymorphism in Cforall
Glen Ditchfield, 1992
Thesis title: Contextual Polymorphism
David W. Till, 1989
Thesis title: Tuples In Imperative Programming Languages.

libfibre

Peter Cai and Martin Karsten, 2023.
Kernel vs. User-Level Networking: Don't Throw Out the Stack with the Interrupts, In Proceedings of the ACM on Measurement and Analysis of Computing Systems, 7(3):1-15
Martin Karsten and Saman Barghi, 2020.
User-level Threading: Have Your Cake and Eat It Too, Proceedings of the ACM on Measurement and Analysis of Computing Systems, 4(1):1-30
Martin Karsten, 2020.
libfibre: User-Level Threading Runtime, Gitlab Waterloo.
Peter Cai, 2023
Thesis title: Kernel- vs. User-Level Networking: A Ballad of Interrupts and How to Mitigate Them.
Bryant Curto, 2023
Thesis title: Improving Data Locality in Applications through Execution Delegation.
Navid Khan, 2020.
Thesis title: React++: A Lightweight Actor Framework in C++.
Saman Barghi, 2018.
Thesis title: Improving the Performance of User-level Runtime Systems for Concurrent Applications.

C

Dennis M. Ritchie, 1993.
The Development of the C Language, SIGPLAN Notices. 28(3):201-208.
AT&T Labs, 2002.
Cyclone (unsupported)
George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer, 2005.
CCured: Type-Safe Retrofitting of Legacy Software
John Regehr, 2014.
Proposal for a Friendly Dialect of C
INRIA, 2020.
CompCert C Compiler