Florian Zuleger

Registered user since Wed 5 Dec 2018

Name: Florian Zuleger

Country: Austria

Affiliation: TU Vienna

Personal website: http://forsyte.at/people/zuleger/

Contributions

SAS 2020 Committee Member in Program Committee within the SAS-track
ADSL 2020 Author of Extending the Profile Abstraction for Complete Entailment Checking of Symbolic Heaps of Bounded Treewidth within the ADSL 2020-track
Author of Strong-Separation Logic within the ADSL 2020-track
Committee Member in Program Committee within the ADSL 2020-track
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
Author of The Polynomial Complexity of Vector Addition Systems with States within the APLAS NIER-track
TACAS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track
Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track
Session Chair of Model Checking (part of TACAS 2019)
Committee Member in Program Committee within the TACAS 2019-track
ETAPS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track
VMCAI 2018 Author of Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction within the VMCAI 2018-track
Author of From Shapes to Amortized Complexity within the VMCAI 2018-track
CHESE 2017 Committee Member in Program Committee within the CHESE 2017-track
PLDI 2018 Author of Automated Clustering and Program Repair for Introductory Programming Assignments within the PLDI Research Papers-track
POPL 2018 Author of Monadic refinements for relational cost analysis within the Research Papers-track
PLOOC 2015 Programme Committee in Program Committee within the PLOOC 2015-track