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