SPLASH Companion 2015 – Proceedings

2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH Companion 2015), October 25–30, 2015, Pittsburgh, PA, USA

Frontmatter

Welcome from the SPLASH 2015 General Chair
Article: splashcomp15foreword-fm001-p (type: Frontmatter) doi:

SPLASH 2015 Workshop Chairs' Welcome
Article: splashcomp15foreword-sumws-welcome-p (type: Welcome (2 pages)) doi:

SPLASH 2015 Organization
Article: splashcomp15foreword-fm002-p (type: Frontmatter) doi:

SPLASH 2015 Sponsors and Supporters
Article: splashcomp15foreword-fm003-p (type: Frontmatter) doi:

Keynotes

Tomorrow's Network Operators Will Be Programmers (Keynote)
Nick Feamster
(Princeton University, USA)
Article: splashcomp15key-key3-p (type: Invited Talk Abstract (1 page)) doi:

How Dart Learned from Past Object-Oriented Systems (Keynote)
Lars Bak
(Google, USA)
Article: splashcomp15key-key1-p (type: Invited Talk Abstract (1 page)) doi:

Modern Software Is All about Data. Development Environments Should Be, Too. (Keynote)
Rob DeLine
(Microsoft Research, USA)
Article: splashcomp15key-key2-p (type: Invited Talk Abstract (1 page)) doi:

Demonstrations

Consensus-Based Mining of API Preconditions in Big Code
Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan
(Iowa State University, USA; Bowling Green State University, USA)
Article: splashcomp15demo-demobid7-p (type: Full Paper (2 pages)) doi:

Custom Full-Coverage Dynamic Program Analysis for Android
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Walter Binder, and Stephen Kell
(University of Lugano, Switzerland; University of Cambridge, UK)
Article: splashcomp15demo-demoid2-p (type: Full Paper (2 pages)) doi:

Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap via a Declarative Query Language
Sanchit Chadha, Antuan Byalik, and Eli Tilevich
(Virginia Tech, USA)
Article: splashcomp15demo-demoid4-p (type: Full Paper (2 pages)) doi:

Making Live Programming Practical by Bridging the Gap between Trial-and-Error Development and Unit Testing
Tomoki Imai, Hidehiko Masuhara, and Tomoyuki Aotani
(Tokyo Institute of Technology, Japan)
Article: splashcomp15demo-demoid10-p (type: Full Paper (2 pages)) doi:

Demonstrating Programming Language Feature Mining using Boa
Robert Dyer, Hridesh Rajan, Tien N. Nguyen, and Hoan Anh Nguyen
(Bowling Green State University, USA; Iowa State University, USA)
Article: splashcomp15demo-demoid9-p (type: Full Paper (2 pages)) doi:

GTInspector: A Moldable Domain-Aware Object Inspector
Andrei Chiş, Oscar Nierstrasz, Aliaksei Syrel, and Tudor Gîrba
(University of Bern, Switzerland; tudorgirba.com, Switzerland)
Article: splashcomp15demo-demoid1-p (type: Full Paper (2 pages)) doi:

Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software
Raffi Khatchadourian, Awais Rashid, Hidehiko Masuhara, and Takuya Watanabe
(City University of New York, USA; Lancaster University, UK; Tokyo Institute of Technology, Japan; Edirium, Japan)
Article: splashcomp15demo-demoid6-p (type: Full Paper (2 pages)) doi:

Ultra Lightweight JavaScript Engine for Internet of Things
Evgeny Gavrin, Sung-Jae Lee, Ruben Ayrapetyan, and Andrey Shitov
(Samsung, Russia; Samsung, South Korea)
Article: splashcomp15demo-demobid11-p (type: Full Paper (2 pages)) doi:

Doctoral Symposium

Trace Register Allocation
Josef Eisl
(JKU Linz, Austria)
Article: splashcomp15doc-docds3-p (type: Short Paper (3 pages)) doi:

Trace Oblivious Computation
Chang Liu
(University of Maryland, USA)
Article: splashcomp15doc-docds4-p (type: Short Paper (3 pages)) doi:

Privacy and Security Constraints for Code Contributions
Rodrigo Andrade
(Federal University of Pernambuco, Brazil)
Article: splashcomp15doc-docds1-p (type: Short Paper (3 pages)) doi:

Panini: A Concurrent Programming Model with Modular Reasoning
Mehdi Bagherzadeh
(Iowa State University, USA)
Article: splashcomp15doc-docds2-p (type: Short Paper (3 pages)) doi:

The Spreadsheet Paradigm: A Basis for Powerful and Accessible Programming
Gary Miller
(University of Technology Sydney, Australia)
Article: splashcomp15doc-docds5-p (type: Short Paper (3 pages)) doi:

Posters

Shiranui: A Live Programming with Support for Unit Testing
Tomoki Imai, Hidehiko Masuhara, and Tomoyuki Aotani
(Tokyo Institute of Technology, Japan)
Article: splashcomp15posters-postersid5-p (type: Abstract (2 pages)) doi:

Exploiting Parallelism in Mobile Devices
Arghya Chatterjee, Timothy Newton, Tom Roush, Hunter Tidwell, and Vivek Sarkar
(Rice University, USA)
Article: splashcomp15posters-postersid6-p (type: Abstract (2 pages)) doi:

ModeSens: An Approach for Multi-modal Mobile Sensing
Ahmed Abdel Moamen and Nadeem Jamali
(University of Saskatchewan, Canada)
Article: splashcomp15posters-postersid14-p (type: Abstract (2 pages)) doi:

Towards Transitory Encapsulation
Sebastian Fleissner
(Australian National University, Australia)
Article: splashcomp15posters-postersid12-p (type: Abstract (2 pages)) doi:

Statik: An Incremental Compiler Generator
Michael Biggs
(Broadway Technology, USA)
Article: splashcomp15posters-postersid15-p (type: Abstract (2 pages)) doi:

Toward Incremental Type Checking for Java
Edlira Kuci, Sebastian Erdweg, and Mira Mezini
(TU Darmstadt, Germany)
Article: splashcomp15posters-postersid3-p (type: Abstract (2 pages)) doi:

Pyrlang: A High Performance Erlang Virtual Machine Based on RPython
Ruochen Huang, Hidehiko Masuhara, and Tomoyuki Aotani
(Tokyo Institute of Technology, Japan)
Article: splashcomp15posters-postersid4-p (type: Abstract (2 pages)) doi:

Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites
Elmer van Chastelet, Eelco Visser, and Craig Anslow
(Delft University of Technology, Netherlands; Middlesex University, UK)
Article: splashcomp15posters-postersid9-p (type: Abstract (2 pages)) doi:

Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs
Ben McCamish, Xinghui Zhao, David Chiu, Jason Sawin, and Guadalupe Canahuate
(Oregon State University, USA; Washington State University, USA; University of Puget Sound, USA; University of St. Thomas, USA; University of Iowa, USA)
Article: splashcomp15posters-postersid2-p (type: Abstract (2 pages)) doi:

Spotter: Towards a Unified Search Interface in IDEs
Aliaksei Syrel, Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, and Stefan Reichhart
(University of Bern, Switzerland; tudorgirba.com, Switzerland; University of Chile, Chile)
Article: splashcomp15posters-postersid7-p (type: Abstract (2 pages)) doi:

Toward a Java Based Infrastructure for Unmanned Aerial Vehicles
Yu David Liu and Lukasz Ziarek
(SUNY Binghamton, USA; SUNY Buffalo, USA)
Article: splashcomp15posters-postersid8-p (type: Abstract (2 pages)) doi:

Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refactoring to Eclipse
Md. Arefin and Raffi Khatchadourian
(City University of New York, USA)
Article: splashcomp15posters-postersid13-p (type: Abstract (2 pages)) doi:

Panels

Software Professionalism – Is it "Good Enough?" (Panel)
Steven D. Fraser, Dennis Mancl, Nancy R. Mead, Mary Shaw, and Werner Wild
(Innoxec, USA; Alcatel-Lucent, USA; Software Engineering Institute, USA; Carnegie Mellon University, USA; University of Innsbruck, Austria)
Article: splashcomp15pan-panel1-p (type: Abstract (4 pages)) doi:

The Future of Programming Languages and Programmers (Panel)
Steven D. Fraser, Lars Bak, Rob DeLine, Nick Feamster, Lindsey Kuper, Cristina V. Lopes, and Peng Wu
(Innoxec, USA; Google, USA; Microsoft Research, USA; Princeton University, USA; Intel Labs, USA; University of California at Irvine, USA; Huawei, USA)
Article: splashcomp15pan-panel2-p (type: Abstract (4 pages)) doi:

Student Research Competition

Efficient Support for Strong Semantics in Transactional and Non-transactional Programs
Aritra Sengupta
(Ohio State University, USA)
Article: splashcomp15src-src2015-11-p (type: Abstract (2 pages)) doi:

Automatic Array Property Detection via Static Analysis
Alisa J. Maas
(University of Wisconsin-Madison, USA)
Article: splashcomp15src-src2015-3-p (type: Abstract (2 pages)) doi:

KinEdit: A Tool to Help Developers Refactor Manually
Josh Terrell
(California Polytechnic State University, USA)
Article: splashcomp15src-src2015-9-p (type: Abstract (2 pages)) doi:

Finding Bugs in Spreadsheets using Reference Counting
Nima Joharizadeh
(University of California at Davis, USA)
Article: splashcomp15src-src2015-14-p (type: Abstract (2 pages)) doi:

Viser: Providing Serializability in Hardware with Simplified Cache Coherence
Swarnendu Biswas
(Ohio State University, USA)
Article: splashcomp15src-src2015-15-p (type: Abstract (2 pages)) doi:

Concurrency Control for Multithreaded Reactive Programming
Ragnar Mogk
(TU Darmstadt, Germany)
Article: splashcomp15src-src2015-13-p (type: Abstract (2 pages)) doi:

Gradual Mode Types for Energy-Aware Programming
Anthony Canino
(SUNY Binghamton, USA)
Article: splashcomp15src-src2015-4-p (type: Abstract (2 pages)) doi:

Race-Driven UI-Level Test Generation for JavaScript-Based Web Applications
Martin Billes
(TU Darmstadt, Germany)
Article: splashcomp15src-src2015-1-p (type: Abstract (2 pages)) doi:

Contributions of the Under-Appreciated: Gender Bias in an Open-Source Ecology
Andrew Kofink
(North Carolina State University, USA)
Article: splashcomp15src-src2015-5-p (type: Abstract (2 pages)) doi:

Safely Evolving Configurable Systems
Flávio Medeiros
(Federal University of Campina Grande, Brazil)
Article: splashcomp15src-src2015-2-p (type: Abstract (2 pages)) doi:

SIRe: An Efficient Snapshot Isolation-Based Memory Model for Detecting and Tolerating Region Conflicts
Minjia Zhang
(Ohio State University, USA)
Article: splashcomp15src-src2015-8-p (type: Abstract (2 pages)) doi:

The Oprop Verification Tool: Object Propositions in Action
Ligia Nistor
(Carnegie Mellon University, USA)
Article: splashcomp15src-src2015-7-p (type: Abstract (2 pages)) doi:

Workshop Previews

Workshop Preview of the 2015 Eclipse Technology eXchange Workshop (ETX 2015)
Tim Verbelen and Michael G. Burke
(Ghent University, Belgium; Rice University, USA)
Article: splashcomp15sum-sumws-etx-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 3rd International Workshop on Mobile Development Lifecycle (MobileDeLi 2015)
Aharon Abadi, Lori Flynn, and Jeff Gray
(IBM Research, Israel; Carnegie Mellon University, USA; University of Alabama, USA)
Article: splashcomp15sum-sumws-mobiledeli-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 2nd International Workshop on Software for Parallel Systems (SEPS 2015)
Ali Jannesari, Siegfried Benkner, Xinghui Zhao, Ehsan Atoofian, and Yukionri Sato
(TU Darmstadt, Germany; University of Vienna, Austria; Washington State University, USA; Lakehead University, Canada; Tokyo Institute of Technology, Japan)
Article: splashcomp15sum-sumws-seps-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 13th International Workshop on Dynamic Analysis (WODA 2015)
Guoqing Xu and Walter Binder
(University of California at Irvine, USA; University of Lugano, Switzerland)
Article: splashcomp15sum-sumws-woda-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 2015 Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE! 2015)
Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, and Carlos Varela
(Vrije Universiteit Brussel, Belgium; KTH, Sweden; University of Bologna, Italy; Rensselaer Polytechnic Institute, USA)
Article: splashcomp15sum-sumws-agere-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 15th Workshop on Domain Specific Modeling (DSM 2015)
Jeff Gray, Jonathan Sprinkle, Juha-Pekka Tolvanen, and Matti Rossi
(University of Alabama, USA; University of Arizona, USA; MetaCase, Finland; Aalto University, Finland)
Article: splashcomp15sum-sumws-dsm-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 3rd International Workshop on Programming for Mobile and Touch (PROMOTO 2015)
Steven D. Fraser and Alberto Sillitti
(Innoxec, USA; Free University of Bolzano, Italy)
Article: splashcomp15sum-sumws-promoto-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 2015 Workshop on New Object-Oriented Languages (NOOL 2015)
Alex Potanin and James Noble
(Victoria University of Wellington, New Zealand)
Article: splashcomp15sum-sumws-nool-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 3rd Workshop on Parsing Programming Languages (Parsing@SLE 2015)
Loek Cleophas and Ali Afroozeh
(Umeå University, Sweden; Eindhoven University of Technology, Netherlands; Stellenbosch University, South Africa; CWI, Netherlands)
Article: splashcomp15sum-sumws-parsing@sle-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 2015 Workshop on Reactive and Event-based Languages & Systems (REBLS 2015)
Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, and Lukasz Ziarek
(TU Darmstadt, Germany; Vrije Universiteit Brussel, Belgium; Purdue University, USA; State University of New York, USA)
Article: splashcomp15sum-sumws-rebls-p (type: Abstract (2 pages)) doi:

Workshop Preview of the 2015 Workshop on Smart Software Strategies: 15 Years after Y2K – Everything Old Is New Again (SMART 2015)
Dennis Mancl, Steven D. Fraser, and Bill Opdyke
(Alcatel-Lucent, USA; Innoxec, USA; JP Morgan Chase, USA)
Article: splashcomp15sum-sumws-smart-p (type: Abstract (2 pages)) doi:

Workshop Summaries

Workshop Summary of the 3rd International Workshop on Programming for Mobile and Touch (PROMOTO 2015)
Steven D. Fraser and Alberto Sillitti
(Innoxec, USA; Center for Applied Software Engineering, Italy; CINI, Italy)
Article: splashcomp15post-postws-promoto-p (type: Abstract (2 pages)) doi:

Workshop Summary of the 2015 Workshop on Smart Software Strategies: 15 Years after Y2K – Everything Old Is New Again (SMART 2015)
Dennis Mancl, Steven D. Fraser, and Bill Opdyke
(Alcatel-Lucent, USA; Innoxec, USA; JP Morgan Chase, USA)
Article: splashcomp15post-postws-smart-p (type: Abstract (2 pages)) doi: