Salon A - Onward! 2014

Jakub GemrotFaculty of Mathematics and Physics, Charles University in Prague, Martin ČernýFaculty of Mathematics and Physics, Charles University in Prague, Cyril BromFaculty of Mathematics and Physics, Charles University in Prague

16:30 - 16:45
Talk

Open Discussion (around drag-and-drop language design)

16:45 - 17:00
Meeting

Business Meeting

Wed 22 Oct

10:30 - 12:00: Onward! Papers - Session the First at Salon A
Chair(s): Sebastian ErdwegTU Darmstadt

10:30 - 10:52
Talk

Programming with Managed Time

Sean McDirmidMicrosoft Research, Jonathan EdwardsMIT, USA

10:52 - 11:15
Talk

Call by Meaning

Hesam SamimiSAP Labs, Chris DeatonCycorp, Yoshiki OhshimaViewpoints Research Institute, Alessandro WarthSAP Labs, Todd MillsteinUniversity of California, Los Angeles

11:15 - 11:37
Talk

Versionable, Branchable, and Mergeable Application State

David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa

11:37 - 12:00
Talk

The Semantics of Version Control

Wouter SwierstraUniversity of Utrecht, Andres LöhWell-Typed LLP

13:30 - 15:00: Onward! Essays - Session 1 at Salon A
Chair(s): Jonathan AldrichCarnegie Mellon University

13:30 - 14:15
Talk

In search of types

Stephen KellUniversity of Cambridge

14:15 - 15:00
Talk

Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language

Mathieu AcherUniversity of Rennes, Benoit CombemaleUniversity of Rennes, Philippe ColletUniversity of Nice

Media Attached

Thu 23 Oct

10:30 - 12:00: Onward! Papers - Session the Second at Salon A
Chair(s): Gail MurphyUniversity of British Columbia

10:30 - 10:52
Talk

Multi-tier Functional Reactive Programming for the Web

Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven

10:52 - 11:15
Talk

Towards Tierless Programming in a General-Purpose Language

Laure PhilipsSoftware Languages Lab, Coen De RooverSoftware Languages Lab, Software Engineering Laboratory, Tom Van CutsemAlcatel-Lucent Bell Labs, Wolfgang De MeuterVrije Universiteit Brussel

11:15 - 11:37
Talk

Capturing and Exploiting IDE Interactions

Zhongxian GuUC Davis, Drew SchleckUC Davis, Earl BarrUniversity College London, Zhendong SuUniversity of California, Davis

11:37 - 12:00
Talk

A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs

Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology, Andrew TolmachPortland State University, Pierre NeronTU Delft, Vlad VerguTU Delft, Augusto PassalaquaTU Delft, Gabriël KonatDelft University of Technology

Media Attached

13:30 - 15:00: Onward! Essays - Session 2 at Salon A
Chair(s): Bernd BrueggeTechnische Universität München

13:30 - 14:15
Talk

Coverage and Its Discontents

Alex GroceOregon State University, Amin AlipourOregon State University, Rahul GopinathOregon State University

14:15 - 15:00
Talk

Getting to Flow in Software Development

Gail MurphyUniversity of British Columbia

15:30 - 17:00: Onward! Papers - Session the Third at Salon A
Chair(s): Shriram KrishnamurthiBrown University

15:30 - 15:52
Talk

Korz: Simple, Symmetric, Subjective,  Context-Oriented Programming

David UngarIBM Research, Harold OssherIBM Research, Doug KimelmanIBM Research

15:52 - 16:15
Talk

Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages

Boris SpasojevicUniversity of Bern, Switzerland, Mircea LunguUniversity of Bern, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland

16:15 - 16:37
Talk

Description Logic as Programming Language

James SkeneAuckland University of Technology

16:37 - 17:00
Talk

It's only illegal if you get caught

Raphaël ProustUniversity of Cambridge, Alan MycroftUniversity of Cambridge

Fri 24 Oct

10:30 - 12:00: Onward! Papers - Session the Fourth at Salon A
Chair(s): Emery BergerUniversity of Massachusetts, Amherst

10:30 - 10:52
Talk

Phrase-Based Statistical Translation of Programming Languages

Svetoslav KaraivanovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zurich

10:52 - 11:15
Talk

Interleaving of Modification and Use in Data-driven Tool Development

Marcel TaeumelHasso Plattner Institute, Michael PerscheidHasso Plattner Institute, Bastian SteinertHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI

11:15 - 11:37
Talk

Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages

Stéphane ConversyUniversity of Toulouse - ENAC

11:37 - 12:00
Talk

Variational Data Structures: Exploring Tradeoffs in Computing with Variability

Eric WalkingshawUniversity of Marburg, Christian KästnerCarnegie Mellon University, Martin ErwigOregon State University, Sven ApelUniversity of Passau, Eric BoddenFraunhofer SIT and TU Darmstadt

13:30 - 15:00: Onward! Essays - Session 3 at Salon A
Chair(s): Bruce HornIntel Corporation

13:30 - 14:15
Talk

The Programming Language Wars

Andreas StefikUniversity of Nevada, Las Vegas , Stefan HanenbergUniversity of Duisburg-Essen

14:15 - 15:00
Talk

I Throw Itching Powder at Tulips

Richard P. GabrielIBM Research, USA

Tue 21 Oct 2014


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Salon A							SPLASH -E Motivating Student Learning 08:30 - 10:00																								SPLASH -E Error Messages, Feedback, and Impromptu Topics 10:30 - 12:00																																				SPLASH -E Design Issues for Software-Oriented Courses 13:30 - 15:00																								SPLASH -E Design Issues in Drag-and-Drop Languages 15:30 - 17:00

Wed 22 Oct 2014


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Salon A							Onward! Papers Session the First 10:30 - 12:00																																				Onward! Essays Session 1 13:30 - 15:00

Thu 23 Oct 2014


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Salon A							Onward! Papers Session the Second 10:30 - 12:00																																				Onward! Essays Session 2 13:30 - 15:00																								Onward! Papers Session the Third 15:30 - 17:00

Fri 24 Oct 2014


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Salon A							Onward! Papers Session the Fourth 10:30 - 12:00																																				Onward! Essays Session 3 13:30 - 15:00

Tue 21 Oct 2014


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Salon A							SPLASH -E Meet, Greet, and Caffeinate 08:30 - 09:00						SPLASH -E Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing ... 09:00 - 09:30						SPLASH -E The Gidget Tool for Learning Programming 09:30 - 10:00												SPLASH -E Idea Garden: Helping End-User Programmers Help Themselves 10:30 - 11:05							SPLASH -E Discussion on motivation, errors, and supporting new programmers 11:05 - 11:20			SPLASH -E Discussion on scaling software courses to large numbers of students 11:20 - 11:40				SPLASH -E Impromptu topics 11:40 - 12:00																						SPLASH -E An Experience Report at Teaching Group Based Agile Software Engineering ... 13:30 - 14:00						SPLASH -E Feedback on Course Design: Project-based software engineering education ... 14:00 - 14:30						SPLASH -E Open Discussion (around course designs) 14:30 - 15:00												SPLASH -E Using Catrobat, a Scratch-like visual programming language for smartpho ... 15:30 - 16:00						SPLASH -E yaPOSH: Engineering Behaviors for Videogame Characters 16:00 - 16:30						SPLASH -E Open Discussion (around drag-and-drop language design) 16:30 - 16:45			SPLASH -E Business Meeting 16:45 - 17:00

Wed 22 Oct 2014


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Salon A							Onward! Papers Programming with Managed Time 10:30 - 10:52				Onward! Papers Call by Meaning 10:52 - 11:15					Onward! Papers Versionable, Branchable, and Mergeable Application State 11:15 - 11:37				Onward! Papers The Semantics of Version Control 11:37 - 12:00																							Onward! Essays In search of types 13:30 - 14:15									Onward! Essays Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a L ... 14:15 - 15:00

Thu 23 Oct 2014


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Salon A							Onward! Papers Multi-tier Functional Reactive Programming for the Web 10:30 - 10:52				Onward! Papers Towards Tierless Programming in a General-Purpose Language 10:52 - 11:15					Onward! Papers Capturing and Exploiting IDE Interactions 11:15 - 11:37				Onward! Papers A Language Designer’s Workbench. A One-Stop-Shop for Implementation and ... 11:37 - 12:00																							Onward! Essays Coverage and Its Discontents 13:30 - 14:15									Onward! Essays Getting to Flow in Software Development 14:15 - 15:00															Onward! Papers Korz: Simple, Symmetric, Subjective,  Context-Oriented Programming 15:30 - 15:52				Onward! Papers Mining the Ecosystem to Improve Type Inference For Dynamically Typed La ... 15:52 - 16:15					Onward! Papers Description Logic as Programming Language 16:15 - 16:37				Onward! Papers It's only illegal if you get caught 16:37 - 17:00

Fri 24 Oct 2014


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Salon A							Onward! Papers Phrase-Based Statistical Translation of Programming Languages 10:30 - 10:52				Onward! Papers Interleaving of Modification and Use in Data-driven Tool Development 10:52 - 11:15					Onward! Papers Unifying Textual and Visual: a Theoretical Account of the Visual Percep ... 11:15 - 11:37				Onward! Papers Variational Data Structures: Exploring Tradeoffs in Computing with Vari ... 11:37 - 12:00																							Onward! Essays The Programming Language Wars 13:30 - 14:15									Onward! Essays I Throw Itching Powder at Tulips 14:15 - 15:00

Room information: Salon A

Tue 21 Oct

Wed 22 Oct

Thu 23 Oct

Fri 24 Oct

Tue 21 Oct 2014

SPLASH -E

SPLASH -E

SPLASH -E

SPLASH -E

Wed 22 Oct 2014

Onward! Papers

Onward! Essays

Thu 23 Oct 2014

Onward! Papers

Onward! Essays

Onward! Papers

Fri 24 Oct 2014

Onward! Papers

Onward! Essays

Tue 21 Oct 2014

Wed 22 Oct 2014

Thu 23 Oct 2014

Fri 24 Oct 2014

Tracks