Search for 'all'
0 results
Stephan Brandauer
Uppsala University
… I’m a PhD student at Uppsala University, working on Aliasing Control. See my web page for all the details! …
Işıl 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 …
Lucas Morais
UNICAMP
… of established alternatives by performing all conversions within the user’s own browser …
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 …
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 …
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 …
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 …
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 …