[Pl-seminar] 12/10 Seminar: Michael Coblenz: "Squashing Bugs and Empowering Programmers with User-Centered Programming Language Design"

[Michelle Thalakottur]

Reminder that this is tomorrow!

On Nov 30 2021, at 12:45 pm, Michelle Thalakottur <michelledt.neu at gmail.com> wrote:
> NUPRL Seminar Presents
>
> Michael Coblenz
> University of Maryland
> http://www.cs.umd.edu/~mcoblenz/
>
> 1:00PM to 2:00PM
> Friday, December 10th, 2021
> Room 366 WVH (www.ccs.neu.edu/home/wand/directions.html) and Zoom (https://northeastern.zoom.us/j/98598689387?pwd=Z0tyT2FFdFVsZGFKbDltMjRhS095Zz09)
>
> Squashing Bugs and Empowering Programmers with User-Centered Programming Language Design
> Abstract:
> Programming languages are simultaneously formal systems and user interfaces with which programmers work. Unfortunately, programmers have a hard time writing safe software: serious bugs and security vulnerabilities are common. In many cases, however, languages with strong safety guarantees have been hard to use, and safer languages have seen slow adoption. In this talk, I’ll discuss user-centered design methods I developed to help language designers create languages that are easier to use. I’ll show how I created and evaluated Glacier, an extension for Java that enforces immutability; Obsidian, a new smart contract language that uses a linear type system; and Bronze, a new garbage collector for Rust. In each case, I found that the resulting language helps programmers write software more effectively than with prior approaches.
>
> Bio: (Excerpt from website)
> "I completed my Ph.D. in the Carnegie Mellon University Computer Science Department. I was a student of Jonathan Aldrich and Brad A. Myers. I also collaborated closely with Joshua Sunshine. Now, I’m a postdoctoral fellow at the University of Maryland. I work with Michael Hicks and Adam Porter."
> "I spent ten years at Apple. For eight years, I was a full-time software engineer on the iWork team, focusing on Numbers. I worked on versions for macOS, iOS, and iCloud. If you’re still using some other spreadsheet app, give Numbers a try!"

-------------- next part --------------
HTML attachment scrubbed and removed