45 citations · 148 across the 16 of their papers we have counts for
12 papers · 1 filter
Responsive Parallelism with Synchronization
Stefan K. Muller, Kyle Singer, Devyn Terra Keeney +4
Many concurrent programs assign priorities to threads to improve responsiveness. When used in conjunction with synchronization mechanisms such as mutexes and condition variables, h…
Quartz: Superoptimization of Quantum Circuits (Extended Version)
Mingkuan Xu, Zikun Li, Oded Padon +8
Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and impleme…
Program Equivalence for Assisted Grading of Functional Programs (Extended Version)
Joshua Clune, Vijay Ramamurthy, Ruben Martins +1
In courses that involve programming assignments, giving meaningful feedback to students is an important challenge. Human beings can give useful feedback by manually grading the pro…
Responsive Parallelism with Futures and State
Stefan K. Muller, Kyle Singer, Noah Goldstein +3
Motivated by the increasing shift to multicore computers, recent work has developed language support for responsive parallel applications that mix compute-intensive tasks with late…
Competitive Parallelism: Getting Your Priorities Right
Stefan K. Muller, Umut A. Acar, Robert Harper
Multi-threaded programs have traditionally fallen into one of two domains: cooperative and competitive. These two domains have traditionally remained mostly disjoint, with cooperat…
Hierarchical Memory Management for Mutable State
Adrien Guatto, Sam Westrick, Ram Raghunathan +2
It is well known that modern functional programming languages are naturally amenable to parallel programming. Achieving efficient parallelism using functional languages, however, r…