Christoph Reichenbach

Writing Java bug checkers with (full) Datalog + syntactic pattern matching gives small, fast checkers, free fact extraction, and auto-incrementalisation. For details, see Alexandru Dura's JavaDL, with @EmmaSoederberg, coming soon to a @splashcon near you: creichen.net/papers/javadl.…

What is a PL misconception? Find out in today's #iticse2021 talk by @chiodiniluca of @LuCEresearchlab. Paper at dl.acm.org/doi/10.1145/34…. @progMiscon inventory at progmiscon.org.

Presenting the SOAP'21 PC: Heike Wehrheim is a professor at the University of Oldenburg working on formal methods & software verification. Her research focuses on verification of concurrent algorithms and testing/static analysis of sequential programs and machine learning models.