Proceedings of the ACM on Programming Languages 2020: all accepted papers
- Proving highly-concurrent traversals correct ↗Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea et al.12 citations
- Regular language type inference with term rewriting ↗Timothée Haudebourg, Thomas Genet, Thomas Wiben Jensen12 citations
- TLC: temporal logic of distributed components ↗Jeremiah Griffin, Mohsen Lesani, Narges Shadab et al.12 citations
- The history of Standard ML ↗David B. MacQueen, Robert W. Harper, John H. Reppy12 citations
- Program equivalence for assisted grading of functional programs ↗Joshua Clune, Vijay Ramamurthy, Ruben Martins et al.11 citations
- Recovering purity with comonads and capabilities ↗Vikraman Choudhury, Neel Krishnaswami11 citations
- Thriving in a crowded and changing world: C++ 2006–2020 ↗Bjarne Stroustrup11 citations
- Enabling accuracy-aware Quantum compilers using symbolic resource estimation ↗Giulia Meuli, Mathias Soeken, Martin Roetteler et al.10 citations
- Kinds are calling conventions ↗Paul Downen, Zena M. Ariola, Simon Jones et al.10 citations
- Origins of the D programming language ↗Walter Bright, Andrei Alexandrescu, Michael Parker10 citations
- Precise inference of expressive units of measurement types ↗Tongtong Xiang, Jeff Y. Luo, Werner Dietl10 citations
- Designing types for R, empirically ↗Alexi Turcotte, Aviral Goel, Filip Křikava et al.9 citations
- Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization ↗Anders Møller, Oskar Haarklou Veileborg9 citations
- Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications ↗Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen et al.9 citations
- Semiring optimizations: dynamic elision of expressions with identity and absorbing elements ↗Guilherme Vieira Leobas, Fernando Magno Quintão Pereira9 citations
- World age in Julia: optimizing method dispatch in the presence of eval ↗Julia Belyakova, Benjamin Chung, Jack Gelinas et al.9 citations
- A type-and-effect system for object initialization ↗Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis et al.8 citations
- Build scripts with perfect dependencies ↗Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt8 citations
- Hidden inheritance: an inline caching design for TypeScript performance ↗Zhefeng Wu, Zhe Sun, Kai Gong et al.8 citations
- Hygienic macro technology ↗William Clinger, Mitchell Wand8 citations
- Kindly bent to free us ↗Gabriel Radanne, Hannes Saffrich, Peter J. Thiemann8 citations
- Lower your guards: a compositional pattern-match coverage checker ↗Sebastian Graf, Simon Jones, Ryan G. Scott8 citations
- Programming at the edge of synchrony ↗Cezara Drăgoi, Josef Widder, Damien Zufferey A8 citations
- StreamQL: a query language for processing streaming time series ↗Lingkun Kong, Konstantinos Mamouras8 citations
- A dependently typed calculus with pattern matching and erasure inference ↗Matúš Tejiščák7 citations
- Dynamic dispatch of context-sensitive optimizations ↗Gabriel Poesia, Fernando Magno Quintão Pereira7 citations
- Exposing cache timing side-channel leaks through out-of-order symbolic execution ↗Shengjian Guo, Yueqi Chen, Jiyong Yu et al.7 citations
- Foundations of empirical memory consistency testing ↗Jake Kirkham, Tyler Sorensen, Esin Türeci et al.7 citations
- Stable relations and abstract interpretation of higher-order programs ↗Benoît Montagu, Thomas Wiben Jensen7 citations
- Taming type annotations in gradual typing ↗John Peter Campora, Sheng Chen7 citations
- The anchor verifier for blocking and non-blocking concurrent software ↗Cormac Flanagan A, Stephen N. Freund7 citations
- Towards a unified proof framework for automated fixpoint reasoning using matching logic ↗Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues et al.7 citations
- Unifying execution of imperative generators and declarative specifications ↗Pengyu Nie, Marinela Parović, Zhiqiang Zang et al.7 citations
- APL since 1978 ↗Roger K. W. Hui, Morten J. Kromberg6 citations
- Incremental predicate analysis for regression verification ↗Qianshan Yu, Fei He, Bow-Yaw Wang6 citations
- Revisiting iso-recursive subtyping ↗Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao6 citations
- Signature restriction for polymorphic algebraic effects ↗Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi6 citations
- Computation focusing ↗Nick Rioux, Steve Zdancewic5 citations
- Deductive optimization of relational data storage ↗John Feser, Samuel R. Madden, Nan Tang et al.5 citations
- Elaboration with first-class implicit function types ↗András Kovács5 citations
- Inter-theory dependency analysis for SMT string solvers ↗Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar5 citations
- Parsing with zippers (functional pearl) ↗Pierce Darragh, Michael D. Adams5 citations
- Resolution as intersection subtyping via Modus Ponens ↗Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira et al.5 citations
- A history of the Groovy programming language ↗Paul King4 citations
- Fast linear programming through transprecision computing on small and sparse data ↗Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein et al.4 citations
- Geometry types for graphics programming ↗Dietrich Geisler, Irene Yoon, Aditi Kabra et al.4 citations
- Guided linking: dynamic linking without the costs ↗Sean Bartell, Will Dietz, Vikram Adve4 citations
- Higher-order demand-driven symbolic evaluation ↗Zachary Palmer, Theodore Park, Scott F. Smith et al.4 citations
- History of coarrays and SPMD parallelism in Fortran ↗John K. Reid, Bill Long, Jon L. Steidel4 citations
- Satune: synthesizing efficient SAT encoders ↗Hamed Gorjiara, Guoqing Harry Xu, Brian Charles Demsky4 citations
- Sound garbage collection for C using pointer provenance ↗Subarno Banerjee, David Andrew Devecsery, Peter M. Chen et al.4 citations
- A history of the Oz multiparadigm language ↗Peter Van Roy, Seif Haridi, Christian Schulte et al.3 citations
- Effects for efficiency: asymptotic speedup with first-class control ↗Daniel Hillerström, Sam Lindley, John Longley3 citations
- Programming and reasoning with partial observability ↗Eric Atkinson, Michael Carbin3 citations
- Scalable and serializable networked multi-actor programming ↗Bo Sang, Patrick Th. Eugster, Gustavo Petri et al.3 citations
- Termination analysis for evolving programs: an incremental approach by reusing certified modules ↗Fei He, Jitao Han3 citations
- ιDOT: a DOT calculus with object initialization ↗Ifaz Kabir, Yu-Feng Li, Ondřej Lhoták3 citations
- Evolution of Emacs Lisp ↗Stefan Monnier, Michael Sperber2 citations
- Fuzzing channel-based concurrency runtimes using types and effects ↗Quentin Stiévenart, Magnus Madsen2 citations
- Sealing pointer-based optimizations behind pure functions ↗Daniel Selsam, Simon Hudon, Leonardo de Moura2 citations
- Strong functional pearl: Harper’s regular-expression matcher in Cedille ↗Aaron Stump, Christa Jenkins, Stephan Spahn et al.2 citations
- Differentially-private software frequency profiling under linear constraints ↗Hailong Zhang, Yu Hao, Sufian Latif et al.1 citation
- Structure interpretation of text formats ↗Sumit Gulwani, Vu Le, Arjun Radhakrishna et al.1 citation
- Duplo: a framework for OCaml post-link optimisation ↗Nandor Licker, Timothy M. Jones
- TacTok:意味論を意識した証明合成【JST・京大機械翻訳】 ↗Emily First, Yuriy Brun, Arjun Guha
- The origins of Objective-C at PPI/Stepstone and its evolution at NeXT ↗Brad J. Cox, Steve Naroff, Hansen Hsu
- WATCHER: in-situ failure diagnosis ↗Hongyu Liu, Sam Silvestro, Xiangyu Zhang et al.
- アクター並行性バグ:症状,根本原因,API使用,および差異に関する包括的研究【JST・京大機械翻訳】 ↗Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh et al.
- ダイナミTe:動的終結と非停止証明【JST・京大機械翻訳】 ↗Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi et al.
- マッチング論理を用いた自動不動点推論のための統一証明フレームワークに向けて【JST・京大機械翻訳】 ↗Chen Xiaohong, Minh-Thai Trinh, Rodrigues Nishant et al.
This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/papers/page/2/