2019 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Thu Jan 24 10:29:22 EST 2019
Ending: Tue Dec 3 10:03:47 EST 2019
Messages: 46

• [Pl-seminar] 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: 30th January : François-René Rideau: Better Stories, Better Languages — Reframing from Programs to Programming   Aviral Goel
• [Pl-seminar] 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 February : Lucas Waye: Whip: Higher-order Contracts for Modern Services   Aviral Goel
• [Pl-seminar] 13th February: Ben Titzer: What Spectre means for language implementors   Aviral Goel
  • [Pl-seminar] Fwd: 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] 21st February: Manas Thakur: Compare Less, Defer More: Scaling Value-Contexts Based Whole-Program Heap Analyses   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] 6th March: David Pichardie: Verification of constant-time implementations in a verified compiler toolchain   Aviral Goel
  • [Pl-seminar] Fwd: 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] Short-notice announcement: this Thursday: Roopsha Samanta/Purdue Univ.: Component-based Parameterized Reasoning for Distributed Applications   Thomas Wahl
  • [Pl-seminar] Reminder + Room Change: (tomorrow) Roopsha Samanta/Purdue Univ.: Component-based Parameterized Reasoning for Distributed Applications   Thomas Wahl
• [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] 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] 22nd March: Aquinas Hobor: Mechanized Verification of Graph-manipulating Programs   Aviral Goel
  • [Pl-seminar] Fwd: 22nd March: Aquinas Hobor: Mechanized Verification of Graph-manipulating Programs   Aviral Goel
• [Pl-seminar] Fwd: Call For Papers: The 20th Annual Workshop on Scheme and Functional Programming, 2019   Mitchell Wand
• [Pl-seminar] 2nd May: Frank Pfenning: A rehabilitation of message-passing concurrency   Aviral Goel
  • [Pl-seminar] Fwd: 2nd May: Frank Pfenning: A rehabilitation of message-passing concurrency   Aviral Goel
• [Pl-seminar] 5/29 Seminar: Carlos Mão de Ferro: Safe programming of IoT devices   Aaron Weiss
  • [Pl-seminar] Seminar TOMORROW: 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] 9/26 Seminar: Ross Tate: Towards Gradually Typed Nominal Languages   Nathaniel Yazdani
  • [Pl-seminar] Seminar TOMORROW: Ross Tate: Towards Gradually Typed Nominal Languages   Nathaniel Yazdani
• [Pl-seminar] 10/4 Seminar: Ralf Jung: "Understanding and evolving the Rust programming language"   Nathaniel Yazdani
  • [Pl-seminar] TODAY: 10/4 Seminar: Ralf Jung: "Understanding and evolving the Rust programming language"   Amal Ahmed
• [Pl-seminar] Seminar TOMORROW: Yuriy Brun: "Software Fairness"   Nathaniel Yazdani
  • [Pl-seminar] TIME CHANGED TO 1:30PM: Seminar TOMORROW: Yuriy Brun: "Software Fairness"   Nathaniel Yazdani
    • [Pl-seminar] POSTPONED: Seminar: Yuriy Brun: "Software Fairness"   Nathaniel Yazdani
• [Pl-seminar] 11/12 Seminar: Arjun Guha: "Faster, Safer, and Cheaper Serverless Computing using Language-Based Techniques"   Nathaniel Yazdani
  • [Pl-seminar] Reminder: 11/12 Seminar: Arjun Guha: "Faster, Safer, and Cheaper Serverless Computing using Language-Based Techniques"   Nathaniel Yazdani
    • [Pl-seminar] Seminar TOMORROW: 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

Last message date: Tue Dec 3 10:03:47 EST 2019
Archived on: Tue Dec 3 10:03:51 EST 2019

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...