14:27 Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs ACM SIGPLAN
16:48 Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example ACM SIGPLAN
18:19 Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences ACM SIGPLAN
15:41 Interactive Synthesis of Temporal Specifications from Examples and Natural Language ACM SIGPLAN
15:53 Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules ACM SIGPLAN
13:28 On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers ACM SIGPLAN
15:53 Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative S ACM SIGPLAN
14:38 Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Featu ACM SIGPLAN
14:58 FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based ACM SIGPLAN
13:02 Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization ACM SIGPLAN
14:51 Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic ACM SIGPLAN
15:22 LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments ACM SIGPLAN
15:33 Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verifica ACM SIGPLAN
16:07 Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel- ACM SIGPLAN
