Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

[← Prev]  [Date]  [Next →] [← Prev]  [Thread]  [Next →]

[pl-seminar] Distinguished paper at POPL

Date: Wed, 15 Jan 2020 15:04:39 +0000
From: Aws Albarghouthi <aws@xxxxxxxxxxx>
Subject: [pl-seminar] Distinguished paper at POPL 
It appears that Justin has a distinguished paper at POPL, but he's
*guarded* about it:

https://popl20.sigplan.org/program/program-POPL-2020?badge=Distinguished%20Paper
Guarded Kleene Algebra with Tests: Verification of Uninterpreted
Programs in Nearly Linear Time

Congrats, Justin!

-- 
Aws
[← Prev in Thread] Current Thread [Next in Thread→]
  • [pl-seminar] Distinguished paper at POPL, Aws Albarghouthi <=
Previous by Date:  [pl-seminar] Spring PL Seminar, JOHN CYPHERT
Next by Date:  [pl-seminar] First PL Seminar, JOHN CYPHERT
Previous by Thread:  [pl-seminar] COVID-19 and madPL, Loris D'Antoni
Next by Thread:  [pl-seminar] First PL Seminar, JOHN CYPHERT
Indexes:  [Date] [Thread]