![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
ACM Transactions on Programming Languages and Systems, Volume 38
Volume 38, Number 1, October 2015
- Loris D'Antoni
, Margus Veanes, Benjamin Livshits, David Molnar:
Fast: A Transducer-Based Language for Tree Manipulation. 1:1-1:32 - Dariusz Biernacki
, Olivier Danvy
, Kevin Millikin:
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. 2:1-2:25 - Nils Gesbert, Pierre Genevès, Nabil Layaïda:
A Logical Approach to Deciding Semantic Subtyping. 3:1-3:31
Volume 38, Number 2, January 2016
- Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal:
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic. 4:1-4:72 - Paraskevas Yiapanis, Gavin Brown
, Mikel Luján:
Compiler-Driven Software Speculation for Thread-Level Parallelism. 5:1-5:45 - Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi:
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. 6:1-6:45 - Stefano Dissegna, Francesco Logozzo, Francesco Ranzato:
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation. 7:1-7:50
Volume 38, Number 3, May 2016
- Sukyoung Ryu
:
ThisType for Object-Oriented Languages: From Theory to Practice. 8:1-8:66 - Gregor Wagner, Per Larsen, Stefan Brunthaler
, Michael Franz:
Thinking Inside the Box: Compartmentalized Garbage Collection. 9:1-9:37 - Brian Norris, Brian Demsky
:
A Practical Approach for Model Checking C/C++11 Code. 10:1-10:51 - Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen:
Automatic Storage Optimization for Arrays. 11:1-11:23 - Uday Bondhugula, Aravind Acharya, Albert Cohen:
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests. 12:1-12:32
Volume 38, Number 4, October 2016
- Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl:
Analyzing Runtime and Size Complexity of Integer Programs. 13:1-13:50 - Thibaut Balabonski, François Pottier, Jonathan Protzenko:
The Design and Formalization of Mezzo, a Permission-Based Programming Language. 14:1-14:94 - Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller:
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. 15:1-15:20 - Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
:
DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. 16:1-16:40
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.