More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

ACM Transactions on Programming Languages and Systems, Volume 41

> Home > Journals > ACM Transactions on Programming Languages and Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 41, Number 1, March 2019

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/CogumbreiroHMY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/CogumbreiroHMY19
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida:
Dynamic Deadlock Verification for General Barrier Synchronisation. 1:1-1:38
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SolovyevBBJRG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SolovyevBBJRG19
Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. 2:1-2:39
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/JacekCMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JacekCMM19
Nicholas Jacek, Meng-Chieh Chiu, Benjamin M. Marlin, J. Eliot B. Moss:
Optimal Choice of When to Garbage Collect. 3:1-3:35
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AndersenSVF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AndersenSVF19
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen:
Feature-Specific Profiling. 4:1-4:34
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/LepigreR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LepigreR19
Rodolphe Lepigre, Christophe Raffalli:
Practical Subtyping for Curry-Style Languages. 5:1-5:58
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/LiuHR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LiuHR19
Bozhen Liu, Jeff Huang, Lawrence Rauchwerger:
Rethinking Incremental and Parallel Pointer Analysis. 6:1-6:31

Volume 41, Number 2, June 2019

Special Issue on ESOP 2017

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Myers19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Myers19
Andrew C. Myers:
Editorial. 7:1
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Miquey19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Miquey19
Étienne Miquey:
A Classical Sequent Calculus with Dependent Types. 8:1-8:47
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Padovani19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Padovani19
Luca Padovani:
Context-Free Session Type Inference. 9:1-9:37
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/LagoG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LagoG19
Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing. 10:1-10:65
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Cotton-BarrattM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Cotton-BarrattM19
Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong:
ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States. 11:1-11:38

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HagueLH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HagueLH19
Matthew Hague, Anthony W. Lin, Chih-Duo Hong:
CSS Minification via Constraint Solving. 12:1-12:76
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/JeonJCO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JeonJCO19
Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh:
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis. 13:1-13:41

Volume 41, Number 3, July 2019

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/FacchinettiPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/FacchinettiPS19
Leandro Facchinetti, Zachary Palmer, Scott F. Smith:
Higher-order Demand-driven Program Analysis. 14:1-14:53
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GroveHHIKMSSTT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GroveHHIKMSSTT19
David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu:
Failure Recovery in Resilient X10. 15:1-15:30
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ThakurN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ThakurN19
Manas Thakur, V. Krishna Nandivada:
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs. 16:1-16:37
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/LozanoCBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LozanoCBS19
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte:
Combinatorial Register Allocation and Instruction Scheduling. 17:1-17:53
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SpotoBEFLMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SpotoBEFLMS19
Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon:
Static Identification of Injection Attacks in Java. 18:1-18:58
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/RosaRB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/RosaRB19
Andrea Rosà, Eduardo Rosales, Walter Binder:
Analysis and Optimization of Task Granularity on the Java Virtual Machine. 19:1-19:47

Volume 41, Number 4, December 2019

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ChatterjeeFG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ChatterjeeFG19
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady:
Non-polynomial Worst-Case Analysis of Recursive Programs. 20:1-20:52
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BergerHMVV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BergerHMVV19
Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek:
On the Impact of Programming Languages on Code Quality: A Reproduction Study. 21:1-21:24
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SangiorgiV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SangiorgiV19
Davide Sangiorgi, Valeria Vignudelli:
Environmental Bisimulations for Probabilistic Higher-order Languages. 22:1-22:64
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ChatterjeeGGIP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ChatterjeeGGIP19
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis:
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. 23:1-23:46

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.