2 citations · 3 across the 6 of their papers we have counts for
3 papers · 1 filter
TypeDis: A Type System for Disentanglement
Alexandre Moine, Stephanie Balzer, Alex Xu +1
Disentanglement is a runtime property of parallel programs guaranteeing that parallel tasks remain oblivious to each other's allocations. As demonstrated in the MaPLe compiler and…
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
Alexandre Moine, Sam Westrick, Joseph Tassarotti
Nondeterminism makes parallel programs challenging to write and reason about. To avoid these challenges, researchers have developed techniques for internally deterministic parallel…
Local Optimization of Quantum Circuits (Extended Version)
Jatin Arora, Mingkuan Xu, Sam Westrick +4
Recent advances in quantum architectures and computing have motivated the development of new optimizing compilers for quantum programs or circuits. Even though steady progress has…