Leander Tentrup

[Matthew Prince 🌥 @eastdakota]

Tomorrow kicks off @Cloudflare's 2022 #DeveloperWeek. So many super-exciting announcements and improvements around the Workers developer platform. #staytuned

[Reactive Systems Group @reactivesysgrp]

Another win for CAQE and QuAbS by @ltentrup and @MarkusNRabe at this year’s QBF competition in the Olympic Games @FLoC2022! Congrats! 👏🏻 Find out more at https://t.co/AA7xooQT4B

[Jon Gjengset @jonhoo]

Okay, learning time! Name a @rustlang type (can be generic), and I'll (try to) tell you something you didn't know about that type!

[Leander Tentrup @ltentrup]

@ksmeel That being said, the results from the paper seem to confirm how matured QBF solving is (in contradiction to the claim), since there are virtually no instances that cannot be expressed within QBF

[Leander Tentrup @ltentrup]

@ksmeel I have seen impressive scalability results from DQBF solvers on the reactive synthesis problem, too (beating state-of-the art QBF and SAT solvers with respect to the size of the encoded function).

[Leander Tentrup @ltentrup]

Big thanks to @SoosMate whose awesome SAT solver CryptoMiniSat provides the foundation for both of my QBF solvers

[Leander Tentrup @ltentrup]

QBFEVAL20 results are publicly available: https://t.co/iOwzHh4kTE. My solvers CAQE https://t.co/XRM9wiLLNc and QuAbS https://t.co/hPs2EwnlUR have won the Prenex CNF, Crafted Instances, and Prenex non-CNF track 🎉

[Jana Hofmann @jana_tweets_cs]

Check out @ChrisHahnCS’s talk at CAV tomorrow at 9:15am PDT (18:15 in central europe)! It’s about our joint work on synthesis of even more expressive hyperproperties. #cav20

[Jana Hofmann @jana_tweets_cs]

Our paper "Realizing Omega-regular Hyperproperties" got accepted at CAV 2020! We study the expressiveness and realizability problem of HyperQPTL, which combines hyperpoperties with omega-regular languages.

https://t.co/6at35qTcI1