0 | -- | 0 | Ori Lahav, Udi Boker. What's Decidable About Causally Consistent Shared Memory? |
0 | -- | 0 | Qinheping Hu, Rishabh Singh, Loris D'Antoni. Solving Program Sketches with Large Integer Values |
0 | -- | 0 | Jacob R. Lorch, Yixuan Chen 0002, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao. Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility |
0 | -- | 0 | Leslie Lamport, Stephan Merz. Prophecy Made Simple |
0 | -- | 0 | Yuanbo Li, Qirun Zhang, Thomas W. Reps. Fast Graph Simplification for Interleaved-Dyck Reachability |
0 | -- | 0 | Kensen Shi, David Bieber, Rishabh Singh. TF-Coder: Program Synthesis for Tensor Manipulations |
0 | -- | 0 | Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter. Gradualizing the Calculus of Inductive Constructions |