Write a Blog >>
Mon 19 Jun 2017 15:15 - 15:40 at Actes, Civil Engineering - Language Implementation Chair(s): David F. Bacon

Safe programming languages are readily available, but many applications continue to be written in unsafe languages, because the latter are more efficient. As a consequence, many applications continue to have exploitable memory safety bugs. Since garbage collection is a major source of inefficiency in the implementation of safe languages, replacing it with safe manual memory management would be an important step towards solving this problem.

Previous approaches to safe manual memory management use programming models based on regions, unique pointers, borrowing of references, and ownership types. We propose a much simpler programming model that does not require any of these concepts. Starting from the design of an imperative type safe language (like Java or C#), we just add a delete operator to free memory explicitly and an exception which is thrown if the program dereferences a pointer to freed memory. We propose an efficient implementation of this programming model that guarantees type safety. Experimental results from our implementation based on the C# native compiler show that this design achieves up to 3x reduction in peak working set and run time.

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:40
Language ImplementationPLDI Research Papers at Actes, Civil Engineering
Chair(s): David F. Bacon Google
14:00
25m
Talk
Bringing the Web up to Speed with WebAssembly
PLDI Research Papers
Andreas Haas Google, Andreas Rossberg Google, Derek Schuff Google, Ben L. Titzer Google, Dan Gohman Mozilla, Luke Wagner Mozilla, Alon Zakai Mozilla, JF Bastien Apple, Michael Holman Microsoft
Media Attached
14:25
25m
Talk
Miniphases: Compilation using Modular and Efficient Tree Transformations
PLDI Research Papers
Dmytro Petrashko EPFL, Ondřej Lhoták University of Waterloo, Canada, Martin Odersky EPFL, Switzerland
Media Attached
14:50
25m
Talk
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
PLDI Research Papers
Anthony Canino SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton
Media Attached
15:15
25m
Talk
Simple, fast and safe manual memory management
PLDI Research Papers
Piyus Kedia Indian Institute of Technology Delhi, Manuel Costa Microsoft Research, Matthew J. Parkinson Microsoft Research, UK, Kapil Vaswani Microsoft Research, Dimitrios Vytiniotis Microsoft Research, Cambridge
Media Attached