![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
SPLASH Companion 2017: Vancouver, BC, Canada
- Gail C. Murphy:
Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017. ACM 2017, ISBN 978-1-4503-5514-8
Doctoral Symposium
- Germán Ceballos
:
How to make tasks faster: revealing the complex interactions of tasks in the memory system. 1-3 - Luis F. González:
Combining visual and textual languages for dyslexia. 4-6 - Oliver Krauss:
Genetic improvement in code interpreters and compilers. 7-9 - David Leopoldseder:
Simulation-based code duplication for enhancing compiler optimizations. 10-12 - Carmen Torres Lopez:
Advanced debugging techniques to identify concurrency bugs in actor-based programs. 13-15
Graduate Students
- Ankica Barisic
:
Framework support for usability evaluation of domain-specific languages. 16-18 - Guilherme Cavalcanti:
What merge tool should I use? 19-20 - Germán Ceballos
, Erik Hagersten, David Black-Schaffer:
Understanding the interplay between task scheduling, memory and performance. 21-23 - Daniel Lehmann
:
Automatic testing of interactive JavaScript debuggers. 24-26 - Nicholas V. Lewchenko:
Computer-assisted specification of asynchronous interfaces with non-deterministic behavior. 27-29 - Ligia Nistor:
Verifying the proxy design pattern using object propositions. 30-32
Undergraduate Students
- Monica Figuera:
ZenSheet studio: a spreadsheet-inspired environment for reactive computing. 33-35 - Lukas Lazarek:
How to efficiently process 100 list variations. 36-38 - Savannah Morgan:
How are programming questions from women received on stack overflow? a case study of peer parity. 39-41 - Piotr Padlewski
:
Devirtualization in LLVM. 42-44 - Haochen Xie:
Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java. 45-47 - Valerie Zhao:
Abstracting resource effects. 48-50
Posters
- Julien Gascon-Samson, Mohammad Rafiuzzaman, Karthik Pattabiraman:
SmartJS: dynamic and self-adaptable runtime middleware for next-generation IoT systems. 51-52 - James Koppel, Armando Solar-Lezama
:
Incremental parametric syntax for multi-language transformation. 53-54 - Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama
:
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. 55-56
![](https://dblp.uni-trier.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.