… Reuse of engineering solutions is a greater challenge than the reuse of software artifacts. Without the advantage of a common description language, automatic reuse tends to be ad hoc if available at all. We present a concept-stage project …

The Problem of Structural Type Tests in a Gradual-Typed Language

FOOL When: Mon 20 Oct 2014 11:00 - 11:30 People: John Boyland

… forward, all of which have their own drawbacks. …

Invited Speaker: A Brief, Opinionated History of the API

PLATEAU When: Tue 21 Oct 2014 09:00 - 10:00 People: Josh Bloch

… APIs have been with us for 60 years or so. They come in all different shapes, sizes, and disguises. In this talk we’ll look at a few APIs, focusing on what makes them good, what makes them successful, and why the correlation between …

Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language

Programming with Managed Time

… entirely on programmers to properly order all updates. Just as languages now … propose a new form of managed time, Glitch, which ensures that all updates … of simultaneous execution. To do this, all updates must be commutative …

Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages

An Experimental Survey of Energy Management Across the Stack

… Modern demand for energy-efficient computation has spurred research at all levels of the stack, from devices to microarchitecture, operating systems, compilers, and languages. Unfortunately, this breadth has resulted in a disjointed space …

Static Analysis for Independent App Developers

OOPSLA Artifacts People: Lucas Brutschy, Pietro Ferrara, Peter Müller

… for a selection of all scripts shows that most of the alarms are real errors. …