Powered by
2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2019), October 20–25, 2019,
Athens, Greece
Frontmatter
Title Page
Article: splashcomp19foreword-fm000-p doi:
Invited Talks
The Algorithm for Precision Medicine (Invited Talk)
Matthew Might
(University of Alabama at Birmingham, USA)
@InProceedings{SPLASH Companion19p3,
author = {Matthew Might},
title = {The Algorithm for Precision Medicine (Invited Talk)},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3359061.3365208},
year = {2019},
}
Publisher's Version
Article: splashcomp19invited-p2-p doi:10.1145/3359061.3365208
The Software Arts (Invited Talk)
Warren Sack
(University of California at Santa Cruz, USA)
@InProceedings{SPLASH Companion19p7,
author = {Warren Sack},
title = {The Software Arts (Invited Talk)},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3359061.3365210},
year = {2019},
}
Publisher's Version
Article: splashcomp19invited-p4-p doi:10.1145/3359061.3365210
Posters
Component-Based Computation-Energy Modeling for Embedded Systems
Adam Seewald,
Ulrik Pagh Schultz,
Julius Roeder,
Benjamin Rouxel, and
Clemens Grelck
(University of Southern Denmark, Denmark; University of Amsterdam, Netherlands)
@InProceedings{SPLASH Companion19p9,
author = {Adam Seewald and Ulrik Pagh Schultz and Julius Roeder and Benjamin Rouxel and Clemens Grelck},
title = {Component-Based Computation-Energy Modeling for Embedded Systems},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3359061.3362775},
year = {2019},
}
Publisher's Version
Article: splashcomp19posters-p3-p doi:10.1145/3359061.3362775
NAB: Automated Large-Scale Multi-language Dynamic Program Analysis in Public Code Repositories
Alex Villazón,
Haiyang Sun,
Andrea Rosà,
Eduardo Rosales,
Daniele Bonetta,
Isabella Defilippis,
Sergio Oporto, and
Walter Binder
(Universidad Privada Boliviana, Bolivia; USI Lugano, Switzerland; Oracle Labs, USA)
@InProceedings{SPLASH Companion19p13,
author = {Alex Villazón and Haiyang Sun and Andrea Rosà and Eduardo Rosales and Daniele Bonetta and Isabella Defilippis and Sergio Oporto and Walter Binder},
title = {NAB: Automated Large-Scale Multi-language Dynamic Program Analysis in Public Code Repositories},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3359061.3362777},
year = {2019},
}
Publisher's Version
Article: splashcomp19posters-p5-p doi:10.1145/3359061.3362777
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Aleksandar Prokopec,
Andrea Rosà,
David Leopoldseder,
Gilles Duboscq,
Petr Tůma,
Martin Studener,
Lubomír Bulej,
Yudi Zheng,
Alex Villazón,
Doug Simon,
Thomas Würthinger, and
Walter Binder
(Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia)
@InProceedings{SPLASH Companion19p15,
author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder},
title = {Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3359061.3362778},
year = {2019},
}
Publisher's Version
Article: splashcomp19posters-p6-p doi:10.1145/3359061.3362778
Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT
Nafise Eskandani,
Mirko Köhler,
Alessandro Margara, and
Guido Salvaneschi
(TU Darmstadt, Germany; Politecnico di Milano, Italy)
@InProceedings{SPLASH Companion19p17,
author = {Nafise Eskandani and Mirko Köhler and Alessandro Margara and Guido Salvaneschi},
title = {Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3359061.3362779},
year = {2019},
}
Publisher's Version
Article: splashcomp19posters-p7-p doi:10.1145/3359061.3362779
Towards a WebAssembly Standalone Runtime on GraalVM
Salim S. Salim,
Andy Nisbet, and
Mikel Luján
(University of Manchester, UK)
@InProceedings{SPLASH Companion19p19,
author = {Salim S. Salim and Andy Nisbet and Mikel Luján},
title = {Towards a WebAssembly Standalone Runtime on GraalVM},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3359061.3362780},
year = {2019},
}
Publisher's Version
Article: splashcomp19posters-p9-p doi:10.1145/3359061.3362780
MetaDL: Declarative Program Analysis for the Masses
Alexandru Dura and
Hampus Balldin
(Lund University, Sweden)
@InProceedings{SPLASH Companion19p21,
author = {Alexandru Dura and Hampus Balldin},
title = {MetaDL: Declarative Program Analysis for the Masses},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3359061.3362781},
year = {2019},
}
Publisher's Version
Article: splashcomp19posters-p15-p doi:10.1145/3359061.3362781
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications
Daniel A. A. Pelsmaeker,
Hendrik van Antwerpen, and
Eelco Visser
(Delft University of Technology, Netherlands)
@InProceedings{SPLASH Companion19p23,
author = {Daniel A. A. Pelsmaeker and Hendrik van Antwerpen and Eelco Visser},
title = {Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3359061.3362782},
year = {2019},
}
Publisher's Version
Article: splashcomp19posters-p17-p doi:10.1145/3359061.3362782
A Symmetry-Based N-Body Solver Compiler
Shigeyuki Sato
(University of Tokyo, Japan)
@InProceedings{SPLASH Companion19p25,
author = {Shigeyuki Sato},
title = {A Symmetry-Based N-Body Solver Compiler},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3359061.3362783},
year = {2019},
}
Publisher's Version
Article: splashcomp19posters-p18-p doi:10.1145/3359061.3362783
Doctoral Symposium
Improving Performance and Quality of Database-Backed Software
Junwen Yang
(University of Chicago, USA)
@InProceedings{SPLASH Companion19p27,
author = {Junwen Yang},
title = {Improving Performance and Quality of Database-Backed Software},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3359061.3361076},
year = {2019},
}
Publisher's Version
Article: splashcomp19doc-p86-p doi:10.1145/3359061.3361076
Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
Ari Rasch
(University of Münster, Germany)
@InProceedings{SPLASH Companion19p30,
author = {Ari Rasch},
title = {Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {30-29},
doi = {10.1145/3359061.3361072},
year = {2019},
}
Publisher's Version
Article: splashcomp19doc-p35-p doi:10.1145/3359061.3361072
Retaining Semantic Information in the Static Analysis of Real-World Software
Gábor Horváth
(Eötvös Loránd University, Hungary)
@InProceedings{SPLASH Companion19p36,
author = {Gábor Horváth},
title = {Retaining Semantic Information in the Static Analysis of Real-World Software},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {36-35},
doi = {10.1145/3359061.3361075},
year = {2019},
}
Publisher's Version
Article: splashcomp19doc-p76-p doi:10.1145/3359061.3361075
Exploiting Models for Scalable and High Throughput Distributed Software
Tim Soethout
(ING Bank, Netherlands; CWI, Netherlands)
@InProceedings{SPLASH Companion19p39,
author = {Tim Soethout},
title = {Exploiting Models for Scalable and High Throughput Distributed Software},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {39-38},
doi = {10.1145/3359061.3361073},
year = {2019},
}
Publisher's Version
Article: splashcomp19doc-p61-p doi:10.1145/3359061.3361073
Debugging Support for Multi-paradigm Concurrent Programs
Dominik Aumayr
(JKU Linz, Austria)
@InProceedings{SPLASH Companion19p42,
author = {Dominik Aumayr},
title = {Debugging Support for Multi-paradigm Concurrent Programs},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {42-41},
doi = {10.1145/3359061.3361074},
year = {2019},
}
Publisher's Version
Article: splashcomp19doc-p62-p doi:10.1145/3359061.3361074
Student Research Competition
Is Mutation Score a Fair Metric?
Beatriz Souza
(Federal University of Campina Grande, Brazil)
@InProceedings{SPLASH Companion19p45,
author = {Beatriz Souza},
title = {Is Mutation Score a Fair Metric?},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3359061.3361084},
year = {2019},
}
Publisher's Version
Article: splashcomp19src-p68-p doi:10.1145/3359061.3361084
Designing Immersive Virtual Training Environments for Experiential Learning
Kalliopi-Evangelia Stavroulia
(Cyprus University of Technology, Cyprus)
@InProceedings{SPLASH Companion19p49,
author = {Kalliopi-Evangelia Stavroulia},
title = {Designing Immersive Virtual Training Environments for Experiential Learning},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3359061.3361081},
year = {2019},
}
Publisher's Version
Article: splashcomp19src-p24-p doi:10.1145/3359061.3361081
Linear Capabilities for CHERI: An Exploration of the Design Space
Aaron Lippeveldts
(Vrije Universiteit Brussel, Belgium)
@InProceedings{SPLASH Companion19p53,
author = {Aaron Lippeveldts},
title = {Linear Capabilities for CHERI: An Exploration of the Design Space},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3359061.3361083},
year = {2019},
}
Publisher's Version
Article: splashcomp19src-p50-p doi:10.1145/3359061.3361083
Gradual Program Analysis
Samuel Estep
(Liberty University, USA)
@InProceedings{SPLASH Companion19p61,
author = {Samuel Estep},
title = {Gradual Program Analysis},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3359061.3361082},
year = {2019},
}
Publisher's Version
Article: splashcomp19src-p45-p doi:10.1145/3359061.3361082
Incremental Scannerless Generalized LR Parsing
Maarten P. Sijm
(Delft University of Technology, Netherlands)
@InProceedings{SPLASH Companion19p65,
author = {Maarten P. Sijm},
title = {Incremental Scannerless Generalized LR Parsing},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3359061.3361085},
year = {2019},
}
Publisher's Version
Article: splashcomp19src-p100-p doi:10.1145/3359061.3361085
Workshop Summary
Summary of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM 2019)
Jeff Gray,
Matti Rossi,
Jonathan Sprinkle, and
Juha-Pekka Tolvanen
(University of Alabama, USA; Aalto University School of Business, Finland; University of Arizona, USA; MetaCase, Finland)
@InProceedings{SPLASH Companion19p69,
author = {Jeff Gray and Matti Rossi and Jonathan Sprinkle and Juha-Pekka Tolvanen},
title = {Summary of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM 2019)},
booktitle = {Proc.\ SPLASH Companion},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3359061.3362785},
year = {2019},
}
Publisher's Version
Article: splashcomp19workshops-p2-p doi:10.1145/3359061.3362785
proc time: 0.04