Specification and Optimization

Wednesday, July 20th, 15:45-17:00, Ballroom – Session Chair: Gregor Snelting

Iterative Refinement of Specification for Component Based Embedded Systems

Muzammil Shahbaz, K.C. Shashidhar, and Robert Eschbach (Fraunhofer IESE, Germany; MPI SWS, Germany)

Using Automatic Persistent Memoization to Facilitate Data Analysis Scripting

Philip Guo and Dawson Engler (Stanford University, US)

CoDeSe: Fast Deserialization via Code Generation

Milos Gligoric, Darko Marinov, and Sam Kamin (University of Illinois at Urbana-Champaign, USA)