SPLASH 2016 (series) /
SPLASH-I
SPLASH-I is a series of research talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the OOPSLA main track. Talks are open to all attendees.
Dates
Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 31 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 50mTalk | SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computingKeynote SPLASH-I Simon Peyton Jones Microsoft Research, Cambridge Media Attached File Attached | ||
11:20 50mTalk | Snap!: Scheme Disguised as Scratch SPLASH-I Brian Harvey University of California, Berkeley Media Attached | ||
13:30 - 15:10 | |||
13:30 1h40mTalk | Agent-Oriented Programming SPLASH-I Amal El Fallah-Segrouchni LIP6, John-Jules Meyer Universiteit Utrecht, Mehdi Dastani , Rafael Bordini PUCRS, Koen Hindriks Delft University of Technology, Netherlands, Rem Collier University College Dublin, Alessandro Ricci University of Bologna, Italy Media Attached | ||
15:40 - 17:20 | Session 3 (Philosophy of Computing)SPLASH-I at Matterhorn 3 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research | ||
15:40 1h40mTalk | The elements of decision alignment: Large programs as complex organizations SPLASH-I Media Attached | ||
Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 1h40mTalk | Bootstrap: Build Bridges, not Walls SPLASH-I Emmanuel Schanzer Brown University Media Attached | ||
13:30 - 15:10 | Session 5SPLASH-I at Matterhorn 3 Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands | ||
13:30 50mTalk | From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration SPLASH-I Emma Söderberg Google Media Attached | ||
14:20 50mTalk | Designing and Debugging Surveys with SurveyMan SPLASH-I Emma Tosch University of Massachusetts, Amherst Media Attached | ||
15:40 - 17:20 | |||
15:40 50mTalk | Type-driven Development in Idris SPLASH-I Edwin Brady University of St Andrews | ||
16:30 50mTalk | Fact or fiction? What software analytics can do for us (developers and researchers) SPLASH-I Andy Zaidman TU Delft Media Attached | ||
Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 50mTalk | How Domain Requirements Shape Languages SPLASH-I Markus Völter itemis, Germany Media Attached | ||
11:20 50mTalk | Making Mendix Meta Model Driven SPLASH-I Jos Warmer Independent | ||
13:30 - 15:10 | |||
13:30 50mTalk | Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes SPLASH-I | ||
14:20 50mTalk | The basic skill set of software language engineering SPLASH-I Ralf Laemmel University of Koblenz-Landau, Germany Media Attached | ||
15:40 - 17:20 | |||
15:40 50mTalk | Using Docker Containers to Improve Reproducibility in PL/SE Research SPLASH-I Jürgen Cito University of Zurich Media Attached | ||
16:30 50mTalk | Adventures in Software Evolution SPLASH-I Robert Grimm Goldman Sachs | ||
Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 3 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 50mTalk | Responsive Language Tooling For Cloud-based IDEs SPLASH-I Lennart Kats Cloud9 Media Attached | ||
11:20 50mTalk | Simulating Cities: The Spacetime Framework SPLASH-I Crista Lopes University of California, Irvine Media Attached | ||
13:30 - 15:10 | |||
13:30 50mTalk | Exploratory Analysis in Virtual Reality: The New Frontier SPLASH-I Media Attached | ||
14:20 50mTalk | Truffle and Graal: Fast Programming Languages With Modest Effort SPLASH-I Media Attached | ||
15:40 - 17:20 | |||
15:40 50mTalk | Language Support for Distributed Systems SPLASH-I Heather Miller Ecole Polytechnique Federale de Lausanne | ||
16:30 50mTalk | Pony: Co-designing a Type System and a Runtime SPLASH-I Sylvan Clebsch Imperial College London Media Attached | ||
Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 4 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 50mTalk | Stencils: Graphical User Interfaces in Ensō SPLASH-I William Cook UT Austin Media Attached | ||
11:20 50mTalk | Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web SPLASH-I Adam Chlipala MIT CSAIL Media Attached | ||
13:30 - 15:10 | |||
13:30 50mTalk | Fast Datalog SPLASH-I Todd Veldhuizen LogicBlox Media Attached File Attached | ||
14:20 50mTalk | Software Environmentalism SPLASH-I Tudor Gîrba feenk.com Media Attached | ||
15:40 - 17:00 | Session 15 (Keynote)SPLASH-I at Matterhorn 2 Chair(s): Eelco Visser Delft University of Technology, Netherlands | ||
15:40 80mTalk | SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?Keynote SPLASH-I Guy L. Steele Jr. Oracle Labs | ||
Talks
SPLASH-I
SPLASH-I is a series of research talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the conference from Monday to Friday. Talks are open to all attendees.
Important Dates
| Mon 1 Aug 2016 Second round |
| Wed 1 Jun 2016 First round |
