ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 15:00 - 15:30 at JUPITER - Afternoon A

Instantiation based reasoning for Effectively Propositional Reasoning has been unreasonably effective to classify decidable fragments for pointer manipulating programs and network protocols. Nevertheless, even transitive binary relations pose obstacles to scalability. As a special birthday feature for Mooly, I introduce native support in Z3 for a class of special relations, that capture several classes of binary relations with space-and-time efficient decision procedures.

Sat 6 Apr

etaps-2019-Mooly-Fest
14:00 - 15:30: Mooly Fest - Afternoon A at JUPITER
etaps-2019-Mooly-Fest14:00 - 14:30
Talk
Neil ImmermanUniversity of Massachusetts, Amherst
etaps-2019-Mooly-Fest14:30 - 15:00
Talk
G. RamalingamMicrosoft Research
etaps-2019-Mooly-Fest15:00 - 15:30
Talk
Nikolaj BjørnerMicrosoft Research