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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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