Papers/Theses
Source: https://cforall.uwaterloo.ca/papers Parent: https://cforall.uwaterloo.ca/~cforall/
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, : - Fall 2020, Optimization of C∀ Compiler with Case Studies. - Spring 2020, cfa-cc Developer's Reference,
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