Program - Onward! 2016

Program - Onward! 2016
Onward! 2016
Sun 30 October - Fri 4 November 2016
Amsterdam, Netherlands
co-located with
SPLASH 2016
Attending
Restaurant: Fifteen
Venue: Mövenpick Hotel Amsterdam City Centre
Venue: Banquet at Beurs van Berlage
Program
Onward! Program
Your Program
Sun 30 Oct
Mon 31 Oct
Tue 1 Nov
Wed 2 Nov
Thu 3 Nov
Fri 4 Nov
Tracks
Onward! 2016
Onward! Essays
Onward! Papers
Organization
Onward! 2016 Committees
Organizing Committee
Steering Committee
Track Committees
Onward! Essays
Onward! Papers
Contributors
People Index
Series
Series
SPLASH - Onward! 2019 and later
Onward! 2018
Onward! 2017
Onward! 2016
Onward! 2015
Onward! 2014
Onward! 2013
SPLASH 2016
series
) /
Onward! 2016
series
) /
Onward! 2016 Program
This is the Onward! 2016 program - see
the full program for SPLASH 2016
and all affiliated events.
Detailed Table
Session Timeline
Detailed Timeline
Switch Program View
You're viewing a filtered program.
Do you want to keep these filters active in the new view?
Close
Get Calendar (iCal)
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Program Display Configuration
Close
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Wed 2 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Session 1
Onward! Papers
at
Zürich 2
Chair(s):
Emerson Murphy-Hill
Google
10:30
25m
Talk
Lightweight Programming Experiments without Programmers and Programs: An Example Study on the Effect of Similarity and Number of Object Identifiers on the Readability of Source Code using Natural Texts
Onward! Papers
Tim Marter
University of Duisburg-Essen
Paul Babucke
University of Duisburg-Essen
Philipp Lembken
University of Duisburg-Essen
Stefan Hanenberg
University of Duisburg-Essen
DOI
10:55
25m
Talk
Emergent Software Services
Onward! Papers
Nicolás Cardozo
Universidad de los Andes
DOI
Pre-print
Media Attached
11:20
25m
Talk
Nez: Practical Open Grammar Language
Onward! Papers
Kimio Kuramitsu
Yokohama National University, Japan
DOI
11:45
25m
Talk
Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages
Onward! Papers
Nevena Milojković
University of Bern
Oscar Nierstrasz
University of Bern, Switzerland
DOI
13:30 - 15:10
Onward! Essays I
Onward! Essays
at
Zürich 2
13:30
50m
Talk
How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard
Onward! Essays
Johannes Emerich
DOI
Pre-print
File Attached
14:20
50m
Talk
The Left Hand of Equals
Onward! Essays
James Noble
Victoria University of Wellington, New Zealand
Andrew Black
Portland State University
Kim Bruce
Pomona College
Michael Homer
Victoria University of Wellington
Mark Miller
Google Inc.
DOI
15:40 - 17:20
Session 2
Onward! Papers
at
Zürich 2
Chair(s):
Jeff Huang
Texas A&M University
15:40
25m
Talk
Bloqqi: Modular Feature-Based Block Diagram Programming
Onward! Papers
Niklas Fors
Lund University
Görel Hedin
Lund University, Sweden
DOI
Pre-print
16:05
25m
Talk
Building White-Box Abstractions by Program Refinement
Onward! Papers
Mehrdad Afshari
Vivibe LLC
Zhendong Su
University of California, Davis
DOI
Pre-print
16:30
25m
Talk
Function Passing: A Model for Typed, Distributed Functional Programming
Onward! Papers
Heather Miller
Ecole Polytechnique Federale de Lausanne
Philipp Haller
KTH Royal Institute of Technology
Normen Müller
Jocelyn Boullier
EPFL
Jorge Vicente Cantero
EPFL
DOI
16:55
25m
Talk
Extracting Code from Programming Tutorial Videos
Onward! Papers
Shir Yadid
Technion
Eran Yahav
Technion
DOI
Thu 3 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:40 - 16:30
Session 3
Onward! Papers
at
Matterhorn 2
Chair(s):
Hidehiko Masuhara
Tokyo Institute of Technology, Japan
15:40
25m
Talk
Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications
Onward! Papers
Matt McCutchen
MIT
Shachar Itzhaky
MIT CSAIL
Daniel Jackson
MIT
DOI
Pre-print
Media Attached
16:05
25m
Talk
Moldable, Context-Aware Searching with Spotter
Onward! Papers
Andrei Chiş
University of Bern, Switzerland
Tudor Gîrba
feenk.com
Juraj Kubelka
University of Chile
Oscar Nierstrasz
University of Bern, Switzerland
Stefan Reichhart
Aliaksei Syrel
University of Bern
DOI
Pre-print
Fri 4 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Session 4
Onward! Papers
at
Matterhorn 2
Chair(s):
Veselin Raychev
ETH Zurich, Switzerland
10:30
25m
Talk
Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift
Onward! Papers
Ivan Kuraj
MIT CSAIL, USA
Daniel Jackson
MIT
DOI
10:55
25m
Talk
Gramada: Immediacy in Programming Language Development
Onward! Papers
Patrick Rein
Hasso Plattner Institute
Marcel Taeumel
Hasso Plattner Institute
Robert Hirschfeld
HPI
DOI
11:20
25m
Talk
Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Onward! Papers
Soumya Indela
University of Maryland at College Park
Mukul Kulkarni
University of Maryland at College Park
Kartik Nayak
University of Maryland at College Park
Tudor Dumitras
University of Maryland at College Park
DOI
11:45
25m
Talk
Leveraging a Corpus of Natural Language Descriptions for Program Similarity
Onward! Papers
Meital Zilberstein
Technion
Eran Yahav
Technion
DOI
13:30 - 15:10
Onward! Essays II
Onward! Essays
at
Matterhorn 2
13:30
50m
Talk
A World of Active Objects for Work and Play: The First Ten Years of Lively
Onward! Essays
Daniel Ingalls
SAP Palo Alto Research Center
Tim Felgentreff
Hasso-Plattner-Institute, Potsdam
Robert Hirschfeld
HPI
Robert Krahn
CDG Labs
Jens Lincke
Hasso Plattner Institute
Marko Röder
HARC / Y Combinator Research
Antero Taivalsaari
Nokia Technologies
Tommi Mikkonen
Tampere University of Technology
DOI
14:20
50m
Talk
“in the control room of the banquet”
Onward! Essays
Richard P. Gabriel
Dream Songs, Inc. & IBM Research
DOI
Get Calendar (iCal)
iCalendar subscription service for your personal schedule
You first need to have starred events (
) in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Close
Sat 25 Apr 00:24