VenueSheraton Station Square Hotel
Room nameGrand Station 2
Floor1
Room Information

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Language Development and EvaluationSLE at Grand Station 2
Chair(s): Davide Di RuscioUniversity of L'Aquila
10:30
10m
Day opening
Opening
SLE
Davide Di RuscioUniversity of L'Aquila, Markus Völteritemis, Germany
10:40
30m
Talk
On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
SLE
Salome MaroChalmers University of Technology, Sweden, Jan-Philipp SteghöferChalmers University of Technology, Sweden, Anthony AnjorinChalmers University of Technology, Sweden, Matthias TichyUniversity of Ulm, Germany, Lars GelinEricsson, Sweden
DOI
11:10
30m
Talk
An Empirical Study on Simplification of Business Process Modeling Languages
SLE
Eric UmuhozaPolitecnico di Milano, Italy, Marco BrambillaPolitecnico di Milano, Italy, Davide RipamontiPolitecnico di Milano, Italy, Jordi CabotICREA, Spain
DOI Media Attached
11:40
20m
Talk
Melange: A Meta-language for Modular and Reusable Development of DSLs
SLE
Thomas DegueuleINRIA, France, Benoit CombemaleINRIA, France, Arnaud BlouinINSA Rennes, France, Olivier BaraisUniversity of Rennes 1, France, Jean-Marc JézéquelUniversity of Rennes 1, France
DOI
13:30 - 15:00
Model and Program TransformationSLE at Grand Station 2
Chair(s): Tijs van der StormCWI
13:30
30m
Talk
Distributed Model-to-Model Transformation with ATL on MapReduce
SLE
DOI
14:00
30m
Talk
Managing Uncertainty in Bidirectional Model Transformations
SLE
Romina EramoUniversity of L'Aquila, Italy, Alfonso PierantonioUniversity of L'Aquila, Italy, Gianni RosaUniversity of L'Aquila, Italy
DOI
14:30
30m
Talk
Modular Capture Avoidance for Program Transformations
SLE
Nico RitschelTU Darmstadt, Germany, Sebastian ErdwegTU Darmstadt, Germany
Link to publication DOI
15:30 - 17:00
Tools ISLE at Grand Station 2
Chair(s): David J. PearceVictoria University of Wellington
15:30
30m
Talk
XMLText: From XML Schema to Xtext
SLE
Patrick NeubauerVienna University of Technology, Austria, Alexander BergmayrVienna University of Technology, Austria, Tanja MayerhoferVienna University of Technology, Austria, Javier TroyaVienna University of Technology, Austria, Manuel WimmerVienna University of Technology, Austria
DOI
16:00
30m
Talk
Designing Languages using Lightning
SLE
Loïc GammaitoniUniversity of Luxembourg, Luxembourg, Pierre KelsenUniversity of Luxembourg, Luxembourg, Christian GlodtUniversity of Luxembourg, Luxembourg
DOI
16:30
30m
Talk
Analysis and Transformation with the Nuthatch Tree-Walking Library
SLE
Anya Helene BaggeUniversity of Bergen, Norway
DOI

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Formal Modeling and Language ValidationSLE at Grand Station 2
Chair(s): Marco BrambillaPolitecnico di Milano, Italy
10:30
30m
Talk
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
SLE
Christoff BürgerLund University, Sweden
DOI
11:00
30m
Talk
Example-Based Validation of Domain-Specific Visual Languages
SLE
Jesús J. López-FernándezAutonomous University of Madrid, Spain, Esther GuerraAutonomous University of Madrid, Spain, Juan de LaraAutonomous University of Madrid, Spain
DOI
11:30
30m
Talk
A Combined Formal Model for Relational Context-Dependent Roles
SLE
Thomas KühnTU Dresden, Germany, Stephan BöhmeTU Dresden, Germany, Sebastian GötzTU Dresden, Germany, Uwe AßmannTU Dresden, Germany
DOI
13:30 - 15:00
Model Execution and VerificationSLE at Grand Station 2
Chair(s): Davide Di RuscioUniversity of L'Aquila
13:30
30m
Talk
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
Florent LatombeUniversity of Toulouse, France, Xavier CrégutUniversity of Toulouse, France, Benoit CombemaleINRIA, France, Julien DeAntoni, Marc PantelUniversity of Toulouse, France
DOI Pre-print Media Attached File Attached
14:00
30m
Talk
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Erwan BousseIRISA, France, Jonathan CorleyUniversity of Alabama, USA, Benoit CombemaleINRIA, France, Jeff GrayUniversity of Alabama, USA, Benoit BaudryINRIA, France
Link to publication DOI File Attached
14:30
30m
Talk
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
Lina OchoaUniversity of Los Andes, Colombia, Oscar González-RojasUniversity of Los Andes, Colombia, Thomas ThümTU Braunschweig, Germany
DOI
15:30 - 17:00
Tools II and ClosingSLE at Grand Station 2
Chair(s): Anya Helene BaggeUniversity of Bergen, Norway
15:30
30m
Talk
The Whiley Rewrite Language (WyRL)
SLE
David J. PearceVictoria University of Wellington
DOI
16:00
30m
Talk
Parsing Expression Grammars Made Practical
SLE
Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium
DOI Pre-print
16:30
30m
Day closing
Closing
SLE

Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00
2. Domain Specific LanguagesOOPSLA at Grand Station 2
Chair(s): Eelco VisserDelft University of Technology
10:30
22m
Talk
Synthesis of Layout Engines from Relational Constraints
OOPSLA
Thibaud HottelierGraphistry, Inc, Rastislav BodikUniversity of Washington, USA
Link to publication Media Attached
10:52
22m
Talk
A Sound and Optimal Incremental Build System with Dynamic DependenciesOOPSLA Artifact
OOPSLA
Sebastian ErdwegTU Darmstadt, Germany, Moritz LichterTU Darmstadt, Germany, Manuel WeielTU Darmstadt, Germany
Link to publication Media Attached
11:15
22m
Talk
FlashMeta: A Framework for Inductive Program Synthesis
OOPSLA
Alex PolozovUniversity of Washington, USA, Sumit GulwaniMicrosoft Research, USA
Link to publication DOI Media Attached
11:37
22m
Talk
Scrap your Boilerplate with Object AlgebrasOOPSLA Artifact
OOPSLA
Haoyuan ZhangUniversity of Hong Kong, China, Zewei ChuUniversity of Hong Kong, China, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tijs van der StormCWI
Link to publication Media Attached
13:30 - 15:00
Session the FirstOnward! Papers at Grand Station 2
Chair(s): Stéphane DucasseINRIA, France
13:30
22m
Talk
Towards Secure Integration of Cryptographic Software
Onward! Papers
Steven ArztTU Darmstadt, Sarah NadiTechnische Universität Darmstadt, Karim AliTU Darmstadt, Sebastian ErdwegTU Darmstadt, Germany, Eric BoddenFraunhofer SIT and TU Darmstadt, Mira MeziniTU Darmstadt
Link to publication DOI Media Attached
13:52
22m
Talk
Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Onward! Papers
Jürgen CitoUniversity of Zurich, Philipp LeitnerUniversity of Zurich, Harald GallUniversity of Zurich, Aryan DadashiSAP, Anne KellerSAP, Andreas RothSAP
Pre-print Media Attached
14:15
22m
Talk
Constraints as a Design Pattern
Onward! Papers
Hesam SamimiSAP Labs, Alessandro WarthSAP Labs, Mahdi EslamimehrSAP Labs, Alan BorningUniversity of Washington, USA
14:37
22m
Talk
The Moldable Inspector
Onward! Papers
Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland, Aliaksei SyrelUniversity of Bern, Switzerland
DOI Pre-print Media Attached
15:30 - 17:00
Session 1Onward! Essays at Grand Station 2
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
15:30
45m
Talk
Against a Universal Definition of Type
Onward! Essays
Tomas PetricekUniversity of Cambridge, UK
DOI Media Attached
16:15
45m
Talk
The Cuban Software Revolution: 2016–2025
Onward! Essays
David M. WestTranscendence, USA
DOI
19:30 - 21:30
Richard's Pretty Good TalksRPG at Grand Station 2
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
19:30
60m
Meeting
Programming as Writing (and vice versa?)
RPG
Crista LopesUniversity of California, Irvine, Annette VeeUniversity of Pittsburgh
20:30
60m
Meeting
Singing the Blues / What is a Song?
RPG

Thu 29 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00
6. Compilation and ToolsOOPSLA at Grand Station 2
Chair(s): Gorel HedinLund University
10:30
22m
Talk
Declarative Fence InsertionOOPSLA Artifact
OOPSLA
John BenderUniversity of California at Los Angeles, USA, Mohsen LesaniMIT, Jens PalsbergUniversity of California at Los Angeles, USA
Link to publication
10:52
22m
Talk
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
OOPSLA
Vu LeUniversity of California at Davis, USA, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California at Davis, USA
DOI
11:15
22m
Talk
Vectorization of Apply to Reduce Interpretation Overhead of ROOPSLA Artifact
OOPSLA
Haichuan WangUniversity of Illinois at Urbana-Champaign, David PaduaUniversity of Illinois at Urbana-Champaign, Peng WuHuawei America Lab
DOI
11:37
22m
Talk
Synthesizing Java Expressions from Free-Form Queries
OOPSLA
Tihomir GveroEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
Link to publication

Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00
10. Empirical Studies & ApproximationOOPSLA at Grand Station 2
Chair(s): John FieldGoogle
10:30
22m
Talk
Using C Language Extensions for Developing Embedded Software: A Case Study
OOPSLA
Markus Völteritemis, Germany, Arie van DeursenDelft University of Technology, Netherlands, Bernd Kolbitemis AG, Stephan Eberleitemis AG
DOI Pre-print Media Attached
10:52
22m
Talk
How Scale Affects Structure in Java ProgramsOOPSLA Artifact
OOPSLA
Crista LopesUniversity of California, Irvine, Joel OssherUniversity of California, Irvine
DOI Pre-print Media Attached File Attached
11:15
22m
Talk
Use at Your Own Risk: The Java Unsafe API in the WildOOPSLA Artifact
OOPSLA
Luis MastrangeloUniversity of Lugano, Switzerland, Luca PonzanelliUniversity of Lugano, Switzerland, Andrea MocciUniversity of Lugano, Switzerland, Michele LanzaUniversity of Lugano, Switzerland, Matthias HauswirthUniversity of Lugano, Switzerland, Nate NystromUniversity of Lugano, Switzerland
DOI Media Attached
11:37
22m
Talk
Approximate Computation with Outlier Detection in TopazOOPSLA Artifact
OOPSLA
Sara AchourMassachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, USA
DOI Media Attached
15:30 - 17:00
Session the FourthOnward! Papers at Grand Station 2
Chair(s): Gail MurphyUniversity of British Columbia
15:30
22m
Talk
Columnar Objects: Improving the Performance of Analytical Applications
Onward! Papers
Toni MattisHasso Plattner Institute, Johannes HenningHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Malte AppeltauerSAP, Robert HirschfeldHPI
DOI Media Attached
15:52
22m
Talk
Virtualization Support for Dynamic Core Library Update
Onward! Papers
Guillermo PolitoInria, Stéphane DucasseINRIA, France, Noury BouraqadiMines Douai, Luc FabresseMines Douai, Max MattoneInria - Mines Douai
Media Attached
16:15
22m
Talk
Towards a dynamic object model within Unix processes
Onward! Papers
Stephen KellUniversity of Cambridge
Link to publication Pre-print Media Attached
16:37
22m
Talk
Towards Fully Reflective Environments
Onward! Papers
Guido ChariDept. of Computer Science FCEyN, University of Buenos Aires, Diego GarbervetskyDepartamento de Computación, FCEyN, UBA, Stefan MarrINRIA, France, Stéphane DucasseINRIA, France
Pre-print Media Attached

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 29 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change