Mon 5 Nov 2018 17:38 - 17:39 at Terrace - Poster
Wed 7 Nov 2018 19:24 - 19:26 at Georgian - Poster & SRC

This tool paper presents the design and implementation of Messir, a domain-specific textual language supported by our open-source UML requirements engineering tool, named Excalibur. The novelty of our approach is a textual DSL requirements specification allowing flexible and precise UML-based specifications.

Generative approaches benefit from the last decades of tools support development like the Eclipse workbench, and its extensible plugins architecture. In our context, we use the two well-established eclipse plugins: XText to generate the textual editor for Messir, and Sirius to display graphical representations of the textual specification.

We designed our Messir language, with a grammar-based approach generating a textual editor, using XText eclipse plugins. The static semantics is a set of validation rules guiding end-users through the requirements analysis phase. The semantics of our messir DSL is semi-automatic as a translation to prolog code. We also generate, from the requirements model elements, read-only graphical views (using the Sirius eclipse plugin) as well as a complete requirements analysis document in \LaTeX.

Excalibur is the eclipse-based workbench supporting the Messir DSL presented in this paper, allowing to write textually UML specifications, and handle the generated views, as well as the prolog and \LaTeX code.

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

17:30 - 19:30
PosterPosters at Terrace
17:30
1m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
17:31
1m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark Santolucito Yale University, USA, A: Drew Goldman Roslyn High School, A: Allyson Weseley Roslyn High School, A: Ruzica Piskac Yale University, USA
Link to publication
17:33
1m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael Coblenz Carnegie Mellon University, A: Jonathan Aldrich Carnegie Mellon University, A: Brad A. Myers Carnegie Mellon University, A: Joshua Sunshine Carnegie Mellon University
17:34
1m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
Link to publication
17:36
1m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush Desai University of California, Berkeley, A: Amar Phanishayee Microsoft Research, A: Shaz Qadeer Microsoft Research, A: Sanjit Seshia UC Berkeley
Link to publication
17:38
1m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît Ries University of Luxembourg, A: Alfredo Capozucca University of Luxembourg, A: Nicolas Guelfi University of Luxembourg
Link to publication
17:39
1m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba Alimadadi Northeastern University, A: Di Zhong Northeastern University, USA, A: Magnus Madsen Aarhus University, A: Frank Tip Northeastern University
Link to publication
17:41
1m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija Selakovic TU Darmstadt, Germany, A: Michael Pradel TU Darmstadt, A: Rezwana Karim Nawrin Samsung Research America, A: Frank Tip Northeastern University
Link to publication
17:43
1m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong Wang University of Washington, USA, A: Alvin Cheung University of Washington, A: Rastislav Bodík University of Washington
Link to publication
17:44
1m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueen University of Alberta, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
17:46
1m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff Cho University of Alberta, A: Mark Mroz University of Ottawa, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
Link to publication
17:48
1m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson Mizutani University of São Paulo
Link to publication
17:49
1m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna Zeng Stanford University, A: Will Crichton Stanford University
Link to publication
17:51
1m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha Bhushan Chitkara University, Punjab, India, A: Shivani Goel , Arun Negi Ministry of Defence, Government of India, India, Piyush Samant Thapar Institute of Engineering, Patiala, Punjab, India
17:53
1m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem Swalens Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium
Link to publication Pre-print
17:54
1m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A: Michael Nieke TU Braunschweig, Germany, A: Christoph Seidl Technische Universität Braunschweig, A: Jacopo Mauro University of Southern Denmark, A: Thomas Thüm University of Ulm, A: Ingrid Chieh Yu University of Oslo, A: Felix Franzke TU Braunschweig
Link to publication
17:56
1m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
17:57
1m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok Jeon Korea University, South Korea, A: Sehun Jeong Korea University, A: Hakjoo Oh Korea University
Link to publication
17:59
1m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng Huang Princeton University, A: Margaret Martonosi
Link to publication
18:01
1m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A: Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, A: Michael J. Steindorfer Delft University of Technology, A: Sebastian Erdweg TU Delft, A: Eelco Visser Delft University of Technology
Link to publication
18:02
1m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham Kaki Purdue University, A: Kapil Earanky Purdue University, A: KC Sivaramakrishnan University of Cambridge, A: Suresh Jagannathan Purdue University
Link to publication
18:04
1m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho Lee Korea University, A: Dowon Song Korea University, A: Sunbeom So Korea University, A: Hakjoo Oh Korea University
Link to publication
18:06
1m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin Zhao KTH Royal Institute of Technology, A: Philipp Haller KTH, Sweden
Link to publication
18:07
1m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A: Juneyoung Lee Seoul National University, A: Chung-Kil Hur Seoul National University, A: Ralf Jung MPI-SWS, A: Zhengyang Liu University of Utah, A: John Regehr University of Utah, A: Nuno P. Lopes Microsoft Research
Link to publication
18:09
1m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A: Adilla Susungi MINES ParisTech, France, A: Norman A. Rink TU Dresden, Germany, A: Albert Cohen Google, A: Jeronimo Castrillon TU Dresden, Germany, A: Claude Tadonki MINES ParisTech, France
Link to publication
18:11
1m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
A: James Koppel MIT, A: Varot Premtoon MIT, A: Armando Solar-Lezama MIT CSAIL
Link to publication
18:12
1m
Poster
Scaling the REPL Experience
Posters
A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu
Link to publication
18:14
1m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina Wickert TU Darmstadt
Link to publication
18:16
1m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A: Larissa Soares Universidade Federal da Bahia, A: Jens Meinicke Magdeburg University, A: Sarah Nadi University of Alberta, A: Christian Kästner Carnegie Mellon University, A: Eduardo Santana de Almeida Universidade Federal da Bahia
Link to publication
18:17
1m
Poster
GraphIt - A High-Performance Graph DSL
Posters
A: Yunming Zhang , A: Mengjiao Yang MIT CSAIL, A: Riyadh Baghdadi MIT, A: Shoaib Kamil Adobe, A: Julian Shun MIT, A: Saman Amarasinghe MIT
Link to publication
18:19
1m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki Sato Kochi University of Technology
18:20
1m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram Kalhauge University of California, Los Angeles, A: Jens Palsberg University of California, Los Angeles
Link to publication
18:22
1m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu , A: Fei He Tsinghua University
Link to publication
18:24
1m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol Bielik ETH Zürich, A: Marc Fischer ETH Zurich, A: Martin Vechev ETH Zürich
Link to publication
18:25
1m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A: Benoit Daloze JKU Linz, Austria, A: Arie Tal Technion, A: Stefan Marr University of Kent, A: Hanspeter Mössenböck JKU Linz, Austria, A: Erez Petrank Technion
Link to publication
18:27
1m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin Liu Virginia Tech, A: Kijin An Virginia Tech, A: Eli Tilevich Virginia Tech
Link to publication
18:29
1m
Poster
Scopes as Types
Posters
A: Hendrik van Antwerpen TU Delft, A: Casper Bach Poulsen Delft University of Technology, A: Arjen Rouvoet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:30
1m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
18:32
1m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha Drechsler Technische Universität Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Guido Salvaneschi TU Darmstadt, A: Mira Mezini TU Darmstadt
Link to publication
18:34
1m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip Strömbäck Linköping University
Link to publication
18:35
1m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith , A: Craig Anslow Victoria University of Wellington, A: Michael Homer Victoria University of Wellington
18:37
1m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper Denkers TU Delft, A: Louis van Gool Océ Technologies B.V., A: Eelco Visser Delft University of Technology
Link to publication
18:39
1m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick Ochoa University of Alberta, A: Andrew Craik IBM Canada, A: Jose Nelson Amaral University of Alberta, A: Karim Ali University of Alberta
18:40
1m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A: Matthew Do Computer Science, University of British Columbia, A: Renato Mascarenhas Computer Science, University of British Columbia, A: Finn Hacket Computer Science, University of Waterloo, A: Brandon Zhang Computer Science, University of British Columbia, A: Yi Fan (Bob) Yang Facebook, A: Adam Geller Computer Science, University of British Columbia, A: Ivan Beschastnikh Computer Science, University of British Columbia
18:42
1m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao Ou University of California, Irvine, A: Brian Demsky University of California, Irvine
Link to publication
18:43
1m
Poster
Incremental compilation for Stratego
Posters
A: Jeff Smits Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:45
1m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan Fumero The University of Manchester, A: Christos Kotselidis The University of Manchester
Link to publication
18:47
1m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon Cohen EPFL, Switzerland, A: David T. Aksun EPFL, A: James Larus EPFL
Link to publication
18:48
1m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan Wong Carnegie Mellon University, A: Jens Meinicke Magdeburg University, A: Lukas Lazarek , A: Christian Kästner Carnegie Mellon University
Link to publication
18:50
1m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel Maarek Heriot-Watt University
Link to publication
18:52
1m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A: Laurent Christophe VUB, A: Coen De Roover Vrije Universiteit Brussel, A: Elisa Gonzalez Boix Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
18:53
1m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchen MIT, A: Shachar Itzhaky Technion, Israel, A: Daniel Jackson MIT, A: Willow Jarvis MIT
Link to publication
18:55
1m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi Vedurada IIT Madras, A: V Krishna Nandivada IIT Madras
Link to publication
18:57
1m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
18:58
1m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas Stucki EPFL, Switzerland, A: Aggelos Biboudis EPFL, Switzerland, A: Martin Odersky EPFL, Switzerland
Link to publication
19:00
1m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue Li Aarhus University, Denmark, A: Tian Tan Aarhus University, Denmark, A: Anders Møller Aarhus University, A: Yannis Smaragdakis University of Athens
Link to publication
19:02
1m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs Saey Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:03
1m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. Peled Technion—Israel Institute of Technology
19:05
1m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel Leduc IRISA, University of Rennes 1, A: Thomas Degueule Centrum Wiskunde & Informatica, A: Benoit Combemale University of Rennes 1
Link to publication
19:06
1m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A: Ragnar Mogk Technische Universität Darmstadt, A: Pascal Weisenburger Technische Universität Darmstadt, A: Julian Haas Technische Universität Darmstadt, A: David Richter Technical University of Darmstadt
Link to publication
19:08
1m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A: Kalev Alpernas Tel Aviv University, A: Cormac Flanagan University of California, Santa Cruz, A: Sadjad Fouladi Stanford University, A: Leonid Ryzhyk VMware Research, A: Mooly Sagiv Tel Aviv University, A: Thomas Schmitz , A: Keith Winstein Stanford University
Link to publication
19:10
1m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse Zaman Vrije Universiteit Brussel, A: Kennedy Kambona Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:11
1m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan Li Penn State University, A: Danfeng Zhang Pennsylvania State University
Link to publication
19:13
1m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal Weisenburger Technische Universität Darmstadt, A: Mirko Köhler , A: Guido Salvaneschi TU Darmstadt
Link to publication
19:15
1m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A: Zhangxiaowen Gong University of Illinois at Urbana-Champaign, A: Zhi Chen University of California, Irvine, A: Justin Szaday University of Illinois at Urbana-Champaign, A: David Wong Intel, A: Zehra Sura IBM Research, A: Neftali Watkinson , A: Saeed Maleki Microsoft Research, A: David Padua University of Illinois at Urbana-Champaign, A: Alexander Veidenbaum University of California, Irvine, A: Alexandru Nicolau University of California, Irvine, A: Josep Torrellas University of Illinois at Urbana-Champaign
Link to publication
19:16
1m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen Xie Nagoya University
19:18
1m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri Rama Infosys Limited, A: Raghavan Komondoor Indian Institute of Science, Bangalore, A: Himanshu Sharma Indian Institute of Science, Bangalore
Link to publication
19:20
1m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A: Jácome Cunha University of Minho, A: Mihai Dan Oregon State University, A: Martin Erwig Oregon State University, A: Danila Fedorin Oregon State University, A: Alex Grejuc Oregon State University
Link to publication
19:21
1m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A: Johannes Mey Technische Universität Dresden, A: René Schöne Technische Universität Dresden, A: Görel Hedin , A: Emma Söderberg Lund University, A: Thomas Kühn Technische Universität Dresden, A: Niklas Fors Lund University, A: Jesper Oqvist Lund University, A: Uwe Aßmann TU Dresden, Germany
Link to publication Pre-print
19:23
1m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan Bell George Mason University, A: Luís Pina George Mason University
19:25
1m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael Pradel TU Darmstadt, A: Koushik Sen University of California, Berkeley
Link to publication
19:26
1m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga , Shigeru Chiba The University of Tokyo
19:28
1m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco Harkes Delft University of Technology, A: Elmer van Chastelet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

18:00 - 20:30
Poster & SRCPosters at Georgian
18:00
2m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan Wong Carnegie Mellon University, A: Jens Meinicke Magdeburg University, A: Lukas Lazarek , A: Christian Kästner Carnegie Mellon University
Link to publication
18:02
2m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick Ochoa University of Alberta, A: Andrew Craik IBM Canada, A: Jose Nelson Amaral University of Alberta, A: Karim Ali University of Alberta
18:04
2m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael Pradel TU Darmstadt, A: Koushik Sen University of California, Berkeley
Link to publication
18:06
2m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A: Johannes Mey Technische Universität Dresden, A: René Schöne Technische Universität Dresden, A: Görel Hedin , A: Emma Söderberg Lund University, A: Thomas Kühn Technische Universität Dresden, A: Niklas Fors Lund University, A: Jesper Oqvist Lund University, A: Uwe Aßmann TU Dresden, Germany
Link to publication Pre-print
18:08
2m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel Leduc IRISA, University of Rennes 1, A: Thomas Degueule Centrum Wiskunde & Informatica, A: Benoit Combemale University of Rennes 1
Link to publication
18:10
2m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
18:12
2m
Poster
Scopes as Types
Posters
A: Hendrik van Antwerpen TU Delft, A: Casper Bach Poulsen Delft University of Technology, A: Arjen Rouvoet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:14
2m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush Desai University of California, Berkeley, A: Amar Phanishayee Microsoft Research, A: Shaz Qadeer Microsoft Research, A: Sanjit Seshia UC Berkeley
Link to publication
18:16
2m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueen University of Alberta, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
18:18
2m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok Jeon Korea University, South Korea, A: Sehun Jeong Korea University, A: Hakjoo Oh Korea University
Link to publication
18:20
2m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan Bell George Mason University, A: Luís Pina George Mason University
18:22
2m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong Wang University of Washington, USA, A: Alvin Cheung University of Washington, A: Rastislav Bodík University of Washington
Link to publication
18:24
2m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao Ou University of California, Irvine, A: Brian Demsky University of California, Irvine
Link to publication
18:26
2m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A: Larissa Soares Universidade Federal da Bahia, A: Jens Meinicke Magdeburg University, A: Sarah Nadi University of Alberta, A: Christian Kästner Carnegie Mellon University, A: Eduardo Santana de Almeida Universidade Federal da Bahia
Link to publication
18:28
2m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael Coblenz Carnegie Mellon University, A: Jonathan Aldrich Carnegie Mellon University, A: Brad A. Myers Carnegie Mellon University, A: Joshua Sunshine Carnegie Mellon University
18:30
2m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga , Shigeru Chiba The University of Tokyo
18:32
2m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A: Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, A: Michael J. Steindorfer Delft University of Technology, A: Sebastian Erdweg TU Delft, A: Eelco Visser Delft University of Technology
Link to publication
18:34
2m
Poster
Incremental compilation for Stratego
Posters
A: Jeff Smits Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:36
2m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper Denkers TU Delft, A: Louis van Gool Océ Technologies B.V., A: Eelco Visser Delft University of Technology
Link to publication
18:39
2m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A: Juneyoung Lee Seoul National University, A: Chung-Kil Hur Seoul National University, A: Ralf Jung MPI-SWS, A: Zhengyang Liu University of Utah, A: John Regehr University of Utah, A: Nuno P. Lopes Microsoft Research
Link to publication
18:41
2m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna Zeng Stanford University, A: Will Crichton Stanford University
Link to publication
18:43
2m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem Swalens Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium
Link to publication Pre-print
18:45
2m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff Cho University of Alberta, A: Mark Mroz University of Ottawa, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
Link to publication
18:47
2m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco Harkes Delft University of Technology, A: Elmer van Chastelet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:49
2m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith , A: Craig Anslow Victoria University of Wellington, A: Michael Homer Victoria University of Wellington
18:51
2m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha Bhushan Chitkara University, Punjab, India, A: Shivani Goel , Arun Negi Ministry of Defence, Government of India, India, Piyush Samant Thapar Institute of Engineering, Patiala, Punjab, India
18:53
2m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip Strömbäck Linköping University
Link to publication
18:55
2m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchen MIT, A: Shachar Itzhaky Technion, Israel, A: Daniel Jackson MIT, A: Willow Jarvis MIT
Link to publication
18:57
2m
Poster
Scaling the REPL Experience
Posters
A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu
Link to publication
18:59
2m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram Kalhauge University of California, Los Angeles, A: Jens Palsberg University of California, Los Angeles
Link to publication
19:01
2m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal Weisenburger Technische Universität Darmstadt, A: Mirko Köhler , A: Guido Salvaneschi TU Darmstadt
Link to publication
19:03
2m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham Kaki Purdue University, A: Kapil Earanky Purdue University, A: KC Sivaramakrishnan University of Cambridge, A: Suresh Jagannathan Purdue University
Link to publication
19:05
2m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi Vedurada IIT Madras, A: V Krishna Nandivada IIT Madras
Link to publication
19:07
2m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
19:09
2m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri Rama Infosys Limited, A: Raghavan Komondoor Indian Institute of Science, Bangalore, A: Himanshu Sharma Indian Institute of Science, Bangalore
Link to publication
19:11
2m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson Mizutani University of São Paulo
Link to publication
19:13
2m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba Alimadadi Northeastern University, A: Di Zhong Northeastern University, USA, A: Magnus Madsen Aarhus University, A: Frank Tip Northeastern University
Link to publication
19:16
2m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark Santolucito Yale University, USA, A: Drew Goldman Roslyn High School, A: Allyson Weseley Roslyn High School, A: Ruzica Piskac Yale University, USA
Link to publication
19:18
2m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A: Benoit Daloze JKU Linz, Austria, A: Arie Tal Technion, A: Stefan Marr University of Kent, A: Hanspeter Mössenböck JKU Linz, Austria, A: Erez Petrank Technion
Link to publication
19:20
2m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki Sato Kochi University of Technology
19:22
2m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas Stucki EPFL, Switzerland, A: Aggelos Biboudis EPFL, Switzerland, A: Martin Odersky EPFL, Switzerland
Link to publication
19:24
2m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît Ries University of Luxembourg, A: Alfredo Capozucca University of Luxembourg, A: Nicolas Guelfi University of Luxembourg
Link to publication
19:26
2m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
A: James Koppel MIT, A: Varot Premtoon MIT, A: Armando Solar-Lezama MIT CSAIL
Link to publication
19:28
2m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A: Michael Nieke TU Braunschweig, Germany, A: Christoph Seidl Technische Universität Braunschweig, A: Jacopo Mauro University of Southern Denmark, A: Thomas Thüm University of Ulm, A: Ingrid Chieh Yu University of Oslo, A: Felix Franzke TU Braunschweig
Link to publication
19:30
2m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin Liu Virginia Tech, A: Kijin An Virginia Tech, A: Eli Tilevich Virginia Tech
Link to publication
19:32
2m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A: Adilla Susungi MINES ParisTech, France, A: Norman A. Rink TU Dresden, Germany, A: Albert Cohen Google, A: Jeronimo Castrillon TU Dresden, Germany, A: Claude Tadonki MINES ParisTech, France
Link to publication
19:34
2m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho Lee Korea University, A: Dowon Song Korea University, A: Sunbeom So Korea University, A: Hakjoo Oh Korea University
Link to publication
19:36
2m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol Bielik ETH Zürich, A: Marc Fischer ETH Zurich, A: Martin Vechev ETH Zürich
Link to publication
19:38
2m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan Li Penn State University, A: Danfeng Zhang Pennsylvania State University
Link to publication
19:40
2m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A: Zhangxiaowen Gong University of Illinois at Urbana-Champaign, A: Zhi Chen University of California, Irvine, A: Justin Szaday University of Illinois at Urbana-Champaign, A: David Wong Intel, A: Zehra Sura IBM Research, A: Neftali Watkinson , A: Saeed Maleki Microsoft Research, A: David Padua University of Illinois at Urbana-Champaign, A: Alexander Veidenbaum University of California, Irvine, A: Alexandru Nicolau University of California, Irvine, A: Josep Torrellas University of Illinois at Urbana-Champaign
Link to publication
19:42
2m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. Peled Technion—Israel Institute of Technology
19:44
2m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija Selakovic TU Darmstadt, Germany, A: Michael Pradel TU Darmstadt, A: Rezwana Karim Nawrin Samsung Research America, A: Frank Tip Northeastern University
Link to publication
19:46
2m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan Fumero The University of Manchester, A: Christos Kotselidis The University of Manchester
Link to publication
19:48
2m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse Zaman Vrije Universiteit Brussel, A: Kennedy Kambona Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:50
2m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A: Jácome Cunha University of Minho, A: Mihai Dan Oregon State University, A: Martin Erwig Oregon State University, A: Danila Fedorin Oregon State University, A: Alex Grejuc Oregon State University
Link to publication
19:53
2m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs Saey Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:55
2m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha Drechsler Technische Universität Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Guido Salvaneschi TU Darmstadt, A: Mira Mezini TU Darmstadt
Link to publication
19:57
2m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina Wickert TU Darmstadt
Link to publication
19:59
2m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin Zhao KTH Royal Institute of Technology, A: Philipp Haller KTH, Sweden
Link to publication
20:01
2m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu , A: Fei He Tsinghua University
Link to publication
20:03
2m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel Maarek Heriot-Watt University
Link to publication
20:05
2m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A: Kalev Alpernas Tel Aviv University, A: Cormac Flanagan University of California, Santa Cruz, A: Sadjad Fouladi Stanford University, A: Leonid Ryzhyk VMware Research, A: Mooly Sagiv Tel Aviv University, A: Thomas Schmitz , A: Keith Winstein Stanford University
Link to publication
20:07
2m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
20:09
2m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A: Matthew Do Computer Science, University of British Columbia, A: Renato Mascarenhas Computer Science, University of British Columbia, A: Finn Hacket Computer Science, University of Waterloo, A: Brandon Zhang Computer Science, University of British Columbia, A: Yi Fan (Bob) Yang Facebook, A: Adam Geller Computer Science, University of British Columbia, A: Ivan Beschastnikh Computer Science, University of British Columbia
20:11
2m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A: Ragnar Mogk Technische Universität Darmstadt, A: Pascal Weisenburger Technische Universität Darmstadt, A: Julian Haas Technische Universität Darmstadt, A: David Richter Technical University of Darmstadt
Link to publication
20:13
2m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
20:15
2m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon Cohen EPFL, Switzerland, A: David T. Aksun EPFL, A: James Larus EPFL
Link to publication
20:17
2m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen Xie Nagoya University
20:19
2m
Poster
GraphIt - A High-Performance Graph DSL
Posters
A: Yunming Zhang , A: Mengjiao Yang MIT CSAIL, A: Riyadh Baghdadi MIT, A: Shoaib Kamil Adobe, A: Julian Shun MIT, A: Saman Amarasinghe MIT
Link to publication
20:21
2m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue Li Aarhus University, Denmark, A: Tian Tan Aarhus University, Denmark, A: Anders Møller Aarhus University, A: Yannis Smaragdakis University of Athens
Link to publication
20:23
2m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng Huang Princeton University, A: Margaret Martonosi
Link to publication
20:25
2m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
Link to publication
20:27
2m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A: Laurent Christophe VUB, A: Coen De Roover Vrije Universiteit Brussel, A: Elisa Gonzalez Boix Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication