Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Florian Zuleger
conf.researchr.org general profile
APLAS 2019 profile
ECOOP 2022 profile
ETAPS 2019 profile
ICFP 2023 profile
PLDI 2015 profile
PLDI 2018 profile
POPL 2018 profile
POPL 2020 profile
POPL 2023 profile
SPLASH 2017 profile
SPLASH 2020 profile
Registered user since Wed 5 Dec 2018
Name:
Florian Zuleger
Country:
Austria
Affiliation:
TU Vienna
Personal website:
http://forsyte.at/people/zuleger/
Contributions
Haskell 2023
Committee Member in Program Committee within the Haskell 2023-track
VMCAI 2023
Committee Member in Program Committee within the VMCAI 2023-track
ECOOP 2022
Author of Low-Level Bi-Abduction within the Research Papers-track
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
ETAPS 2019
Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-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
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
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
PLOOC 2015
Programme Committee in Program Committee within the PLOOC 2015-track
Share
x
Wed 31 May 12:26