更新中

Current Continuation

Aws Albarghouthi and Adrian Sampson

發行日期：2025-05-21

免費新

2 Episodes

音訊

免費新

2 Episodes

音訊

發行日期：2025-05-21

Ranjit Jhala

In the inaugural episode of Current Continuation, we talk to Prof. Ranjit Jhala of UCSD. Ranjit has done influential work in program verification, including Lazy Abstraction and Liquid Types! He’s also incredibly nice and insightful. Links “PL Per

播放

In the inaugural episode of Current Continuation, we talk to Prof. Ranjit Jhala of UCSD.

Ranjit has done influential work in program verification, including Lazy Abstraction and Liquid Types! He’s also incredibly nice and insightful.

Links

“PL Perspectives,” the SIGPLAN blog

Sinclair Spectrum

Ben Liblit

Thomas Henzinger

George Necula

Alex Aiken

Rupak Majumdar

2009 software model checking survey by Ranjit and Rupak

SPIN

VeriSoft

SLAM

Joseph Goguen

“Lazy Abstraction,” POPL 2002

Sriram Rajamani

“Liquid Types,” PLDI 2008

Hongwei Xi

Frank Pfenning

Dependent ML

Rust

Lean

Greg Morrisett

Mike Dodds

“N things I learned trying to do formal methods in industry,” a talk by Mike Dodds

“Flux: Liquid Types for Rust,” PLDI 2023

Flux on GitHub

Simon Peyton Jones

Verse

“The Verse Calculus: a Core Calculus for Functional Logic Programming,” ICFP 2023

Tim Sweeney

Jan Vitek

Sam Tobin-Hochstadt

David Van Horn

“Higher-Order Symbolic Execution for Contract Verification and Refutation,” JFP 2016

Liquid Haskell

Concrete Semantics

Isabelle

Software Foundations

Virginia Vassilevska Williams

Halide

“How to Design Talks”

“How to Design Programs”

單集識別碼：1000709753559

GUID：https://www.sigplan.org/cc/episodes/ranjit-jhala/

發佈日期：2025/5/21 上午8:00:00

說明

a podcast from SIGPLAN about programming languages research

來源 URL

https://sigplan.org/cc/rss.xml

Apple Podcasts：評論

無條目