We sure don't argue with this assessment. :) See for yourself at TACAS in Prague: conf.researchr.org/event/etaps-20…

PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ github.com/secure-softwar… thewhitespace.de/publications/s… Philipp Schubert Ben Hermann | @[email protected] @profbodden #LLVM Phasar Secure Software Engineering, Paderborn University TACAS 2019

Checkout our tool paper on PhASAR that we are going to present this Thursday at #TACAS / #ETAPS19. link.springer.com/chapter/10.100… … (overview) link.springer.com/content/pdf/10… … (pdf, open access)

SOAP 2020 will again be co-located with PLDI this year. Do you have some new and exciting work related to program analysis? Consider submitting: pldi20.sigplan.org/home/SOAP-2020 Deadline: 2020-03-23

Want to help work on #CogniCrypt? We are currently looking for a new full-time scientific staff member to drive forward its development. Please contact @profbodden for details. #joboffer #thesis #research #dissertation #HiringNow

#phasar is coming soon!