SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
SPLASH 2014 (series) / Portland Marriott /

Room information: Salon I

VenuePortland Marriott
Room nameSalon I
Floor0
Room numberSalon I
Capacity192
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

Mon 20 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Session 1DSLDI at Salon I
Chair(s): Guido Wachsmuth Delft University of Technology
08:30
30m
Day opening
Welcome & Introductions
DSLDI

09:00
30m
Talk
Compositionality in embedded DSLs
DSLDI
Jeremy Gibbons University of Oxford, UK
09:30
30m
Talk
Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design
DSLDI
Paolo G. Giarrusso University of Marburg, Klaus Ostermann University of Marburg, Tillmann Rendel University of Marburg, Eric Walkingshaw University of Marburg
10:30 - 12:00
Session 2DSLDI at Salon I
Chair(s): Tiark Rompf Purdue & Oracle Labs
10:30
30m
Talk
Accordion: An EDSL for Hardware Instruction Set Extensions
DSLDI
Matthew Fernandez , Rebekah Leslie-Hurd
11:00
30m
Talk
PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
DSLDI
Ulysse Beaugnon , Riyadh Baghdadi , Mohammed Javed Absar , Adam Betts , Albert Cohen INRIA, Alastair F. Donaldson , Tobias Grosser , Sven van Haastregt , Yabin Hu , Jeroen Ketema , Alexey Kravets , Anton Lokmotov , Sven Verdoolaege
11:30
30m
Talk
Stella: A DSL for structuring high-performance simulations in Python
DSLDI
David Mohr , Darko Stefanovic
13:30 - 15:00
Session 3DSLDI at Salon I
Chair(s): Laurence Tratt King's College London
13:30
30m
Talk
A Common Core for Language Tools
DSLDI
Gabriël Konat Delft University of Technology, Vlad Vergu TU Delft, Guido Wachsmuth Delft University of Technology, Eelco Visser Delft University of Technology
14:00
30m
Talk
Composable Syntax Macros
DSLDI
Chenglong Wang , Cyrus Omar , Jonathan Aldrich Carnegie Mellon University
14:30
30m
Talk
SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems
DSLDI
Kevin Baldor , Jianwei Niu
15:30 - 17:00
Session 4DSLDI at Salon I
Chair(s): Adam Welc Oracle Labs
15:30
30m
Talk
A Rationale for Faust Design Decisions
DSLDI
Yann Orlarey , Dominique Fober , Stéphane Letz , Albert Gräf , Pierre Jouvelot
16:00
60m
Day closing
Group Discussion/Panel: DSL tooling - Where are we now and where we are headed?
DSLDI

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Invited paper and technical paper session 1DLS at Salon I
Chair(s): Laurence Tratt King's College London
08:30
60m
Talk
Invited talk: Why do we know so little about programming languages, and what would have happened if we had known more?
DLS
Stefan Hanenberg University of Duisburg-Essen
09:30
20m
Talk
Scriptable Operating Systems with Lua
DLS
Lourival Vieira Neto The NetBSD Foundation, Roberto Ierusalimschy PUC-Rio, Ana Lúcia de Moura , Marc Balmer
10:30 - 12:00
Technical paper session 2DLS at Salon I
Chair(s): James Noble Victoria University of Wellington
10:30
20m
Talk
Abstracting Abstract Control
DLS
J. Ian Johnson Northeastern University, David Van Horn
10:50
20m
Talk
Contracts for Domain-Specific Languages in Ruby
DLS
T. Stephen Strickland Brown University, Brianna M. Ren , Jeffrey S. Foster
11:10
20m
Talk
Sweeten Your JavaScript: Hygienic Macros for ES5
DLS
Tim Disney , Nathan Faubion , Dave Herman , Cormac Flanagan UC Santa Cruz
11:30
20m
Talk
Design and Evaluation of Gradual Typing for Python
DLS
Michael Vitousek , Andrew Kent , Jeremy G. Siek , Jim Baker
13:30 - 15:00
Technical paper session 3DLS at Salon I
Chair(s): Christian Wimmer Oracle Labs
13:30
20m
Talk
SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser
DLS
Bert Freudenberg CDG Labs, Dan Ingalls , Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI
13:50
20m
Talk
ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
DLS
Martin Aigner University of Salzburg, Thomas Hütter , Christoph Kirsch , Alexander Miller , Hannes Payer , Mario Preishuber
14:10
20m
Talk
Dynamic Page Sharing Optimization for the R Language
DLS
Helena Kotthaus Department of Computer Science 12, TU Dortmund University, Ingo Korb , Michael Engel , Peter Marwedel
14:30
20m
Talk
Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies
DLS
Faiz Khan , Vincent Foley-Bourgon , Sujay Kathrotia , Erick Lavoie McGill University, Laurie Hendren McGill University
15:30 - 17:00
Technical paper session 4DLS at Salon I
Chair(s): Jonathan Edwards MIT, USA
15:30
20m
Talk
Typed Objects in JavaScript
DLS
Nicholas Matsakis Mozilla Corporation, Dave Herman , Dmitry Lomov
15:50
20m
Talk
Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively
DLS
Bastian Steinert Hasso Plattner Institute, Lauritz Thamsen , Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI
16:10
20m
Talk
Dynamic Detection of Object Capability Violations Through Model Checking
DLS
Dustin Rhodes , Tim Disney , Cormac Flanagan UC Santa Cruz
16:30
20m
Talk
On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk
DLS
Oscar Callaú University of Chile, Romain Robbes , Éric Tanter University of Chile, David Röthlisberger , Alexandre Bergel

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Panel: East Meets WestWavefront at Salon I
Chair(s): David Archer Galois
10:30
90m
Talk
Panel: East Meets West — the Influences of Geography on Software Production
Wavefront
Steven D. Fraser Independent Consultant, Dennis Mancl Alcatel-Lucent, Aki Namioka Marchex, Roberto Salama Millennium Partners, Allen Wirfs-Brock Mozilla Corporation
13:30 - 15:00
Invited Talk: Eric ForsbergWavefront at Salon I
Chair(s): David Archer Galois
13:30
90m
Talk
Invited Talk: Avoiding the software development apocalypse through continuous build and test
Wavefront
Eric Forsberg Mentor Graphics Corporation

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Invited Talk: Ward CunninghamWavefront at Salon I
Chair(s): David Archer Galois
10:30
90m
Talk
Invited Talk: Design Goals of the Smallest Federated Wiki
Wavefront
Ward Cunningham New Relic
Media Attached

Mon 20 Oct

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Salon I

DSLDI

Session 1

DSLDI

Session 2

DSLDI

Session 3

DSLDI

Session 4

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Salon I

DLS

Invited paper and technical paper session 1

DLS

Technical paper session 2

DLS

Technical paper session 3

DLS

Technical paper session 4

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:0030
Salon I

Wavefront

Panel: East Meets West

Wavefront

Invited Talk: Eric Forsberg

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:0030
Salon I

Wavefront

Invited Talk: Ward Cunningham

Mon 20 Oct

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Salon I
DSLDI
Welcome & Introductions
08:30 - 09:00
DSLDI
Compositionality in embedded DSLs
09:00 - 09:30
DSLDI
Formal Semantics as a Language Designer’s Toolbox: A case for semantics ...
09:30 - 10:00
DSLDI
Accordion: An EDSL for Hardware Instruction Set Extensions
10:30 - 11:00
DSLDI
PENCIL: A platform-neutral intermediate language for the parallelizing ...
11:00 - 11:30
DSLDI
Stella: A DSL for structuring high-performance simulations in Python
11:30 - 12:00
DSLDI
A Common Core for Language Tools
13:30 - 14:00
DSLDI
Composable Syntax Macros
14:00 - 14:30
DSLDI
SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems
14:30 - 15:00
DSLDI
A Rationale for Faust Design Decisions
15:30 - 16:00
DSLDI
Group Discussion/Panel: DSL tooling - Where are we now and where we are ...
16:00 - 17:00

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Salon I
DLS
Invited talk: Why do we know so little about programming languages, and ...
08:30 - 09:30
DLS
Scriptable Operating Systems with Lua
09:30 - 09:50
DLS
Abstracting Abstract Control
10:30 - 10:50
DLS
Contracts for Domain-Specific Languages in Ruby
10:50 - 11:10
DLS
Sweeten Your JavaScript: Hygienic Macros for ES5
11:10 - 11:30
DLS
Design and Evaluation of Gradual Typing for Python
11:30 - 11:50
DLS
SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser
13:30 - 13:50
DLS
ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
13:50 - 14:10
DLS
Dynamic Page Sharing Optimization for the R Language
14:10 - 14:30
DLS
Using JavaScript and WebCL for Numerical Computations: A Comparative St ...
14:30 - 14:50
DLS
Typed Objects in JavaScript
15:30 - 15:50
DLS
Object Versioning to Support Recovery Needs: Using Proxies to Preserve ...
15:50 - 16:10
DLS
Dynamic Detection of Object Capability Violations Through Model Checking
16:10 - 16:30
DLS
On the Use of Type Predicates in Object-Oriented Software: The Case of ...
16:30 - 16:50

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Salon I
SPLASH Wavefront
Panel: East Meets West — the Influences of Geography on Software Production
10:30 - 12:00
SPLASH Wavefront
Invited Talk: Avoiding the software development apocalypse through cont ...
13:30 - 15:00

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:00153045
Salon I
SPLASH Wavefront
Invited Talk: Design Goals of the Smallest Federated Wiki
10:30 - 12:00