Re: [pl-seminar] project ideas

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

Also something related to thisÂ

https://blog.avast.com/avast-open-sources-its-machine-code-decompiler

On Sun, Jan 21, 2018 at 3:10 PM, Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

Random thoughts:

- Rebuild the peephole opt verifier Alive

- devise compilation strategies for probabilistic programs

- somehow adapt this idea to treesÂhttps://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/asplos302-mytkowicz.pdf

On Sun, Jan 21, 2018 at 2:50 PM, Thomas Reps <reps@xxxxxxxxxxx> wrote:

More compilation-oriented suggestions for CS 701 would be appreciated, too.

Â

Thank,

Â

Tom

Â

From: Pl-seminar [mailto:pl-seminar-bounces@cs.wisc.edu] On Behalf Of Aws Albarghouthi
Sent: Sunday, January 21, 2018 12:39 PM
To: pl-seminar@xxxxxxxxxxx
Subject: [pl-seminar] project ideas

Â

Hello all,

Â

I'm teaching CS704 this term. I usually send a list of project ideas on the first week of class. Do you have ideas for course project ideas that I can add?Â

Â

I've always written the list myself, but this makes it skewed to my interests and views. I thought I'd diversify it this time.

Â

Thanks!

Â

--Â

Aws

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