default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems, Volume 39
Volume 39, Number 1, March 2017
- Andrew C. Myers:
Foreword. 1:1 - Nachshon Cohen, Erez Petrank:
Limitations of Partial Compaction: Towards Practical Bounds. 2:1-2:44 - Taro Sekiyama, Atsushi Igarashi
, Michael Greenberg:
Polymorphic Manifest Contracts, Revised and Resolved. 3:1-3:36 - Jay Ligatti, Jeremy Blackburn, Michael Nachtigal:
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. 4:1-4:36 - Martin Hirzel, Scott Schneider, Bugra Gedik:
SPL: An Extensible Language for Distributed Stream Processing. 5:1-5:39
Volume 39, Number 2, May 2017
- Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl:
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. 6:1-6:38 - Marie-Christine Jakobs, Heike Wehrheim:
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. 7:1-7:56 - Eva Darulova, Viktor Kuncak:
Towards a Compiler for Reals. 8:1-8:28 - Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu:
Newtonian Program Analysis via Tensor Product. 9:1-9:72
Volume 39, Number 3, July 2017
- Thomas H. Austin, Thomas Schmitz, Cormac Flanagan:
Multiple Facets for Dynamic Information Flow with Exceptions. 10:1-10:56 - Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson:
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. 11:1-11:54 - Yanhong A. Liu, Scott D. Stoller, Bo Lin:
From Clarity to Efficiency for Distributed Algorithms. 12:1-12:41 - Silvia Crafa, Luca Padovani:
The Chemical Approach to Typestate-Oriented Programming. 13:1-13:45
Volume 39, Number 4, September 2017
- Jacques-Henri Jourdan, François Pottier:
A Simple, Possibly Correct LR Parser for C11. 14:1-14:36 - Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma:
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. 15:1-15:27 - Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Sound Non-Statistical Clustering of Static Analysis Alarms. 16:1-16:35 - Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. 17:1-17:46 - Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones:
SHErrLoc: A Static Holistic Error Locator. 18:1-18:47
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.
last updated on 2025-04-25 17:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
