TOPLAS 2020

15 papers

1. A Principled Approach to Selective Context Sensitivity for Pointer Analysis · Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2. A Theory of Slicing for Imperative Probabilistic Programs · Torben Amtoft, Anindya Banerjee
3. An Effective Fusion and Tile Size Model for PolyMage · Abhinav Jangda, Uday Bondhugula
4. Behavioural Equivalence via Modalities for Algebraic Effects · Alex Simpson, Niels F. W. Voorneveld
5. Consistent Subtyping for All · Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
6. Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16 · Matías Toro, Ronald Garcia, Éric Tanter
7. Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy · David Zhao, Pavle Subotic, Bernhard Scholz
8. Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis · Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
9. Inferring Lower Runtime Bounds for Integer Programs · Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl
10. Introduction to the Special Issue on ESOP 2018 · Amal Ahmed
11. Modular Product Programs · Marco Eilers, Peter Müller, Samuel Hitz
12. Obsidian: Typestate and Assets for Safer Blockchain Programming · Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem + 3 more
13. Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management · Lau Skorstengaard, Dominique Devriese, Lars Birkedal
14. Symbolic Disintegration with a Variety of Base Measures · Praveen Narayanan, Chung-chieh Shan
15. Type Inference for C: Applications to the Static Analysis of Incomplete Programs · Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira