Pieter Hooimeijer

[Pieter Hooimeijer @thehooj]

@DistributedDave @UofMaryland @USENIXSecurity Congrats!

[Pieter Hooimeijer @thehooj]

@clegoues Is it because you didn't use Batteries?

[Pieter Hooimeijer @thehooj]

Time for my non-ironicallh annual Twitter appearance! Super proud of the Pysa team for today's DefCon tutorial (https://t.co/GgiRJk95Qw), blog post (https://t.co/a1gwUNxsIM), and most of all, a super impactful tool that's now available for anyone to use. Congrats :)

[collin @libber]

Learn about our homebrewed static analysis tool, zoncolan: https://t.co/sT0Jbrdr0g

[collin @libber]

And here is a more detailed blog post on our homebrewed security static analysis tool, Zoncolan: https://t.co/SbGVhBiQMT

[Pieter Hooimeijer @thehooj]

4/4 That will be all for today :)

[Pieter Hooimeijer @thehooj]

3/ My team, in collaboration with Facebook's Infer team, recently published a CACM paper about the state of static analysis at Facebook: https://t.co/QNrVaasNvR . This is super important for demonstrating that sophisticated static analysis can be made to scale.

[Pieter Hooimeijer @thehooj]

2/ My team at Facebook is publicly sharing some of the static analysis stuff we've worked on for the past 4 years. It's fairly groundbreaking :)

https://t.co/8qHQgDL4EX
https://t.co/Xl4Mfr0yZ5

[Pieter Hooimeijer @thehooj]

1/ Multi-tweet time!

Today we announced the winner of the 2019 Internet Defense Prize at #usesec19 : https://t.co/VapxJ4Lxn1 . Super proud to have been able to support this.

[Pieter Hooimeijer @thehooj]

@jeanqasaur @Spotify #sumofallfears

[ISSTA Conference @issta_conf]

#issta19 We are happy to announce that the paper "HAMPI: a solver for string constraints" by Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, published in the ISSTA 2009 proceedings, has been selected to receive the ISSTA 2019 Impact Paper Award.

[Pieter Hooimeijer @thehooj]

@Hillelogram thanks :)

[Pieter Hooimeijer @thehooj]

@jordwalke @amasad @Vjeux @fabiomiranda @libber @reasonml ^ Accurate.

[Pieter Hooimeijer @thehooj]

@amasad @Vjeux @fabiomiranda @libber @reasonml This is based on some Hack type checker fundamentals (OCaml + C) that long predate Reason, so we followed suit.

[Pieter Hooimeijer @thehooj]

@Vjeux @fabiomiranda @libber That's not a bad theory :)

[Pieter Hooimeijer @thehooj]

@libber Much tweet. very wow. thanks :)

[Pieter Hooimeijer @thehooj]

I feel like I should say something clever about #superfish . Like maybe @lenovo is playing the long game in beating @Sony on free publicity?

[Pieter Hooimeijer @thehooj]

@maburman what would I ""tweet"" exactly?