![](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
SPLASH Companion 2016: Amsterdam, Netherlands
- Eelco Visser:
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016. ACM 2016, ISBN 978-1-4503-4437-1
Keynotes
- Benjamin C. Pierce:
The science of deep specification (keynote). 1 - Amy J. Ko:
A human view of programming languages (keynote). 2
Doctoral Symposium
- Tamás Szabó:
Dedicated support for analyses and optimizations in language workbenches. 3-5 - Ján Juhár
:
Integrating concerns with development environments. 6-8 - Matthias Eichholz:
Language support for verifiable SDNs. 9-11 - Sylvia Grewe:
VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs. 12-14 - Melina Mongiovi
:
Scaling testing of refactoring engines. 15-17 - Pascal Weisenburger
:
Multitier reactive abstractions. 18-20 - Marco Grandi:
Spray: programming with a persistent distributed heap. 21-23 - Martin Alexander Neumann:
Towards practical release-level dynamic software updating on stock Java: evaluating an efficient and safely programmable Java dynamic updating system. 24-26
Posters
- Tetsuo Kamina:
Introducing lightweight reactive values to Java. 27-28 - Scott Buckley
, Anthony M. Sloane
, Matthew Roberts
:
Specifying CSS layout with reference attribute grammars. 29-30 - Raphael Hiesgen, Dominik Charousset, Thomas C. Schmidt
:
Reconsidering reliability in distributed actor systems. 31-32 - Ahmed Abdel Moamen, Nadeem Jamali:
Supporting resource bounded multitenancy in Akka. 33-34 - David H. Lorenz, Boaz Rosenan:
A web application is a domain-specific language. 35-36 - Tal Wagner, Eric Schkufza, Udi Wieder:
A sampling-based approach to accelerating queries in log management systems. 37-38 - Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama
, Regina Barzilay:
sk_p: a neural program corrector for MOOCs. 39-40 - Martin Alexander Neumann, Christoph Tobias Bach, Stefan Kratochwil, Marcel Kost, Michael Beigl:
libDSU: towards hot-swapping dynamically linked libraries on stock Linux. 41-42 - Giovanni Viviani
, Gail C. Murphy:
Removing stagnation from modern code review. 43-44
Student Research Competition
- Tobias Dürschmid
:
Design pattern builder: a concept for refinable reusable design pattern libraries. 45-46 - Floris Erich:
End-user software engineering of cognitive robot applications using procedural parameters and complex event processing. 47-48 - Henrik Barthels:
A compiler for linear algebra operations. 49-50 - Larissa Braz
:
An approach to compile configurable systems with #ifdefs based on impact analysis. 51-52 - Tyler Etzel:
Flexible initialization of immutable objects. 53-54 - Andrew Habib
:
Finding concurrency bugs using graph-based anomaly detection in big code. 55-56 - Joseph Caldwell:
Reducing procedure call bloat in ARM binaries. 57-58 - Jessica Cherayil:
PixelDust: supporting dynamic area of interest tagging in programming studies with eye tracking. 59-60 - Max Leske:
Improving live debugging of concurrent threads. 61-62 - Zhen Zhang:
xWIDL: modular and deep JavaScript API misuses checking based on extended WebIDL. 63-64 - Andrei Chis:
Towards object-aware development tools. 65-66 - Patrick Rein
:
Deducing classes: integrating the domain models of object-oriented applications. 67-68 - Logan Goldberg, Joel Katticaran, Abraham Mhaidli:
Energy profiling with Alpaca. 69-70 - David Chang, Thu Nguyen, Niko Takayesu:
Scrambler: dynamic layout adaptation. 71-72
![](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.