Current Continuation
Current Continuation
Podcast Description
a podcast from SIGPLAN about programming languages research
Podcast Insights
Content Themes
The podcast covers various themes in programming languages research, including program verification, hardware description languages, and type systems. Episodes like the one with Dr. Satnam Singh discuss topics such as analyzing hardware descriptions and the impact of various programming paradigms, while the inaugural episode with Prof. Ranjit Jhala delves into concepts like Lazy Abstraction and Liquid Types, providing listeners with a blend of theoretical insights and practical implications.
a podcast from SIGPLAN about programming languages research
In this episode, we talk to Dr. Satnam Singh who is a scientist at Groq.
Zoom failed us and Adrian’s camera wasn’t captured in the recording.
(It turns out that if you turn off “self view” in Zoom, that also turns off your video stream in the recording.)
Links
- Groq
- Sinclair ZX80
- Sinclair ZX Spectrum
- BBC Micro
- 6502 processor
- BBC BASIC
- Deutsches Elektronen-Synchrotron
- David Watt
- Ada
- Programmable Array Logic (PAL)
- Programmable logic array (PLA)
- Robin Milner
- Mary Sheeran
- Transputer
- Occam
- Miranda
- GHC
- Stephen Blott
- Satnam’s thesis, “Analysis of Hardware Descriptions” (1991)
- Verilog
- VHDL
- SystemVerilog
- Lava
- Bluespec
- I unfortunately couldn’t find a good link for John Gray.
- “Checking Safety Properties Using Induction and a SAT-Solver,” FMCAD 2000
- Logical equivalence checking
- egg
- MLIR
- JasperGold
- Phil Wadler
- Simon Peyton Jones
- John Hughes
- John Launchbury
- Simon Marlow
- Graham Hutton
- Susan Spence and Persistent Java
- Bill Carter
- Satnam’s blog post, “Abuse and Bullying: An Ad Hoc Personal Survival Guide”
- Systolic array
- Ian Pratt
- XenSource
- Verilator
- YosysHQ
- Tobias Grosser
- Lean-MLIR
- Daniel Spoonhower
- Bob Harper
- Lindsey Kuper
- REACH conference
- Alastair Donaldson
- FP Castle
- Schloss Dagstuhl
- Brett
- NOPI
- Octomore
Disclaimer
This podcast’s information is provided for general reference and was obtained from publicly accessible sources. The Podcast Collaborative neither produces nor verifies the content, accuracy, or suitability of this podcast. Views and opinions belong solely to the podcast creators and guests.
For a complete disclaimer, please see our Full Disclaimer on the archive page. The Podcast Collaborative bears no responsibility for the podcast’s themes, language, or overall content. Listener discretion is advised. Read our Terms of Use and Privacy Policy for more details.