Powered by
Conference Publishing Consulting

2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH Companion 2016), October 30 – November 4, 2016, Amsterdam, Netherlands

SPLASH Companion 2016 – Author Index

Contents - Abstracts - Authors

B C D E G H J K L M N P R S T V W Z

Bach, Christoph Tobias SPLASH Companion '16: "libDSU: Towards Hot-Swapping ..." Article: splashcomp16posters-posters12-p doi:
Barthels, Henrik SPLASH Companion '16: "A Compiler for Linear Algebra ..." Article: splashcomp16src-srcp04-p doi:
Barzilay, Regina SPLASH Companion '16: "sk_p: A Neural Program Corrector ..." Article: splashcomp16posters-posters10-p doi:
Beigl, Michael SPLASH Companion '16: "libDSU: Towards Hot-Swapping ..." Article: splashcomp16posters-posters12-p doi:
Braz, Larissa SPLASH Companion '16: "An Approach to Compile Configurable ..." Article: splashcomp16src-srcp05-p doi:
Buckley, Scott SPLASH Companion '16: "Specifying CSS Layout with ..." Article: splashcomp16posters-posters2-p doi:
Caldwell, Joseph SPLASH Companion '16: "Reducing Procedure Call Bloat ..." Article: splashcomp16src-srcp08-p doi:
Chang, David SPLASH Companion '16: "Scrambler: Dynamic Layout ..." Article: splashcomp16src-srcp16-p doi:
Charousset, Dominik SPLASH Companion '16: "Reconsidering Reliability ..." Article: splashcomp16posters-posters5-p doi:
Cherayil, Jessica SPLASH Companion '16: "PixelDust: Supporting Dynamic ..." Article: splashcomp16src-srcp09-p doi:
Chiş, Andrei SPLASH Companion '16: "Towards Object-Aware Development ..." Article: splashcomp16src-srcp13-p doi:
Dürschmid, Tobias SPLASH Companion '16: "Design Pattern Builder: A ..." Article: splashcomp16src-srcp01-p doi:
Eichholz, Matthias SPLASH Companion '16: "Language Support for Verifiable ..." Article: splashcomp16doc-doc1-p doi:
Erich, Floris SPLASH Companion '16: "End-User Software Engineering ..." Article: splashcomp16src-srcp03-p doi:
Etzel, Tyler SPLASH Companion '16: "Flexible Initialization of ..." Article: splashcomp16src-srcp06-p doi:
Goldberg, Logan SPLASH Companion '16: "Energy Profiling with Alpaca ..." Article: splashcomp16src-srcp15-p doi:
Grandi, Marco SPLASH Companion '16: "Spray: Programming with a ..." Article: splashcomp16doc-doc2-p doi:
Grewe, Sylvia SPLASH Companion '16: "VeriTaS: Verification of Type ..." Article: splashcomp16doc-doc3-p doi:
Habib, Andrew SPLASH Companion '16: "Finding Concurrency Bugs Using ..." Article: splashcomp16src-srcp07-p doi:
Hiesgen, Raphael SPLASH Companion '16: "Reconsidering Reliability ..." Article: splashcomp16posters-posters5-p doi:
Jamali, Nadeem SPLASH Companion '16: "Supporting Resource Bounded ..." Article: splashcomp16posters-posters6-p doi:
Juhár, Ján SPLASH Companion '16: "Integrating Concerns with ..." Article: splashcomp16doc-doc4-p doi:
Kamina, Tetsuo SPLASH Companion '16: "Introducing Lightweight Reactive ..." Article: splashcomp16posters-posters1-p doi:
Katticaran, Joel SPLASH Companion '16: "Energy Profiling with Alpaca ..." Article: splashcomp16src-srcp15-p doi:
Ko, Andrew SPLASH Companion '16: "A Human View of Programming ..." Article: splashcomp16key-key3-p doi:
Kost, Marcel SPLASH Companion '16: "libDSU: Towards Hot-Swapping ..." Article: splashcomp16posters-posters12-p doi:
Kratochwil, Stefan SPLASH Companion '16: "libDSU: Towards Hot-Swapping ..." Article: splashcomp16posters-posters12-p doi:
Leske, Max SPLASH Companion '16: "Improving Live Debugging of ..." Article: splashcomp16src-srcp11-p doi:
Lorenz, David H. SPLASH Companion '16: "A Web Application Is a Domain-Specific ..." Article: splashcomp16posters-posters8-p doi:
Mhaidli, Abraham SPLASH Companion '16: "Energy Profiling with Alpaca ..." Article: splashcomp16src-srcp15-p doi:
Moamen, Ahmed Abdel SPLASH Companion '16: "Supporting Resource Bounded ..." Article: splashcomp16posters-posters6-p doi:
Mongiovi, Melina SPLASH Companion '16: "Scaling Testing of Refactoring ..." Article: splashcomp16doc-doc5-p doi:
Murphy, Gail C. SPLASH Companion '16: "Removing Stagnation from Modern ..." Article: splashcomp16posters-posters13-p doi:
Narasimhan, Karthik SPLASH Companion '16: "sk_p: A Neural Program Corrector ..." Article: splashcomp16posters-posters10-p doi:
Neumann, Martin Alexander SPLASH Companion '16: "Towards Practical Release-Level ..." Article: splashcomp16doc-doc6-p doi: SPLASH Companion '16: "libDSU: Towards Hot-Swapping ..." Article: splashcomp16posters-posters12-p doi:
Nguyen, Thu SPLASH Companion '16: "Scrambler: Dynamic Layout ..." Article: splashcomp16src-srcp16-p doi:
Pierce, Benjamin C. SPLASH Companion '16: "The Science of Deep Specification ..." Article: splashcomp16key-key1-p doi:
Pu, Yewen SPLASH Companion '16: "sk_p: A Neural Program Corrector ..." Article: splashcomp16posters-posters10-p doi:
Rein, Patrick SPLASH Companion '16: "Deducing Classes: Integrating ..." Article: splashcomp16src-srcp14-p doi:
Roberts, Matthew SPLASH Companion '16: "Specifying CSS Layout with ..." Article: splashcomp16posters-posters2-p doi:
Rosenan, Boaz SPLASH Companion '16: "A Web Application Is a Domain-Specific ..." Article: splashcomp16posters-posters8-p doi:
Schkufza, Eric SPLASH Companion '16: "A Sampling-Based Approach ..." Article: splashcomp16posters-posters9-p doi:
Schmidt, Thomas C. SPLASH Companion '16: "Reconsidering Reliability ..." Article: splashcomp16posters-posters5-p doi:
Sloane, Anthony SPLASH Companion '16: "Specifying CSS Layout with ..." Article: splashcomp16posters-posters2-p doi:
Solar-Lezama, Armando SPLASH Companion '16: "sk_p: A Neural Program Corrector ..." Article: splashcomp16posters-posters10-p doi:
Szabó, Tamás SPLASH Companion '16: "Dedicated Support for Analyses ..." Article: splashcomp16doc-doc7-p doi:
Takayesu, Niko SPLASH Companion '16: "Scrambler: Dynamic Layout ..." Article: splashcomp16src-srcp16-p doi:
Viviani, Giovanni SPLASH Companion '16: "Removing Stagnation from Modern ..." Article: splashcomp16posters-posters13-p doi:
Wagner, Tal SPLASH Companion '16: "A Sampling-Based Approach ..." Article: splashcomp16posters-posters9-p doi:
Weisenburger, Pascal SPLASH Companion '16: "Multitier Reactive Abstractions ..." Article: splashcomp16doc-doc8-p doi:
Wieder, Udi SPLASH Companion '16: "A Sampling-Based Approach ..." Article: splashcomp16posters-posters9-p doi:
Zhang, Zhen SPLASH Companion '16: "xWIDL: Modular and Deep JavaScript ..." Article: splashcomp16src-srcp12-p doi:

53 authors

proc time: 0.06