Re: [madPL] POPLooza

[JIALU BAO <jialu@xxxxxxxxxxx>]

There is a new paper added to the folder (unfortunately a week after the deadline in earlier email). Please take a look if youâre interested in some logic stuff or probability stuff. Thanks a lot!!

 

Best wishes,

 

Jialu

 

From: Pl-seminar <pl-seminar-bounces@xxxxxxxxxxx> on behalf of Aws Albarghouthi <aws@xxxxxxxxxxx>
Date: Tuesday, July 7, 2020 at 9:27 PM
To: LORIS D'ANTONI <ldantoni@xxxxxxxx>
Cc: "pl-seminar@xxxxxxxxxxx" <pl-seminar@xxxxxxxxxxx>
Subject: Re: [madPL] POPLooza

 

Left some comments on both papers.

Thanks all! And good luck!

 

On Mon, Jul 6, 2020 at 3:00 PM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

Left comments on both intros

 

On Wed, Jul 1, 2020 at 6:14 PM Aws Albarghouthi <aws@xxxxxxxxxxx> wrote:

2 papers in there already.

It's also inadvertently double blind :)

 

On Tue, Jun 30, 2020 at 1:53 PM Aws Albarghouthi <aws@xxxxxxxxxxx> wrote:

Hello,

 

I'm guessing a bunch of us are submitting to POPL.

 

How about we do the following experiment:

 

1. Add a draft of your paper to this folder by Wednesday, July 1.

Add a google doc for people to write comments in.

https://drive.google.com/drive/folders/1yIDUsDGbdnOpBKYw63gJZjVxBvmRqjI2?usp=sharing

 

2. By Monday, July 6, go through the folder and give comments on every paper.

Even if you just read the intro and/or the first few sections, I think it'll be helpful.

 

Looking forward to reading your drafts! 

 

--

Aws

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

 

--

Aws

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

 

--

-Loris

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

 

--

Aws