Date: | Sun, 21 Jan 2018 15:10:05 -0600 |
---|---|
From: | "Loris D'Antoni" <loris@xxxxxxxxxxx> |
Subject: | Re: [pl-seminar] project ideas |
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:
|
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | Re: [pl-seminar] project ideas, Thomas Reps |
---|---|
Next by Date: | Re: [pl-seminar] project ideas, Loris D'Antoni |
Previous by Thread: | Re: [pl-seminar] project ideas, Thomas Reps |
Next by Thread: | Re: [pl-seminar] project ideas, Loris D'Antoni |
Indexes: | [Date] [Thread] |