Arie Gurfinkel

Registered user since Sat 16 Jan 2016

Name:Arie Gurfinkel
Country:Canada
Affiliation:University of Waterloo
Research interests:Model Checking, Program Analysis, Verification, Decision Procedures

Contributions

APLAS 2022 Committee Member in Program Committee
VMCAI 2022 Session Chair of Model Checking (part of VMCAI 2022)
Author of Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE within the VMCAI 2022-track
POPL 2022 Author of Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions within the POPL-track
ASE 2022 Committee Member in Program Committee within the Research Papers-track
SAS 2021 Author of Compositional Verification of Smart Contracts Through Communication Abstraction within the SAS-track
Committee Member in Program Committee within the SAS-track
ESEC/FSE 2021 Session Chair of Dependability—Software Security 2 (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
SAS 2020 Committee Member in Program Committee within the SAS-track
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
VMCAI 2019 Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track
HCVS 2019 Committee Member in Program Committee within the HCVS-track
PLDI 2019 Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track
ICSE 2019 Committee Member in Program Committee within the Technical Track-track
N40AI 2017 Presenter of System verification within the Next 40 years of Abstract Interpretation-track
VMCAI 2017 Author of IC3 - Flipping the E in ICE within the VMCAI-track
SPIN 2017 Committee Member in Program Committee
* ICSE 2018 * Committee Member in DS Program committee within the DS - Doctoral Symposium -track
Committee Member in Program committee within the Technical Papers -track
VMCAI Session Chair of Parameterized and Component-Based Systems (part of VMCAI)
Committee Member in Program Committee
POPL 2016 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
Author of Maximal Specification Synthesis within the Research Papers-track
Session Chair of Track 1: Algorithmic Verification (part of Research Papers)