2016 Archives by date

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

Starting: Thu Jan 7 00:45:44 EST 2016
Ending: Wed Dec 14 08:16:23 EST 2016
Messages: 67

• [Pl-seminar] 01/13 Seminar: Santosh Nagarakatte, Lightweight Formal Methods for LLVM Verification   William J. Bowman
• [Pl-seminar] Sukyoung to speak on Feb 19   Matthias Felleisen
• [Pl-seminar] Sukyoung to speak on Feb 19   Matthias Felleisen
• [Pl-seminar] 1/14 Seminar: Viktor Vafeiadis, Program verification under weak memory consistency   William J. Bowman
• [Pl-seminar] TIME CHANGE: 12:30--14:00, for 1/14 Seminar: Viktor Vafeiadis, Program verification under weak memory consistency   William J. Bowman
• [Pl-seminar] Reminder: TODAY 12:30--14:00, Viktor Vafeiadis, Program verification under weak memory consistency   William J. Bowman
• [Pl-seminar] Mon. 1/25 Seminar: Marco Patrignani, Secure Compilation to Protected Module Architectures   William J. Bowman
• [Pl-seminar] Wed. 1/27 Seminar: Ori Lahav, Taming release-acquire consistency   William J. Bowman
• [Pl-seminar] Reminder: TOMORROW: Ori Lahav, Taming release-acquire consistency   William J. Bowman
• [Pl-seminar] Feb. 22 Seminar: Satish Chandra, JavaScript in the Small   William J. Bowman
• [Pl-seminar] Feb. 22 Seminar: Satish Chandra, JavaScript in the Small   William J. Bowman
• [Pl-seminar] Reminder: Sukyoung to speak this Friday   William J. Bowman
• [Pl-seminar] Reminder: Monday, Feb. 22 Seminar: Satish Chandra, JavaScript in the Small   William J. Bowman
• [Pl-seminar] Fri. 2/25 Seminar: Dominique Devriese, Reasoning about Object Capabilities with Logical Relations and Effect Parametricity   William J. Bowman
• [Pl-seminar] Correction: Thu. 2/25 Seminar: Dominique Devriese, Reasoning about Object Capabilities with Logical Relations and Effect Parametricity   William J. Bowman
• [Pl-seminar] 4/5 Seminar: Julia Rubin, The Secret Life of Mobile Applications   William J. Bowman
• [Pl-seminar] Reminder: Seminar TOMORROW: Julia Rubin, The Secret Life of Mobile Applications   William J. Bowman
• [Pl-seminar] 4/15 Seminar: Alex Aiken, STOKE: Search-Based Compiler Optimization   William J. Bowman
• [Pl-seminar] Time change for 4/15 Seminar: Alex Aiken, STOKE: Search-Based Compiler Optimization   William J. Bowman
• [Pl-seminar] Tomorrow, 10:30am: Alex Aiken, STOKE: Search-Based Compiler Optimization   William J. Bowman
• [Pl-seminar] 5/2 Seminar: Charles Consel, Internet of Things: From Small- to Large-Scale Orchestration   William J. Bowman
• [Pl-seminar] Reminder: Seminar Tomorrow: Charles Consel, Internet of Things: From Small- to Large-Scale Orchestration   William J. Bowman
• [Pl-seminar] 5/11 Seminar: Gabriel Scherer, New language ideas for user-defined side-effects: algebraic effect handlers   William J. Bowman
• [Pl-seminar] 5/11 Seminar: Gabriel Scherer, New language ideas for user-defined side-effects: algebraic effect handlers   William J. Bowman
• [Pl-seminar] 5/18 Seminar: Gabriel Scherer, New language ideas for user-defined side-effects: algebraic effect handlers   William J. Bowman
• [Pl-seminar] Tomorrow: Gabriel Scherer, New language ideas for user-defined side-effects: algebraic effect handlers   William J. Bowman
• [Pl-seminar] 6/17 Seminar: Jay McCarthy, A Coq Library For Internal Verification of Running-Times   William J. Bowman
• [Pl-seminar] Reminder: Seminar Tomorrow: Jay McCarthy, A Coq Library For Internal Verification of Running-Times   William J. Bowman
• [Pl-seminar] 7/5 Seminar: James Mickens, Leveraging Fine-grained Data Flows in Web Applications   William J. Bowman
• [Pl-seminar] Reminder: Seminar Tomorrow: James Mickens, Leveraging Fine-grained Data Flows in Web Applications   William J. Bowman
• [Pl-seminar] One-on-one meetings with James Mickens   William J. Bowman
• [Pl-seminar] 7/13 Seminar: Noam Zeilberger, A Categorical Perspective on Type Refinement   William J. Bowman
• [Pl-seminar] Reminder: Seminar Tomorrow: Noam Zeilberger, A Categorical Perspective on Type Refinement   William J. Bowman
• [Pl-seminar] 9/15 Seminar: Jan Vitek, Performance in Julia   William J. Bowman
• [Pl-seminar] 9/29 Seminar: Philipp Haller, LaCasa: Lightweight Affinity and Object Capabilities in Scala   Daniel Patterson
• [Pl-seminar] 10/6 Seminar: Koushik Sen, Concolic Testing: A Decade Later   Daniel Patterson
• [Pl-seminar] Amendment: 9/29 Seminar: Philipp Haller, LaCasa: Lightweight Affinity and Object Capabilities in Scala   Daniel Patterson
• [Pl-seminar] Reminder: Seminar Tomorrow: Philipp Haller, LaCasa: Lightweight Affinity and Object Capabilities in Scala   Daniel Patterson
• [Pl-seminar] Correction/Reminder: 10/6 Seminar: Koushik Sen, Concolic Testing: A Decade Later   Daniel Patterson
• [Pl-seminar] 10/13 Seminar: Thomas Wahl, Behavioral Non-Portability in Decision-Making Programs   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TOMORROW: Koushik Sen, Concolic Testing: A Decade Later   Daniel Patterson
• [Pl-seminar] Reminder: 10/13 Seminar: Thomas Wahl, Behavioral Non-Portability in Decision-Making Programs   Daniel Patterson
• [Pl-seminar] 10/20 Seminar: Ming-Ho Yee, Implementing a Functional Language for Flix   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TOMORROW: Thomas Wahl, Behavioral Non-Portability in Decision-Making Programs   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TOMORROW: Thomas Wahl, Behavioral Non-Portability in Decision-Making Programs   Gabriel Scherer
• [Pl-seminar] Reminder: 10/20 Seminar: Ming-Ho Yee, Implementing a Functional Language for Flix   Daniel Patterson
• [Pl-seminar] 10/27 Seminar: Christopher Meiklejohn, Declarative, Convergent Edge Computation   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TOMORROW: Ming-Ho Yee, Implementing a Functional Language for Flix   Daniel Patterson
• [Pl-seminar] 10/25 Seminar: Julien Verlaguet & Brett Simmers: The Hack Experiment & HHVM, Then And Now   Daniel Patterson
• [Pl-seminar] Reminder: 10/27 Seminar: Christopher Meiklejohn, Declarative, Convergent Edge Computation   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TOMORROW: Julien Verlaguet & Brett Simmers: The Hack Experiment & HHVM, Then And Now   Daniel Patterson
• [Pl-seminar] 10/25 Seminar: Julien Verlaguet & Brett Simmers: The Hack Experiment & HHVM, Then And Now   Gabriel Scherer
• [Pl-seminar] 11/3 Seminar: Ryan Culpepper, Contextual Equivalence of Probabilistic Programs   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TOMORROW: Christopher Meiklejohn, Declarative, Convergent Edge Computation   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TOMORROW: Ryan Culpepper, Contextual Equivalence of Probabilistic Programs   Daniel Patterson
• [Pl-seminar] 12/1 Seminar: Julian Dolby, Analysis of Android hybrid applications and other fun with WALA   Daniel Patterson
• [Pl-seminar] 11/28 Seminar: Zena Ariola, Sequent calculus as a programming language   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TODAY: Zena Ariola, Sequent calculus as a programming language   Daniel Patterson
• [Pl-seminar] 12/8 Seminar: Gabriel Scherer, Deciding program equivalence with sums and the empty type   Daniel Patterson
• [Pl-seminar] Date Change: 12/5 Seminar: Gabriel Scherer, Deciding program equivalence with sums and the empty type   Daniel Patterson
• [Pl-seminar] Reminder: Seminar Tomorrow: Julian Dolby, Analysis of Android hybrid applications and other fun with WALA   Daniel Patterson
• [Pl-seminar] Date Change AGAIN: 12/7 Seminar: Gabriel Scherer, Deciding program equivalence with sums and the empty type   Daniel Patterson
• [Pl-seminar] 12/15 Seminar: Max New, Retractions and Blame   Daniel Patterson
• [Pl-seminar] My spring class on Coq proofs of program correctness   Adam Chlipala
• [Pl-seminar] Reminder: Seminar TOMORROW: Gabriel Scherer, Deciding program equivalence with sums and the empty type   Daniel Patterson
• [Pl-seminar] Reminder: 12/15 Seminar: Max New, Retractions and Blame   Daniel Patterson
• [Pl-seminar] Reminder: Seminar TOMORROW: Max New, Retractions and Blame   Daniel Patterson

Last message date: Wed Dec 14 08:16:23 EST 2016
Archived on: Wed Dec 14 08:16:40 EST 2016

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