<a href="http://lists.cs.wisc.edu/mailman/listinfo/pl-seminar">pl-seminar</a> Archives Mail Index

Mailing List Archives Authenticated access	UW Madison Computer Sciences Department Computer Systems Lab

Friday, July 12, 2019

Re: [pl-seminar] CAV practice talk reschedule, Qinheping HU

Thursday, July 11, 2019

[pl-seminar] CAV practice talk reschedule, Samuel Drews

Wednesday, July 10, 2019

[pl-seminar] CAV practice talk tomorrow, 1:30pm rm 3310, Samuel Drews

Wednesday, July 03, 2019

Re: [pl-seminar] A Programmable Programming Language, MICHAEL VAUGHN
[pl-seminar] A Programmable Programming Language, Mark D. Hill

Monday, July 01, 2019

Re: [pl-seminar] PL students regular group lunch, Samuel Drews

Wednesday, June 26, 2019

[pl-seminar] PL students regular group lunch, Samuel Drews

Monday, June 24, 2019

Re: [pl-seminar] A monad is just a monoid in the category of endofunctors. What's the problem?, JOHN CYPHERT

Sunday, June 23, 2019

[pl-seminar] A monad is just a monoid in the category of endofunctors. What's the problem?, JOHN CYPHERT

Thursday, June 13, 2019

[pl-seminar] Fwd: Potential program analysis candidates, Loris D'Antoni

Tuesday, June 04, 2019

Re: [pl-seminar] Monad monologue on Monday, JOHN CYPHERT

Friday, May 31, 2019

[pl-seminar] Monad monologue on Monday, JOHN CYPHERT

Friday, May 17, 2019

[pl-seminar] Talk on Monday @ 12pm in CS4310, Calvin Smith

Thursday, May 09, 2019

Re: [pl-seminar] Talk on Monday at noon in CS 4310, JOHN CYPHERT

Tuesday, May 07, 2019

Re: [pl-seminar] Terrace madPL extravaganza, Loris D'Antoni

Monday, May 06, 2019

Re: [pl-seminar] Talk on Monday at noon in CS 4310, Calvin Smith
[pl-seminar] Talk on Monday at noon in CS 4310, Calvin Smith

Thursday, May 02, 2019

Re: [pl-seminar] Terrace madPL extravaganza, Qinheping HU

Tuesday, April 30, 2019

[pl-seminar] Sam Drews' prelim is right now in 4310, Loris D'Antoni

Monday, April 29, 2019

Re: [pl-seminar] Terrace madPL extravaganza, Jason Breck
Re: [pl-seminar] Terrace madPL extravaganza, JOHN CYPHERT
Re: [pl-seminar] Terrace madPL extravaganza, JORDAN J HENKEL

Sunday, April 28, 2019

[pl-seminar] Terrace madPL extravaganza, Loris D'Antoni

Friday, April 26, 2019

[pl-seminar] Talk Monday (4/29) at noon in CS 4310, Calvin Smith

Wednesday, April 24, 2019

[pl-seminar] Can someone create a poll for a terrace outing?, Loris D'Antoni

Tuesday, April 16, 2019

[pl-seminar] Talk at 11am tomorrow, Calvin Smith

Monday, April 15, 2019

[pl-seminar] Can someone bring the coffee upstairs from the talk room, Loris D'Antoni
Re: [pl-seminar] Talk at noon on Monday (4/15) in CS 3310, Loris D'Antoni
Re: [pl-seminar] Talk at noon on Monday (4/15) in CS 3310, Aws Albarghouthi

Friday, April 12, 2019

[pl-seminar] Talk at noon on Monday (4/15) in CS 3310, Calvin Smith

Wednesday, April 10, 2019

Re: [pl-seminar] Nadia Polikarpova's madPL visit, Loris D'Antoni

Monday, April 08, 2019

[pl-seminar] Talk by Wolfgang Kunz April 9 11:00am 2310 CS (formal work re Meltdown/Spectre), Mark D. Hill
Re: [pl-seminar] Talk at noon on 4/08 in 4310, Samuel Drews

Friday, April 05, 2019

[pl-seminar] Talk at noon on 4/08 in 4310, Calvin Smith

Thursday, April 04, 2019

[pl-seminar] Talk by Wolfgang Kunz April 9 11:00am 2310 CS (formal work re Meltdown/Spectre), Mark D. Hill

Tuesday, April 02, 2019

[pl-seminar] Nadia Polikarpova's madPL visit, Loris D'Antoni

Friday, March 29, 2019

[pl-seminar] Talk @ noon on 4/01 - not a joke, Calvin Smith
Re: [pl-seminar] Graduate Student Research Symposium, DAVID MERRELL
[pl-seminar] Graduate Student Research Symposium, DAVID MERRELL

Friday, March 22, 2019

[pl-seminar] Talk Update (3/25/2019) - The Dilemma of Shape Analysis, Calvin Smith
[pl-seminar] PL Seminar @ noon on 3/25/2019, Calvin Smith

Tuesday, March 19, 2019

[pl-seminar] March Madness, JOHN CYPHERT

Friday, March 15, 2019

[pl-seminar] PL Seminar - Intro to Category Theory, Calvin Smith
[pl-seminar] Interesting article, Aws Albarghouthi

Monday, March 11, 2019

[pl-seminar] FW: MSR Cambridge UK Intern Slot, Thomas Reps

Sunday, March 10, 2019

Re: [pl-seminar] PL-Arch Discussion on Spectre & Meltdown 10am Monday March 11 in 2310 CS, Mark D. Hill

Friday, March 01, 2019

[pl-seminar] PL-Arch Discussion on Spectre & Meltdown 10am Monday March 11 in 2310 CS, Mark D. Hill

Tuesday, February 26, 2019

Re: [pl-seminar] PL-Arch Discussion on Spectre & Meltdown, Mark D. Hill
Re: [pl-seminar] PL-Arch Discussion on Spectre & Meltdown, Thomas Reps

Monday, February 25, 2019

Re: [pl-seminar] PL-Arch Discussion on Spectre & Meltdown, MICHAEL VAUGHN

Mailing List Archives

Authenticated access

pl-seminar Archives Mail Index