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

[Robert M. Münch]

On 2020-06-15 13:01:02 +0000, Timon Gehr said:

> The talk will be on YouTube.

Great.

> 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

Thanks, somehow missed these.

What's the main difference of your approach WRT something like this: 
http://pyro.ai/

BTW: I'm located in Zug... so not far away from you guys.

-- 
Robert M. Münch
http://www.saphirion.com
smarter | better | faster