Venues / TOPLAS /

TOPLAS 2019

23 papers

A Classical Sequent Calculus with Dependent Types · Étienne Miquey
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis · Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh
Analysis and Optimization of Task Granularity on the Java Virtual Machine · Andrea Rosà, Eduardo Rosales, Walter Binder
CSS Minification via Constraint Solving · Matthew Hague, Anthony W. Lin, Chih-Duo Hong
Combinatorial Register Allocation and Instruction Scheduling · Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Context-Free Session Type Inference · Luca Padovani
Dynamic Deadlock Verification for General Barrier Synchronisation · Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
Editorial · Andrew C. Myers
Environmental Bisimulations for Probabilistic Higher-order Languages · Davide Sangiorgi, Valeria Vignudelli
Failure Recovery in Resilient X10 · David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe + 4 more
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth · Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Feature-Specific Profiling · Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Higher-order Demand-driven Program Analysis · Leandro Facchinetti, Zachary Palmer, Scott F. Smith
ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States · Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong
Non-polynomial Worst-Case Analysis of Recursive Programs · Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
On the Impact of Programming Languages on Code Quality: A Reproduction Study · Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
Optimal Choice of When to Garbage Collect · Nicholas Jacek, Meng-Chieh Chiu, Benjamin M. Marlin, J. Eliot B. Moss
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs · Manas Thakur, V. Krishna Nandivada
Practical Subtyping for Curry-Style Languages · Rodolphe Lepigre, Christophe Raffalli
Probabilistic Termination by Monadic Affine Sized Typing · Ugo Dal Lago, Charles Grellois
Rethinking Incremental and Parallel Pointer Analysis · Bozhen Liu, Jeff Huang, Lawrence Rauchwerger
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions · Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Static Identification of Injection Attacks in Java · Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio + 1 more