1:05 17 June 0520 Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks ACM SIGPLAN
1:04 17 June 0640 Compiler Directed Soft Error Resilience for Lightweight GPU Register File Protection ACM SIGPLAN
1:00 17 June 0700 Adaptive Low Overhead Scheduling for Periodic and Reactive Intermittent Execution ACM SIGPLAN
1:05 17 June 0840 Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformatio ACM SIGPLAN
1:00 17 June 1000 Understanding Memory and Thread Safety Practices and Issues in Real World Rust Progra ACM SIGPLAN
1:05 17 June 1340 From Folklore to Fact Comparing Implementations of Stacks and Continuations ACM SIGPLAN
1:05 17 June 1520 Understanding Memory and Thread Safety Practices and Issues in Real World Rust Progra ACM SIGPLAN
1:05 17 June 1640 BlankIt Library Debloating Getting What You Want Instead of Cutting What You Don’t ACM SIGPLAN
1:09 18 June 0540 NVTraverse In NVRAM Data Structures, the Destination Is More Important Than the Jour ACM SIGPLAN
1:05 18 June 0620 PMEvo Portable Inference of Port Mappings for Out of Order Processors by Evolutionar ACM SIGPLAN
1:05 18 June 0700 SympleGraph Distributed Graph Processing with Precise Loop Carried Dependency Guaran ACM SIGPLAN
1:06 18 June 1100 A Study of the Learnability of Relational Properties Model Counting Meets Machine Le ACM SIGPLAN
1:06 18 June 1300 Automatic Generation of Efficient Sparse Tensor Format Conversion Routines ACM SIGPLAN
1:03 18 June 1320 OOElala Order of Evaluation Based Alias Analysis for Compiler Optimization ACM SIGPLAN
1:03 18 June 1420 Silq A High Level Quantum Language with Safe Uncomputation and Intuitive Semantics ACM SIGPLAN
1:06 18 June 1500 LLHD A Multi level Intermediate Representation for Hardware Description Languages ACM SIGPLAN
1:06 18 June 1620 Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting ACM SIGPLAN
1:07 19 June 0800 Exact and Approximate Methods for Proving Unrealizability of Syntax Guided Synthesis ACM SIGPLAN
1:06 19 June 0940 Ethainter A Smart Contract Security Analyzer for Composite Vulnerabilities ACM SIGPLAN
1:01 19 June 1100 Polynomial Invariant Generation for Non deterministic Recursive Programs ACM SIGPLAN
1:06 19 June 1440 EVA An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Co ACM SIGPLAN
