Select Page

PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
Making Software Sandboxing Practical using Language-based Techniques

Making Software Sandboxing Practical using Language-based Techniques

Software sandboxing or software-based fault isolation (SFI) is a lightweight approach to building secure systems out of untrusted components. The idea of SFI is old. Its use in production, to sandbox third-party libraries in Firefox, is new. We describe the PL techniques—notably static information flow control—that were key to deploying SFI in practice and their use in tackling software security more generally.

Read more...

New Leadership at PL Perspectives

New Leadership at PL Perspectives

A brief farewell from Mike Hicks, outgoing co-editor at PL Perspectives, and a brief hello by Adrian Sampson, co-editor incoming!

Read more...

Programming Languages + Human-Computer Interaction: Continuing the story at SPLASH 2020

Programming Languages + Human-Computer Interaction: Continuing the story at SPLASH 2020

How can types and formal reasoning tools improve the lives of people who write software? This is the focus of the HATRA (Human Aspects of Types and Reasoning Assistants) workshop. At the 2020 meeting, we discussed exciting opportunities for these key PL techniques to make developers more effective.

Read more...

Programming Languages Mentoring Workshop: Ten Years Later

Programming Languages Mentoring Workshop: Ten Years Later

The Programming Languages Mentoring Workshop (PLMW) is directed at new members of the PL community: senior undergraduate and beginning graduate students. With its first edition taking place in January 2012, PLMW is coming up on its ten year anniversary. We take a look back at how PLMW has grown and evolved, and imagine where it could go next.

Read more...