Onward! 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016

0 results

People (12 results)
Stephan Brandauer

Stephan Brandauer

Uppsala University

… I’m a PhD student at Uppsala University, working on Aliasing Control. See my web page for all the details! …

Isil Dillig

Isil Dillig

UT Austin

… Isil Dillig is an assistant professor of computer science at UT Austin. She obtained all her degrees (BS, MS, PhD) in computer science from Stanford University. Prior to joining UT Austin, she was a researcher at Microsoft Research …

Shoaib Akram

Shoaib Akram

Ghent University

… Fulbright scholarship from the U.S. Department of State. Before all the foreign …

Events (5 results)

The Left Hand of Equals

Onward! Essays When: Wed 2 Nov 2016 14:20 - 15:10 People: James Noble, Andrew Black, Kim Bruce, Michael Homer, Mark Miller

all of which provide two variants of ``equality'', while some …

Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications

Onward! Papers When: Thu 3 Nov 2016 15:40 - 16:05 People: Matt McCutchen, Shachar Itzhaky, Daniel Jackson

… in almost all cases to represent data that is essentially relational (with some …

Function Passing: A Model for Typed, Distributed Functional Programming

Onward! Papers When: Wed 2 Nov 2016 16:30 - 16:55 People: Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier, Jorge Vicente-Cantero

… The most successful systems for ``big data'' processing have all adopted
functional APIs. We present a new programming model we call {\em function
passing} designed to provide a more principled substrate on which to build …

Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks

Onward! Papers When: Fri 4 Nov 2016 11:20 - 11:45 People: Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras

… not encapsulate all the framework-specific knowledge and expect developers to understand …

Tracks (2 results)

Papers

… -phase review process. At the end of the first phase, all papers will be either … outright. All papers will remain under submission until the authors receive … the Program Chair. For fairness reasons, all submitted papers should conform …

Essays

… acceptable. All other submissions will be rejected in this phase.

Authors of potentially … and reviewers are anonymous).

For fairness reasons, all submitted papers should … all papers with minimal bias. Authors must take the following actions to prepare …