Jonathan Aldrich's guest appearances

Jonathan Aldrich

Luminary

Kevin Kelly

Andrew Sullivan

Mahzarin Banaji

Kimberlé Crenshaw

Mihir Desai

Vint Cerf

Eric Peters

Rebecca Katz

Brian Arthur

David Danks

Gerta Keller

Kevin Leyton-Brown

Manu Prakash

Amy Lippert

Chika Okeke-Agulu

OwlTail

Jonathan Aldrich is a professor at Carnegie Mellon University and director of the software engineering Ph.D. program at Carnegie Mellon’s Institute for Software Research. Jonathan’s research focuses on software scalability. His work aims to improve software quality and programmer productivity through an interdisciplinary approach to software design. He has received the National Science Foundation career award and the Dahl-Nygaard prize. In our conversation with Jonathan, we cover his journey into research and academia, the evolution of programming languages, characteristics of the ideal programming language, as well as ways to measure software quality. He calls for a multi-disciplinary approach to designing programming languages. Jonathan also shares his recent research in building programming languages for writing web, mobile and blockchain applications. About and from Prof. Jonathan Aldrich: Website: https://www.cs.cmu.edu/~aldrichInstitute for Software Research, faculty page: https://www.isri.cmu.edu/people/core-faculty/aldrich-jonathan.htmlScholar: https://scholar.google.com/citations?user=AzHmOtcAAAAJ&amp;hl=enTwitter:  https://twitter.com/jaldrichcmu Research: Obsidian (domain-specific language for writing safer smart contracts on the blockchain and other platforms): http://obsidian-lang.comWyvern (general-purpose language focused on security, modularity, and language extensibility): http://wyvernlang.github.ioPenrose (language for visualizing mathematical objects): http://www.penrose.ink/Interdisciplinary Programming Language Design: http://www.cs.cmu.edu/~aldrich/papers/onward2018-pldesign.pdfDesign Intent: a Principled Approach to Application Security: http://www.cs.cmu.edu/~aldrich/papers/cylab2009-slides.pdfUsing Capability-Based Modules to Enforce Secure Resource Usage: https://www.youtube.com/watch?v=AYkAzbhVcpM Assorted links: Institute for Software Research: https://www.isri.cmu.edu/Book Recommendation: Why we make mistakes by Joseph T. Hallinan: https://www.penguinrandomhouse.com/books/73874/why-we-make-mistakes-by-joseph-t-hallinan/9780767928069/ Luminary Podcast: Visit us:  https://www.luminary.fmFollow us on Twitter: https://www.twitter.com/luminaryfmLuminary on Linkedin: https://www.linkedin.com/company/luminary-fm Music: Music used in this podcast: Simplex Kevin MacLeod (incompetech.com): Licensed under Creative Commons: By Attribution 3.0 License: https://creativecommons.org/licenses/by/3.0Chipper Doodle Kevin MacLeod (incompetech.com): Licensed under Creative Commons: By Attribution 3.0 License: https://creativecommons.org/licenses/by/3.0 The post Jonathan Aldrich on the design and evolution of programming languages appeared first on Luminary.fm.

Jonathan Aldrich is a professor at Carnegie Mellon University and director of the software engineering Ph.D. program at Carnegie Mellon’s Institute for Software Research. Jonathan’s research focuses on software scalability. His work aims to improve software quality and programmer productivity through an interdisciplinary approach to software design. He has received the National Science Foundation career award and the Dahl-Nygaard prize. In our conversation with Jonathan, we cover his journey into research and academia, the evolution of programming languages, characteristics of the ideal programming language, as well as ways to measure software quality. He calls for a multi-disciplinary approach to designing programming languages. Jonathan also shares his recent research in building programming languages for writing web, mobile and blockchain applications. About and from Prof. Jonathan Aldrich: <ul><li>Website: <a href="https://www.cs.cmu.edu/~aldrich/" rel="nofollow" target="_blank">https://www.cs.cmu.edu/~aldrich</a></li><li>Institute for Software Research, faculty page: <a href="https://www.isri.cmu.edu/people/core-faculty/aldrich-jonathan.html" rel="nofollow" target="_blank">https://www.isri.cmu.edu/people/core-faculty/aldrich-jonathan.html</a></li><li>Scholar: <a href="https://scholar.google.com/citations?user=AzHmOtcAAAAJ&amp;hl=en" rel="nofollow" target="_blank">https://scholar.google.com/citations?user=AzHmOtcAAAAJ&amp;hl=en</a></li><li>Twitter: <a href="https://twitter.com/jaldrichcmu" rel="nofollow" target="_blank">https://twitter.com/jaldrichcmu</a></li></ul> Research: <ul><li>Obsidian (domain-specific language for writing safer smart contracts on the blockchain and other platforms): <a href="http://obsidian-lang.com/" rel="nofollow" target="_blank">http://obsidian-lang.com</a></li><li>Wyvern (general-purpose language focused on security, modularity, and language extensibility): <a href="http://wyvernlang.github.io/" rel="nofollow" target="_blank">http://wyvernlang.github.io</a></li><li>Penrose (language for visualizing mathematical objects): <a href="http://www.penrose.ink/" rel="nofollow" target="_blank">http://www.penrose.ink/</a></li><li>Interdisciplinary Programming Language Design: <a href="http://www.cs.cmu.edu/~aldrich/papers/onward2018-pldesign.pdf" rel="nofollow" target="_blank">http://www.cs.cmu.edu/~aldrich/papers/onward2018-pldesign.pdf</a></li><li>Design Intent: a Principled Approach to Application Security: <a href="http://www.cs.cmu.edu/~aldrich/papers/cylab2009-slides.pdf" rel="nofollow" target="_blank">http://www.cs.cmu.edu/~aldrich/papers/cylab2009-slides.pdf</a></li><li>Using Capability-Based Modules to Enforce Secure Resource Usage: <a href="https://www.youtube.com/watch?v=AYkAzbhVcpM" rel="nofollow" target="_blank">https://www.youtube.com/watch?v=AYkAzbhVcpM</a></li></ul> Assorted links: <ul><li>Institute for Software Research: <a href="https://www.isri.cmu.edu/" rel="nofollow" target="_blank">https://www.isri.cmu.edu/</a></li><li>Book Recommendation: Why we make mistakes by Joseph T. Hallinan: <a href="https://www.penguinrandomhouse.com/books/73874/why-we-make-mistakes-by-joseph-t-hallinan/9780767928069/" rel="nofollow" target="_blank">https://www.penguinrandomhouse.com/books/73874/why-we-make-mistakes-by-joseph-t-hallinan/9780767928069/</a></li></ul> Luminary Podcast: <ul><li>Visit us:  <a href="https://www.luminary.fm" rel="nofollow" target="_blank">https://www.luminary.fm</a></li><li>Follow us on Twitter: <a href="https://www.twitter.com/luminaryfm" rel="nofollow" target="_blank">https://www.twitter.com/luminaryfm</a></li><li>Luminary on Linkedin: <a href="https://www.linkedin.com/company/luminary-fm" rel="nofollow" target="_blank">https://www.linkedin.com/company/luminary-fm</a></li></ul> Music: <ul><li>Music used in this podcast: Simplex Kevin MacLeod (<a href="http://www.incompetech.com/" rel="nofollow" target="_blank">incompetech.com</a>): Licensed under Creative Commons: By Attribution 3.0 License: <a href="https://creativecommons.org/licenses/by/3.0" rel="nofollow" target="_blank">https://creativecommons.org/licenses/by/3.0</a></li><li>Chipper Doodle Kevin MacLeod (<a href="http://www.incompetech.com/" rel="nofollow" target="_blank">incompetech.com</a>): Licensed under Creative Commons: By Attribution 3.0 License: <a href="https://creativecommons.org/licenses/by/3.0" rel="nofollow" target="_blank">https://creativecommons.org/licenses/by/3.0</a></li></ul> The post <a href="https://luminary.fm/episode/jonathan-aldrich-on-the-design-and-evolution-of-programming-languages/" rel="nofollow" target="_blank">Jonathan Aldrich on the design and evolution of programming languages</a> appeared first on <a href="https://luminary.fm" rel="nofollow" target="_blank">Luminary.fm</a>.

Jonathan Aldrich on the design and evolution of programming languages