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

pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Language Implementation at Actes, Civil Engineering
Chair(s): David F. BaconGoogle
pldi-2017-papers149787360000014:00 - 14:25
Talk
Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft
Media Attached
pldi-2017-papers149787510000014:25 - 14:50
Talk
Dmytro PetrashkoEPFL, Ondřej LhotákUniversity of Waterloo, Canada, Martin OderskyEPFL, Switzerland
Media Attached
pldi-2017-papers149787660000014:50 - 15:15
Talk
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Media Attached
pldi-2017-papers149787810000015:15 - 15:40
Talk
Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge
Media Attached