Abstract is missing.
- The science of deep specification (keynote)Benjamin C. Pierce. 1 [doi]
- A human view of programming languages (keynote)Andrew Ko. 2 [doi]
- Dedicated support for analyses and optimizations in language workbenchesTamás Szabó. 3-5 [doi]
- Integrating concerns with development environmentsJán Juhár. 6-8 [doi]
- Language support for verifiable SDNsMatthias Eichholz. 9-11 [doi]
- VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofsSylvia Grewe. 12-14 [doi]
- Scaling testing of refactoring enginesMelina Mongiovi. 15-17 [doi]
- Multitier reactive abstractionsPascal Weisenburger. 18-20 [doi]
- Spray: programming with a persistent distributed heapMarco Grandi. 21-23 [doi]
- Towards practical release-level dynamic software updating on stock Java: evaluating an efficient and safely programmable Java dynamic updating systemMartin Alexander Neumann. 24-26 [doi]
- Introducing lightweight reactive values to JavaTetsuo Kamina. 27-28 [doi]
- Specifying CSS layout with reference attribute grammarsScott Buckley, Anthony M. Sloane, Matthew Roberts. 29-30 [doi]
- Reconsidering reliability in distributed actor systemsRaphael Hiesgen, Dominik Charousset, Thomas C. Schmidt. 31-32 [doi]
- Supporting resource bounded multitenancy in AkkaAhmed Abdel Moamen, Nadeem Jamali. 33-34 [doi]
- A web application is a domain-specific languageDavid H. Lorenz, Boaz Rosenan. 35-36 [doi]
- A sampling-based approach to accelerating queries in log management systemsTal Wagner, Eric Schkufza, Udi Wieder. 37-38 [doi]
- sk_p: a neural program corrector for MOOCsYewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay. 39-40 [doi]
- libDSU: towards hot-swapping dynamically linked libraries on stock LinuxMartin Alexander Neumann, Christoph Tobias Bach, Stefan Kratochwil, Marcel Kost, Michael Beigl. 41-42 [doi]
- Removing stagnation from modern code reviewGiovanni Viviani, Gail C. Murphy. 43-44 [doi]
- Design pattern builder: a concept for refinable reusable design pattern librariesTobias Dürschmid. 45-46 [doi]
- End-user software engineering of cognitive robot applications using procedural parameters and complex event processingFloris Erich. 47-48 [doi]
- A compiler for linear algebra operationsHenrik Barthels. 49-50 [doi]
- An approach to compile configurable systems with #ifdefs based on impact analysisLarissa Braz. 51-52 [doi]
- Flexible initialization of immutable objectsTyler Etzel. 53-54 [doi]
- Finding concurrency bugs using graph-based anomaly detection in big codeAndrew Habib. 55-56 [doi]
- Reducing procedure call bloat in ARM binariesJoseph Caldwell. 57-58 [doi]
- PixelDust: supporting dynamic area of interest tagging in programming studies with eye trackingJessica Cherayil. 59-60 [doi]
- Improving live debugging of concurrent threadsMax Leske. 61-62 [doi]
- xWIDL: modular and deep JavaScript API misuses checking based on extended WebIDLZhen Zhang. 63-64 [doi]
- Towards object-aware development toolsAndrei Chis. 65-66 [doi]
- Deducing classes: integrating the domain models of object-oriented applicationsPatrick Rein. 67-68 [doi]
- Energy profiling with AlpacaLogan Goldberg, Joel Katticaran, Abraham Mhaidli. 69-70 [doi]
- Scrambler: dynamic layout adaptationDavid Chang, Thu Nguyen, Niko Takayesu. 71-72 [doi]