Re: [madPL] PL-seminar time

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Ok, we seemed to have found some times. Even though 1 person can't seem to make it, I think we should pick 1-2pm on Fridays. I'm worried that we'll have very boring meetings if we have calls at 4pm.

We'll start next week! Does anyone want to volunteer?

Here are some talks I found interesting at this year's PLDI and I would love to hear more about if you are looking for inspiration.

Data-Driven Inference of Representation Invariants
Type Error Feedback via Analytic Program Repair
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting

CacheQuery: Learning Replacement Policies from Hardware Caches

Semantic Code Search via Equational Reasoning

Question Selection for Interactive Program Synthesis

Reconciling Enumerative and Deductive Program Synthesis

On Wed, Sep 9, 2020 at 9:25 AM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

We couldn't find a time that worked for enough people and now the calendars have filled.

Here is another poll with non-lunch times. Hopefully we find a time that works for most of us.

https://doodle.com/poll/9r9cmr4czyfnrswg

--

-Loris

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

--

-Loris