This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry!
Robert M. Münch
robert.muench at saphirion.com
Tue Jun 16 15:35:25 UTC 2020
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
More information about the Digitalmars-d-announce
mailing list