TOPLAS 2018

19 papers

1. A Logical Analysis of Framing for Specifications with Pure Method Calls · Anindya Banerjee, David A. Naumann, Mohammad Nikouei
2. A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework · Se-Won Kim, Xavier Rival, Sukyoung Ryu
3. Adaptive Static Analysis via Learning with Bayesian Optimization · Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
4. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs · Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
5. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components · Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, Andreas Pavlogiannis
6. Bit-Precise Procedure-Modular Termination Analysis · Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
7. Conditioning in Probabilistic Programming · Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
8. Constraint-Based Refactoring · Friedrich Steimann
9. Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8 ·
10. Cross-Language Interoperability in a Multi-Language Runtime · Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Mikel Luján
11. Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems" · Andrew Myers
12. Interconnectability of Session-Based Logical Processes · Bernardo Toninho, Nobuko Yoshida
13. Modular Termination Verification of Single-Threaded and Multithreaded Programs · Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
14. POP-PL: A Patient-Oriented Prescription Programming Language · Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Vincent St-Amour, Tina Kiguradze + 5 more
15. Program Synthesis for Program Analysis · Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
16. Static Backward Slicing of Non-deterministic Programs and Systems · Sebastian Danicic, Michael R. Laurence
17. Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection · Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones
18. Type-Driven Gradual Security with References · Matías Toro, Ronald Garcia, Éric Tanter
19. Verifying Reliability Properties Using the Hyperball Abstract Domain · Jacob Lidman, Sally A. McKee