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-ProgramsThis 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
