Write a Blog >>
CoCoS 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameRegency B
Floor0
Room InformationNo extra information available
Program

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

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Metaprogramming and Domain Specific LanguagesMETA at Regency B
Chair(s): Sebastian Erdweg TU Delft
08:50
10m
Day opening
Welcome
META
Stefan Marr University of Kent
09:00
30m
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
META
Matthew Ahrens , Karl Cronburg Tufts University, Jeanne-Marie Musca Tufts University
File Attached
09:30
30m
Talk
Less Testing Ink
META
Yossi Gil Technion—Israel Institute of Technology
10:30 - 12:00
Code GenerationMETA at Regency B
Chair(s): Stefan Marr University of Kent
10:30
60m
Talk
Hop.js: JavaScript Multitier Programming ⭐️
META
Manuel Serrano Inria, France
11:30
30m
Talk
Toward Abstract Interpretation of Program Transformations
META
Sven Keidel Delft University of Technology, Netherlands, Sebastian Erdweg TU Delft
DOI
13:30 - 15:00
Runtime ReflectionMETA at Regency B
Chair(s): Cyrus Omar Carnegie Mellon University
13:30
30m
Talk
Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
META
Takuo Watanabe Tokyo Institute of Technology
File Attached
14:00
30m
Talk
Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
META
Javier Pimás Palantir Solutions, Stefan Marr University of Kent
File Attached
14:30
30m
Talk
An Annotation-based API for Supporting Runtime Code Annotation Reading
META
Phyllipe Lima INPE - National Institute for Space Research, Eduardo Guerra INPE - National Institute for Space Research, Marco Nardes INPE - National Institute for Space Research, Andrea Mocci Universita della Svizzera italiana (USI), Gabriele Bavota Università della Svizzera italiana (USI), Michele Lanza Università della Svizzera italiana (USI)
DOI
15:30 - 17:00
Compiling ReflectionMETA at Regency B
Chair(s): Stefan Marr University of Kent
15:30
60m
Talk
Collapsing Towers of Interpreters ⭐️
META
Nada Amin University of Cambridge
16:30
30m
Day closing
Discussion and Closing
META

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
ParsingSLE at Regency B
Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany
10:30
25m
Talk
Type-Safe Modular ParsingArtifact Evaluation
SLE
Haoyuan Zhang , Huang Li , Bruno C. d. S. Oliveira University of Hong Kong, China
DOI
10:55
25m
Talk
Incremental Packrat ParsingArtifact Evaluation
SLE
Patrick Dubroy Y Combinator Research, USA, Alessandro Warth Y Combinator Research, USA
DOI
11:20
25m
Talk
A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
SLE
Kimio Kuramitsu Yokohama National University, Japan
DOI
11:45
15m
Talk
Red Shift: Procedural Shift-Reduce ParsingVision Paper
SLE
Nicolas Laurent Université Catholique de Louvain, Belgium
DOI
13:30 - 15:00
Textual ModelsSLE at Regency B
Chair(s): Anthony Sloane Macquarie University
13:30
23m
Talk
Towards a Taxonomy of Grammar Smells
SLE
Mats Stijlaart Universiteit van Amsterdam, Vadim Zaytsev Raincode Labs, Belgium
DOI
13:53
22m
Talk
Deep Priority Conflicts in the Wild: A Pilot StudyArtifact Evaluation
SLE
Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael J. Steindorfer Delft University of Technology, Eelco Visser Delft University of Technology
DOI
14:16
22m
Talk
Virtual Textual Model Composition for Supporting Versioning and Aspect-OrientationArtifact Evaluation
SLE
Robert Bill Vienna University of Technology, Patrick Neubauer University of York, UK, Manuel Wimmer TU Wien
DOI
14:38
22m
Talk
Robust Projectional EditingArtifact Evaluation
SLE
Friedrich Steimann Fernuniversität, Marcus Frenkel Fernuni Hagen, Markus Voelter itemis
DOI
15:30 - 17:00
DSLsSLE at Regency B
Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30
25m
Talk
Debugging with Domain-Specific Events via MacrosDistinguished PaperArtifact Evaluation
SLE
Xiangqi Li University of Utah, Matthew Flatt University of Utah
DOI
15:55
25m
Talk
A Chrestomathy of DSL implementations
SLE
Simon Schauss University of Koblenz-Landau, Ralf Laemmel University of Koblenz-Landau, Germany, Johannes Härtel University of Koblenz-Landau, Germany, Marcel Heinz University of Koblenz-Landau, Germany, Kevin Klein University of Koblenz-Landau, Lukas Härtel University of Koblenz-Landau, Germany, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
DOI
16:20
25m
Talk
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentArtifact Evaluation
SLE
Ankica Barisic NOVA-LINCS - Universidade Nova de Lisboa, Dominique Blouin LTCI Lab, Telecom ParisTech, Université Paris-Saclay, Vasco Amaral NOVA-LINCS, FCT/UNL, Miguel Goulao NOVA-LINCS, FCT/UNL
DOI
16:45
25m
Talk
Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
SLE
Marco Brambilla Politecnico di Milano, Jordi Cabot ICREA - UOC, Javier Luis Cánovas Izquierdo IN3 - UOC, Andrea Mauri Politecnico di Milano, Italy
DOI

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
GrammarsSLE at Regency B
Chair(s): Bernhard Rumpe RWTH Aachen University, Germany
10:30
25m
Talk
A Formalisation of Parameterised Reference Attribute GrammarsArtifact Evaluation
SLE
Scott Buckley Macquarie University, Australia, Anthony Sloane Macquarie University
DOI
10:55
25m
Talk
Concurrent Circular Reference Attribute GrammarsArtifact Evaluation
SLE
Jesper Oqvist Lund University, Görel Hedin
DOI
11:20
25m
Talk
Ensuring Non-interference of Composable Language Extensions
SLE
Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA
DOI
11:45
15m
Talk
A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial PaperArtifact Evaluation
SLE
Suman Roychoudhury Tata Consultancy Services Research, Sagar Sunkle Tata Consultancy Services Research, Deepali Kholkar Tata Consultancy Services Research, Vinay Kulkarni Tata Consultancy Services Research
DOI
13:30 - 15:00
Meta-modellingSLE at Regency B
Chair(s): Marjan Mernik University of Maribor
13:30
23m
Talk
Concrete Syntax: A Multi-paradigm Modelling Approach
SLE
Yentl Van Tendeloo University of Antwerp, Simon Van Mierlo University of Antwerp, Bart Meyers University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp and McGill University
DOI
13:53
23m
Talk
Structural Model Subtyping with OCL ConstraintsArtifact Evaluation
SLE
Artur Boronat University of Leicester
DOI
14:16
22m
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
SLE
Lechanceux Luhunu University of Montreal, Eugene Syriani University of Montreal
DOI
14:38
22m
Talk
Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo
SLE
Ed Seidewitz nMeta LLC
DOI
15:30 - 17:00
GPL/DSL implementationSLE at Regency B
Chair(s): Eric Van Wyk University of Minnesota, USA
15:30
25m
Talk
FlowSpec: Declarative Dataflow Analysis Specification
SLE
Jeff Smits Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
DOI File Attached
15:55
25m
Talk
Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
SLE
Francesco Di Giacomo Università Ca' Foscari, Mohamed Abbadi Hogeschool Rotterdam, Agostino Cortesi Università Ca' Foscari Venezia, Pieter Spronck Tilburg University, Giuseppe Maggiore Hogeschool Rotterdam
DOI
16:20
25m
Talk
Robust Programs with Filtered IteratorsArtifact EvaluationDistinguished Artifact
SLE
Jiasi Shen Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology
DOI
16:45
25m
Talk
An Introduction to the Software Language Engineering Body of Knowledge
SLE
Vadim Zaytsev Raincode Labs, Belgium
17:10
10m
Talk
Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
SLE
Rui Pereira HASLab/INESC TEC & Universidade do Minho, Marco Couto HASLab/INESC TEC & Universidade do Minho, Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, Rui Rua HASLab/INESC TEC & Universidade do Minho, Jácome Cunha NOVA-LINCS - Universidade Nova de Lisboa, João Paulo Fernandes Release/LISP, CISUC, João Saraiva University of Minho, Portugal
DOI Media Attached

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Language DesignOnward! Papers at Regency B
Chair(s): Zachary Tatlock University of Washington, Seattle
10:30
30m
Talk
Can We Crowdsource Language Design?
Onward! Papers
Preston Tunnell Wilson Brown University, Justin Pombrio Brown University, USA, Shriram Krishnamurthi Brown University, USA
11:00
30m
Talk
Assessing User Preferences in Programming Language Design
Onward! Papers
Roger Chamberlain Washington University in St. Louis
11:30
30m
Talk
Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages
Onward! Papers
Friedrich Steimann Fernuniversität
13:30 - 15:00
Program Generation and SynthesisOnward! Papers at Regency B
Chair(s): Emina Torlak University of Washington
13:30
30m
Talk
Generating Chat Bots from Web API Specifications
Onward! Papers
Mandana Vaziri IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research, Jerome Simeon IBM Research, Martin Hirzel IBM Research
14:00
30m
Talk
ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Onward! Papers
Edmund Lam University of Colorado Boulder, Peilun Zhang , Bor-Yuh Evan Chang University of Colorado Boulder
14:30
30m
Talk
Unbounded Superoptimization
Onward! Papers
Abhinav Jangda University of Massachusetts, Amherst, Greta Yorsh Queen Mary University of London
15:30 - 17:00
EssaysOnward! Essays at Regency B
Chair(s): Robert Biddle Carleton University
15:30
45m
Talk
Some Were Meant For C: The endurance of an unmanageable language
Onward! Essays
Stephen Kell University of Cambridge
16:15
45m
Talk
Concept Analysis in Programming Language Research: Done Well It Is All Right
Onward! Essays
A: Antti-Juhani Kaijanaho University of Jyväskylä
DOI Pre-print

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Essay PanelOnward! Essays at Regency B
Chair(s): Robert Biddle Carleton University
10:30
90m
Other
Panel: How can our publication models best serve our research?
Onward! Essays
Mary Shaw Carnegie Mellon University, P: Crista Lopes University of California, Irvine, Matthias Hauswirth Università della Svizzera italiana (USI), P: Philippe Kruchten University of British Columbia
13:30 - 15:00
Programming ModelsOnward! Papers at Regency B
Chair(s): Karim Ali University of Alberta
13:30
30m
Talk
The Serverless Trilemma: Function Composition for Serverless Computing
Onward! Papers
Ioana Baldini IBM T.J. Watson Research, Perry Cheng IBM Research, Stephen J Fink IBM, Nick Mitchell , Vinod Muthusamy IBM T.J. Watson Research, Rodric Rabbah IBM Research, Philippe Suter Two Sigma, Olivier Tardieu IBM Research
14:00
30m
Talk
Encoding the building blocks of communication
Onward! Papers
14:30
30m
Talk
IoTa: A Calculus for Internet of Things Automation
Onward! Papers
Julie L. Newcomb University of California at Berkeley, Satish Chandra Facebook, Jean-Baptiste Jeannin Carnegie Mellon University , Cole Schlesinger Samsung Research America, Manu Sridharan Uber

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Usability and PerformanceOnward! Papers at Regency B
Chair(s): Sam Tobin-Hochstadt Indiana University
10:30
30m
Talk
Error Messages are Classifiers: A Process to Design and Evaluate Error Messages
Onward! Papers
John Wrenn Brown University, Shriram Krishnamurthi Brown University, USA
11:00
30m
Talk
You Can Have it All: Abstraction and Good Cache Performance
Onward! Papers
Juliana Franco Imperial College London, Martin Hagelin (Dirac), Tobias Wrigstad Uppsala University, Sophia Drossopoulou , Susan Eisenbach Imperial College London
11:30
30m
Talk
Garbology: A Study of How Java Objects Die
Onward! Papers
Raoul Veroy Tufts University, Sam Guyer Tufts University
13:30 - 15:00
New LanguagesOnward! Papers at Regency B
Chair(s): Adrian Sampson Cornell University
13:30
30m
Talk
Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Onward! Papers
14:00
30m
Talk
Selfie and the Basics
Onward! Papers
Christoph Kirsch University of Salzburg
14:30
30m
Talk
Systems Level Liveness with AnonSystem
Onward! Papers
Andrew Sorensen Australian National University, Henry Gardner The Australian National University

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency B

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Regency B

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change