Mon 24 Jun 2019 08:45 - 09:05 at 224AB - Language Design I Chair(s): Benjamin Zorn

In a typical data-processing program, the representation of data in memory is distinct from its representation in a serialized form on disk. The former has pointers and arbitrary, sparse layout, facilitating easy manipulation by a program, while the latter is packed contiguously, facilitating easy I/O. We propose a language, LoCal, to unify in-memory and serialized formats. LoCal extends a region calculus into a location calculus, employing a type system that tracks the byte-addressed layout of all heap values. We formalize LoCal and prove type safety, and show how LoCal programs can be inferred from unannotated source terms.

We transform the existing Gibbon compiler to use LoCal as an intermediate language, with the goal of achieving a balance between code speed and data compactness by introducing just enough indirection into heap layouts, preserving the asymptotic complexity of traditional representations, but working with mostly or completely serialized data. We show that our approach yields significant performance improvement over prior approaches to operating on packed data, without abandoning idiomatic programming with recursive functions.
this URL might only work when visiting from a URL.

Mon 24 Jun

Displayed time zone: Tijuana, Baja California change

08:45 - 09:45
Language Design IPLDI Research Papers at 224AB
Chair(s): Benjamin Zorn Microsoft Research
LoCal: A Language for Programs Operating on Serialized Data
PLDI Research Papers
Michael Vollmer Indiana University, USA, Chaitanya S. Koparkar Indiana University, Mike Rainey Indiana University, USA, Laith Sakka Purdue University, Milind Kulkarni Purdue University, Ryan R. Newton Indiana University
DOI Authorizer link Pre-print Media Attached
Scenic: A Language for Scenario Specification and Scene Generation
PLDI Research Papers
Daniel J. Fremont University of California at Berkeley, USA, Tommaso Dreossi University of California at Berkeley, Shromona Ghosh University of California at Berkeley, USA, Xiangyu Yue University of California at Berkeley, USA, Alberto L. Sangiovanni-Vincentelli University of California at Berkeley, USA, Sanjit Seshia UC Berkeley
Media Attached
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
PLDI Research Papers
Sridhar Gopinath Microsoft Research, India, Nikhil Ghanathe Microsoft Research, India, Vivek Seshadri Microsoft Research, India, Rahul Sharma Microsoft Research
Link to publication DOI Media Attached