16:22 [PLDI'23] Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation(…) ACM SIGPLAN
21:18 [PLDI'23] Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise(…) ACM SIGPLAN
17:05 [PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages ACM SIGPLAN
20:26 [PLDI'23] HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption ACM SIGPLAN
19:55 [PLDI'23] Performal: Formal Verification of Latency Properties for Distributed Systems ACM SIGPLAN
19:10 [PLDI'23] Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic ACM SIGPLAN
15:19 [PLDI'23] Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks ACM SIGPLAN
16:49 [PLDI'23] Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece(…) ACM SIGPLAN
22:31 [PLDI'23] cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA(…) ACM SIGPLAN
16:17 [PLDI'23] Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs ACM SIGPLAN
18:32 [PLDI'23] Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics ACM SIGPLAN
18:04 [PLDI'23] VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating(…) ACM SIGPLAN
19:09 [PLDI'23] CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives ACM SIGPLAN
19:50 [PLDI'23] Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning ACM SIGPLAN
20:00 [PLDI'23] Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation ACM SIGPLAN
14:57 [PLDI'23] Recursive State Machine Guided Graph Folding for Context-Free Language Reachability ACM SIGPLAN
19:18 [PLDI'23] Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs ACM SIGPLAN
17:14 [PLDI'23] Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation ACM SIGPLAN
16:49 [PLDI'23] WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for(…) ACM SIGPLAN
18:28 [PLDI'23] An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits ACM SIGPLAN
18:53 [PLDI'23] Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations ACM SIGPLAN
21:12 [PLDI'23] CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract(…) ACM SIGPLAN
