2013 Archives by thread

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

Starting: Thu Feb 28 09:41:10 EST 2013
Ending: Wed Nov 27 10:36:50 EST 2013
Messages: 48

• [Pl-seminar] Call for Papers - ASE 2013   ASE2013
• [Pl-seminar] 4/24: Marco Gaboardi, "A language for Differential Privacy"   Vincent St-Amour
  • [Pl-seminar] TIME CHANGE: 4/24: Marco Gaboardi, "A language for Differential Privacy"   Vincent St-Amour
    • [Pl-seminar] preliminary announcement -- Fritz Henglein at NUPRL   Matthias Felleisen
• [Pl-seminar] ASE 2013: Second call for papers   ASE2013
• [Pl-seminar] 5/1: Paul Stansifer, Generalizing α-equivalence in Romeo   Vincent St-Amour
  • [Pl-seminar] Time Change: 5/1: Paul Stansifer, Generalizing α-equivalence in Romeo   Vincent St-Amour
    • [Pl-seminar] Time Change: 5/1: Paul Stansifer, Generalizing α-equivalence in Romeo   Mitchell Wand
    • [Pl-seminar] Time Change: 5/1: Paul Stansifer, Generalizing α-equivalence in Romeo   Vincent St-Amour
    • [Pl-seminar] Second Time Change: 5/1: Paul Stansifer, Generalizing α-equivalence in Romeo   Vincent St-Amour
      • [Pl-seminar] Fritz Henglein at NU PRL: Monday 29 April 11:45am   Matthias Felleisen
• [Pl-seminar] 5/16: Christian Skalka, A Principled Approach to Practical Embedded Device Programming   Vincent St-Amour
• [Pl-seminar] 5/29: Eli Ben-Sasson, Universal and Affordable Computational Integrity, or, Succinctly, from C to PCP   Vincent St-Amour
  • [Pl-seminar] REMINDER: 5/29: Eli Ben-Sasson, Universal and Affordable Computational Integrity, or, Succinctly, from C to PCP   Vincent St-Amour
• Boston Lisp Meeting 2013-05-23T18:30 THIS THURSDAY! Faré: Tutorial on ASDF3   Francois-Rene Rideau
• [Pl-seminar] 6/4: Scott Kilpatrick, Backpack: Retrofitting Haskell with Interfaces   Vincent St-Amour
  • [Pl-seminar] 6/4: Scott Kilpatrick, Backpack: Retrofitting Haskell with Interfaces   Vincent St-Amour
• [Pl-seminar] 6/6: Thomas Wahl, Symmetry-aware predicate abstraction for shared-variable concurrent programs   Vincent St-Amour
  • [Pl-seminar] 6/6: Thomas Wahl, Symmetry-aware predicate abstraction for shared-variable concurrent programs   Vincent St-Amour
• [Pl-seminar] 6/24: Kathryn McKinley, The Yin and Yang of Hardware Heterogeneity: Can Software Survive?   Vincent St-Amour
• [Pl-seminar] 7/18: Niko Matsakis, "Guaranteeing memory safety in Rust"   Vincent St-Amour
• [Pl-seminar] CFP: ASE 2013 Workshops   ASE2013
• [Pl-seminar] IBM PL Day (joint with NEPLS and NJPLS)   Shriram Krishnamurthi
• [Pl-seminar] 9/11: Justin Slepak, "Polyhedral Scheduling"   Vincent St-Amour
  • [Pl-seminar] 9/11: Justin Slepak, "Polyhedral Scheduling"   Vincent St-Amour
• [Pl-seminar] 9/30: NEU PRL Symposium Day: Jan Vitek, Michael Sperber and Ravi Chugh   Vincent St-Amour
  • [Pl-seminar] Reminder: 9/30: NEU PRL Symposium Day: Jan Vitek, Michael Sperber and Ravi Chugh   Vincent St-Amour
    • [Pl-seminar] Reminder: 9/30: NUPRL Symposium Day: Jan Vitek, Michael Sperber and Ravi Chugh   Vincent St-Amour
      • [Pl-seminar] Reminder: 9/30: NUPRL Symposium Day: Jan Vitek, Michael Sperber and Ravi Chugh   Vincent St-Amour
• [Pl-seminar] RacketCon full schedule   Asumu Takikawa
  • [Pl-seminar] RacketCon full schedule   Jim Shargo
  • [Pl-seminar] Upcoming IBM PL Day (w/ NEPLS and NJPLS)   Shriram Krishnamurthi
• [Pl-seminar] ASE 2013: Call for participation   ASE2013
• [Pl-seminar] 10/2: Barry Jay, "Generic Queries"   Vincent St-Amour
• [Pl-seminar] 10/9: Claire Alvis, "Increasing the Expressive Power of Constraints in a Functional World"   Vincent St-Amour
• [Pl-seminar] 10/16: Phil Nguyen, "Contract Checking by Evaluation"   Vincent St-Amour
  • [Pl-seminar] 10/16: Phil Nguyen, "Contract Checking by Evaluation"   Vincent St-Amour
• [Pl-seminar] 10/23: Nicholas R. Labich, "Analyzing JavaScript: The Bad Parts"   Vincent St-Amour
  • [Pl-seminar] 10/23: Nicholas R. Labich, "Analyzing JavaScript: The Bad Parts"   Vincent St-Amour
    • [Pl-seminar] No PL seminar tomorrow (10/30)   Amal Ahmed
• [Pl-seminar] 11/6: William J. Bowman, "Profile-directed (meta-)programming"   Vincent St-Amour
  • [Pl-seminar] 11/6: William J. Bowman, "Profile-directed (meta-)programming"   Vincent St-Amour
• [Pl-seminar] 11/13: Jonathan Schuster, "Protocol Engineering: An Overview"   Vincent St-Amour
  • [Pl-seminar] 11/13: Jonathan Schuster, "Protocol Engineering: An Overview"   Vincent St-Amour
• [Pl-seminar] 11/20: Jonathan Edwards, "Dynamic => Static"   Vincent St-Amour
  • [Pl-seminar] 11/20: Jonathan Edwards, "Dynamic => Static"   Vincent St-Amour
    • [Pl-seminar] 11/20: Jonathan Edwards, "Dynamic => Static"   Vincent St-Amour
• [Pl-seminar] 12/4: Andrew Appel, Program Logics for Certified Compilers   Vincent St-Amour

Last message date: Wed Nov 27 10:36:50 EST 2013
Archived on: Wed Nov 27 10:38:30 EST 2013

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