Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2020: all accepted papers
- Ethainter: a smart contract security analyzer for composite vulnerabilities ↗Lexi Brent, Neville Grech, Sifis Lagouvardos et al.157 citations
- Silq: a high-level quantum language with safe uncomputation and intuitive semantics ↗Benjamin Bichsel, Maximilian Baader, Timon Gehr et al.147 citations
- EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation ↗Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi et al.119 citations
- Understanding memory and thread safety practices and issues in real-world Rust programs ↗Boqin Qin, Yilun Chen, Zeming Yu et al.114 citations
- Typilus: neural type hints ↗Miltiadis Allamanis, Earl T. Barr, Soline Ducousso et al.92 citations
- Constant-time foundations for the new spectre era ↗Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall et al.89 citations
- Adaptive low-overhead scheduling for periodic and reactive intermittent execution ↗Kiwan Maeng, Brandon Lucia81 citations
- Binary rewriting without control flow recovery ↗Gregory J. Duck, Xiang Yang Gao, Abhik Roychoudhury80 citations
- Validating SMT solvers via semantic fusion ↗Dominik Winterer, Chengyu Zhang, Zhendong Su80 citations
- Multi-modal synthesis of regular expressions ↗Qiaochu Chen, Xinyu Wang, Xi Ye et al.79 citations
- Synthesizing structured CAD models with equality saturation and inverse transformationsChandrakana Nandi, Max Willsey, Adam Anderson et al.65 citations · our summary
- Securing smart contract with runtime validation ↗Ao Li, Jemin Andrew Choi, Fan Long60 citations
- Predictable accelerator design with time-sensitive affine types ↗Rachit Nigam, Sachille Atapattu, Samuel Thomas et al.57 citations
- The essence of Bluespec: a core language for rule-based hardware design ↗Thomas Bourgeat, Clément Pit-Claudel, Adam J. Chlipala et al.53 citations
- NVTraverse: in NVRAM data structures, the destination is more important than the journey ↗Michal Friedman, Naama Ben-David, Yuanhao Wei et al.52 citations
- Blended, precise semantic program embeddings ↗Ke Wang, Zhendong Su51 citations
- Semantic code search via equational reasoning ↗Varot Premtoon, James Koppel, Armando Solar-Lezama50 citations
- Promising 2.0: global optimizations in relaxed memory concurrency ↗Sung-Hwan Lee, Minki Cho, Anton Podkopaev et al.48 citations
- Type-directed scheduling of streaming accelerators ↗David Durst, Matthew Feldman, Dillon Huff et al.48 citations
- Polynomial invariant generation for non-deterministic recursive programs ↗Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady et al.45 citations
- Reconciling enumerative and deductive program synthesis ↗Kangjing Huang, Xiaokang Qiu, Peiyuan Shen et al.45 citations
- Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room ↗Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan et al.43 citations
- Gillian, part i: a multi-language platform for symbolic execution ↗José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun et al.38 citations
- CacheQuery: learning replacement policies from hardware caches ↗Pepe Vila, Pierre Ganty, Marco Guarnieri et al.37 citations
- LLHD: a multi-level intermediate representation for hardware description languages ↗Fabian Schuiki, Andreas H. A. Kurth, Tobias Grosser et al.34 citations
- Question selection for interactive program synthesis ↗Ruyi Ji, Jingjing Liang, Yingfei Xiong et al.33 citations
- Data-driven inference of representation invariants ↗Anders Miltner, Saswat Padhi, Todd D. Millstein et al.32 citations
- NV: an intermediate language for verification of network control planes ↗Nick Giannarakis, Devon Loehr, Ryan Beckett et al.32 citations
- BlankIt library debloating: getting what you want instead of cutting what you don’t ↗Chris Porter, Girish Mururu, Prithayan Barua et al.31 citations
- Compiler-directed soft error resilience for lightweight GPU register file protection ↗Hongjune Kim, Jianping Zeng, Qingrui Liu et al.31 citations
- Crafty: efficient, HTM-compatible persistent transactions ↗Kaan Genç, Michael D. Bond, Guoqing Harry Xu31 citations
- First-order quantified separators ↗Jason R. Koenig, Oded Padon, Neil Immerman et al.31 citations
- Debug information validation for optimized code ↗Yuanbo Li, Shuo Ding, Qirun Zhang et al.30 citations
- Decidable verification under a causally consistent shared memory ↗Ori Lahav, Udi Boker30 citations
- Fast graph simplification for interleaved Dyck-reachability ↗Yuanbo Li, Qirun Zhang, Thomas Reps30 citations
- Optimizing homomorphic evaluation circuits by program synthesis and term rewriting ↗Dong-Kwon Lee, Woosuk Lee, Hakjoo Oh et al.30 citations
- Effective function merging in the SSA form ↗Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang et al.29 citations
- PMThreads: persistent memory threads harnessing versioned shadow copies ↗Zhenwei Wu, Kai Lü, Andrew Nisbet et al.29 citations
- Scalable validation of binary lifters ↗Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh et al.29 citations
- Templates and recurrences: better together ↗Jason Breck, John Cyphert, Zachary Kincaid et al.29 citations
- SmartTrack: efficient predictive race detection ↗Jake Roemer, Kaan Genç, Michael D. Bond28 citations
- Towards a verified range analysis for JavaScript JITs ↗Fraser Brown, John Renner, Andres Nötzli et al.28 citations
- λPSI: exact inference for higher-order probabilistic programs ↗Timon Gehr, Samuel Steffen, Martin Vechev28 citations
- Automatic generation of efficient sparse tensor format conversion routines ↗Stephen Chou, Fredrik Kjølstad, Saman P. Amarasinghe26 citations
- Debugging and detecting numerical errors in computation with posits ↗Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte26 citations
- Inductive sequentialization of asynchronous programs ↗Bernhard Kragl, Constantin Enea, Thomas A. Henzinger et al.26 citations
- A marriage of pointer- and epoch-based reclamation ↗Jeehoon Kang, JaeHwang Jung25 citations
- Armada: low-effort verification of high-performance concurrent programs ↗Jacob R. Lorch, Yixuan Chen, Manos Kapritsos et al.25 citations
- Efficient handling of string-number conversion ↗Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu‐Fang Chen et al.25 citations
- Type error feedback via analytic program repair ↗Georgios Sakkas, Madeline Endres, Benjamin Cosman et al.24 citations
- Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems ↗Qinheping Hu, John Cyphert, Loris D'Antoni et al.22 citations
- Improving program locality in the GC using hotness ↗Albert Mingkun Yang, Erik Österlund, Tobias Wrigstad21 citations
- Repairing and mechanising the JavaScript relaxed memory model ↗Conrad Watt, Christopher Pulte, Anton Podkopaev et al.20 citations
- Proving data-poisoning robustness in decision trees ↗Samuel Drews, Aws Albarghouthi, Loris D’Antoni19 citations
- Learning fast and precise numerical analysis ↗Jingxuan He, Gagandeep Singh, Markus Püschel et al.18 citations
- Proving almost-sure termination by omega-regular decomposition ↗Jianhui Chen, Fei He18 citations
- Verifying concurrent search structure templates ↗Siddharth Krishna, Nisarg A. Patel, Dennis E. Shasha et al.18 citations
- Detecting network load violations for distributed control planes ↗Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D’Antoni et al.17 citations
- From folklore to fact: comparing implementations of stacks and continuations ↗Kavon Farvardin, John H. Reppy17 citations
- CARAT: a case for virtual memory through compiler- and runtime-based address translation ↗Brian Suchy, Simone Campanoni, Nikos Hardavellas et al.16 citations
- Behavioral simulation for smart contracts ↗Sidi Mohamed Beillahi, Gabriela Felicia Ciocarlie, Michael Emmi et al.15 citations
- FreezeML: complete and easy type inference for first-class polymorphism ↗Frank Emrich, Sam Lindley, Jan Stolarek et al.13 citations
- PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization ↗Fabian Ritter, Sebastian Hack13 citations
- SympleGraph: distributed graph processing with precise loop-carried dependency guarantee ↗Youwei Zhuo, Jingji Chen, Qinyi Luo et al.13 citations
- Zippy LL(1) parsing with derivatives ↗Romain Edelmann, Jad Hamza, Viktor Kunčak13 citations
- Responsive parallelism with futures and state ↗Stefan K. Muller, Kyle Singer, Noah Goldstein et al.12 citations
- Towards an API for the real numbers ↗Hans‐J. Boehm12 citations
- HipHop.js: (A)Synchronous reactive web programming ↗Gérard Berry, Manuel Serrano11 citations
- On the principles of differentiable quantum programming languages ↗Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti et al.11 citations
- SCAF: a speculation-aware collaborative dependence analysis framework ↗Sotiris Apostolakis, Ziyang Xu, Zujun Tan et al.11 citations
- Compiler and runtime support for continuation marks ↗Matthew Flatt, R. Kent Dybvig9 citations
- OOElala: order-of-evaluation based alias analysis for compiler optimization ↗Ankush Phulia, Vaibhav Bhagee, Sorav Bansal9 citations
- A study of the learnability of relational properties: model counting meets machine learning (MCML) ↗Muhammad Usman, Wenxi Wang, Marko Vasic et al.5 citations
- Faster general parsing through context-free memoization ↗Grzegorz Herman4 citations
- Learning nonlinear loop invariants with gated continuous logic networks ↗Jianan Yao, Gabriel Ryan, Justin Wong et al.1 citation
- Reactive probabilistic programming ↗Guillaume Baudart, Louis Mandel, Eric Atkinson et al.1 citation
- Automated derivation of parametric data movement lower bounds for affine programs ↗Auguste Olivry, Julien Langou F, Louis-Noël Pouchet et al.
This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2020/papers/