Abstract is missing.
- State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript ObjectsShiyi Wei, Barbara G. Ryder. 1-26 [doi]
- Self-inferencing Reflection Resolution for JavaYue Li, Tian Tan, Yulei Sui, Jingling Xue. 27-53 [doi]
- Constructing Call Graphs of Scala ProgramsKarim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip. 54-79 [doi]
- Finding Reference-Counting Errors in Python/C Programs with Affine AnalysisSiliang Li, Gang Tan. 80-104 [doi]
- Safely Composable Type-Specific LanguagesCyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich. 105-130 [doi]
- Graceful DialectsMichael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black. 131-156 [doi]
- Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol ProgrammingJoshua Sunshine, James D. Herbsleb, Jonathan Aldrich. 157-181 [doi]
- Reusable Concurrent Data TypesVincent Gramoli, Rachid Guerraoui. 182-206 [doi]
- TaDA: A Logic for Time and Data AbstractionPedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner. 207-231 [doi]
- Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple CoresKyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang. 232-256 [doi]
- Understanding TypeScriptGavin M. Bierman, Martín Abadi, Mads Torgersen. 257-281 [doi]
- Sound and Complete Subtyping between Coinductive Types for Object-Oriented LanguagesDavide Ancona, Andrea Corradi. 282-307 [doi]
- Spores: A Type-Based Foundation for Closures in the Age of Concurrency and DistributionHeather Miller, Philipp Haller, Martin Odersky. 308-333 [doi]
- Rely-Guarantee ProtocolsFilipe Militão, Jonathan Aldrich, Luís Caires. 334-359 [doi]
- Stream Processing with a SpreadsheetMandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel. 360-384 [doi]
- Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep EmbeddingMaximilian Scherr, Shigeru Chiba. 385-410 [doi]
- Babelsberg/JS - A Browser-Based Implementation of an Object Constraint LanguageTim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke, Yoshiki Ohshima, Bert Freudenberg, Robert Krahn. 411-436 [doi]
- Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java FrameworksPhilip Mayer, Andreas Schroeder. 437-462 [doi]
- Retargetting Legacy Browser Extensions to Modern Extension FrameworksRezwana Karim, Mohan Dhawan, Vinod Ganapathy. 463-488 [doi]
- Capture-Avoiding and Hygienic Program TransformationsSebastian Erdweg, Tijs van der Storm, Yi Dai. 489-514 [doi]
- Converting Parallel Code from Low-Level Abstractions to Higher-Level AbstractionsSemih Okur, Cansu Erdogan, Danny Dig. 515-540 [doi]
- Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine LayeringErick Lavoie, Bruno Dufour, Marc Feeley. 541-566 [doi]
- An Executable Formal Semantics of PHPDaniele Filaretti, Sergio Maffeis. 567-592 [doi]
- Identifying Mandatory Code for Framework Use via a Single Application TraceNaoya Nitta, Izuru Kume, Yasuhiro Takemura. 593-617 [doi]
- Cooperative Scheduling of Parallel Tasks with General Synchronization PatternsShams Mahmood Imam, Vivek Sarkar. 618-643 [doi]
- MiCA: A Compositional Architecture for Gossip ProtocolsLonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé. 644-669 [doi]
- Semantics of (Resilient) X10Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu. 670-696 [doi]