2019 Archives by subject
Starting: Thu Jan 24 10:29:22 EST 2019
Ending: Tue Dec 3 10:03:47 EST 2019
Messages: 46
- [Pl-seminar] 10/4 Seminar: Ralf Jung: "Understanding and evolving the Rust programming language"
Nathaniel Yazdani
- [Pl-seminar] 11/12 Seminar: Arjun Guha: "Faster, Safer, and Cheaper Serverless Computing using Language-Based Techniques"
Nathaniel Yazdani
- [Pl-seminar] 13th February: Ben Titzer: What Spectre means for language implementors
Aviral Goel
- [Pl-seminar] 13th February: Ben Titzer: What Spectre means for language implementors
Aviral Goel
- [Pl-seminar] 14th February: Cindy Rubio-González: Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Aviral Goel
- [Pl-seminar] 14th February: Cindy Rubio-González: Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Aviral Goel
- [Pl-seminar] 15th February: Chung-Kil Hur: Promising-ARM/RISC-V: a simpler and faster operational concurrency model
Aviral Goel
- [Pl-seminar] 15th February: Chung-Kil Hur: Promising-ARM/RISC-V: a simpler and faster operational concurrency model
Aviral Goel
- [Pl-seminar] 15th February: Chung-Kil Hur: Promising-ARM/RISC-V: a simpler and faster operational concurrency model
Amal Ahmed
- [Pl-seminar] 19th March: François Gauthier: From C to Java EE to Node.js: A Journey in Industrial Program Analysis
Aviral Goel
- [Pl-seminar] 19th March: François Gauthier: From C to Java EE to Node.js: A Journey in Industrial Program Analysis
Aviral Goel
- [Pl-seminar] 21st February: Manas Thakur: Compare Less, Defer More: Scaling Value-Contexts Based Whole-Program Heap Analyses
Aviral Goel
- [Pl-seminar] 22nd March: Aquinas Hobor: Mechanized Verification of Graph-manipulating Programs
Aviral Goel
- [Pl-seminar] 2nd May: Frank Pfenning: A rehabilitation of message-passing concurrency
Aviral Goel
- [Pl-seminar] 30th January : François-René Rideau: Better Stories, Better Languages — Reframing from Programs to Programming
Aviral Goel
- [Pl-seminar] 5/29 Seminar: Carlos Mão de Ferro: Safe programming of IoT devices
Aaron Weiss
- [Pl-seminar] 6/19 Seminar: Jeremy Gibbons: Asymmetric Numeral Systems
Justin R. Slepak
- [Pl-seminar] 6th February : Lucas Waye: Whip: Higher-order Contracts for Modern Services
Aviral Goel
- [Pl-seminar] 6th March: David Pichardie: Verification of constant-time implementations in a verified compiler toolchain
Aviral Goel
- [Pl-seminar] 6th March: David Pichardie: Verification of constant-time implementations in a verified compiler toolchain
Aviral Goel
- [Pl-seminar] 9/26 Seminar: Ross Tate: Towards Gradually Typed Nominal Languages
Nathaniel Yazdani
- [Pl-seminar] Fwd: 13th February: Ben Titzer: What Spectre means for language implementors
Aviral Goel
- [Pl-seminar] Fwd: 19th March: François Gauthier: From C to Java EE to Node.js: A Journey in Industrial Program Analysis
Aviral Goel
- [Pl-seminar] Fwd: 19th March: François Gauthier: From C to Java EE to Node.js: A Journey in Industrial Program Analysis
Aviral Goel
- [Pl-seminar] Fwd: 21st February: Manas Thakur: Compare Less, Defer More: Scaling Value-Contexts Based Whole-Program Heap Analyses
Aviral Goel
- [Pl-seminar] Fwd: 22nd March: Aquinas Hobor: Mechanized Verification of Graph-manipulating Programs
Aviral Goel
- [Pl-seminar] Fwd: 2nd May: Frank Pfenning: A rehabilitation of message-passing concurrency
Aviral Goel
- [Pl-seminar] Fwd: 30th January : François-René Rideau: Better Stories, Better Languages — Reframing from Programs to Programming
Aviral Goel
- [Pl-seminar] Fwd: 30th January : François-René Rideau: Better Stories, Better Languages — Reframing from Programs to Programming
Aviral Goel
- [Pl-seminar] Fwd: 6th February : Lucas Waye: Whip: Higher-order Contracts for Modern Services
Aviral Goel
- [Pl-seminar] Fwd: 6th February : Lucas Waye: Whip: Higher-order Contracts for Modern Services
Aviral Goel
- [Pl-seminar] Fwd: 6th March: David Pichardie: Verification of constant-time implementations in a verified compiler toolchain
Aviral Goel
- [Pl-seminar] Fwd: Call For Papers: The 20th Annual Workshop on Scheme and Functional Programming, 2019
Mitchell Wand
- [Pl-seminar] POSTPONED: Seminar: Yuriy Brun: "Software Fairness"
Nathaniel Yazdani
- [Pl-seminar] Reminder + Room Change: (tomorrow) Roopsha Samanta/Purdue Univ.: Component-based Parameterized Reasoning for Distributed Applications
Thomas Wahl
- [Pl-seminar] Reminder: 11/12 Seminar: Arjun Guha: "Faster, Safer, and Cheaper Serverless Computing using Language-Based Techniques"
Nathaniel Yazdani
- [Pl-seminar] Seminar 12/3: Zoe Paraskevopoulou: "CertiCoq: Current and Future Directions"
Nathaniel Yazdani
- [Pl-seminar] Seminar 12/3: Zoe Paraskevopoulou: "CertiCoq: Current and Future Directions"
Nathaniel Yazdani
- [Pl-seminar] Seminar 12/3: Zoe Paraskevopoulou: "CertiCoq: Current and Future Directions"
Amal Ahmed
- [Pl-seminar] Seminar TOMORROW: Arjun Guha: "Faster, Safer, and Cheaper Serverless Computing using Language-Based Techniques"
Nathaniel Yazdani
- [Pl-seminar] Seminar TOMORROW: Carlos Mão de Ferro: Safe programming of IoT devices
Aaron Weiss
- [Pl-seminar] Seminar TOMORROW: Ross Tate: Towards Gradually Typed Nominal Languages
Nathaniel Yazdani
- [Pl-seminar] Seminar TOMORROW: Yuriy Brun: "Software Fairness"
Nathaniel Yazdani
- [Pl-seminar] Short-notice announcement: this Thursday: Roopsha Samanta/Purdue Univ.: Component-based Parameterized Reasoning for Distributed Applications
Thomas Wahl
- [Pl-seminar] TIME CHANGED TO 1:30PM: Seminar TOMORROW: Yuriy Brun: "Software Fairness"
Nathaniel Yazdani
- [Pl-seminar] TODAY: 10/4 Seminar: Ralf Jung: "Understanding and evolving the Rust programming language"
Amal Ahmed
Last message date:
Tue Dec 3 10:03:47 EST 2019
Archived on: Tue Dec 3 10:03:51 EST 2019
This archive was generated by
Pipermail 0.09 (Mailman edition).