This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry!

[Timon Gehr]

On 15.06.20 08:58, Robert M. Münch wrote:
> On 2020-06-14 20:22:41 +0000, Timon Gehr said:
> 
>> https://pldi20.sigplan.org/details/pldi-2020-papers/46/-PSI-Exact-Inference-for-Higher-Order-Probabilistic-Programs 
>>
> 
> This one sounds pretty interesting. Will there be a recording and a 
> published paper be available?
> 

The talk will be on YouTube.

Papers:
https://www.sri.inf.ethz.ch/publications/bichsel2020silq
https://www.sri.inf.ethz.ch/publications/gehr2020lpsi

Source code:
https://github.com/eth-sri/silq
https://github.com/eth-sri/psi/tree/new-types