Programming Languages Could Help Security And Reliability A Lot More. Why Don't They?

L Peter Deutsch

Stevenson Hall 1300
12:00 PM - 12:50 PM

The operating systems and software libraries we rely on are riddled with bugs and insecurities; but programming language technologies, some of which have been known since the 1960s, could eliminate a very large fraction of them. What are those technologies? Why aren't they being used? And what are some ways in which programming language research could help with security and reliability even further?