Arie Gurfinkel -

Registered user since Sat 16 Jan 2016

Name:Arie Gurfinkel

Country:Canada

Affiliation:University of Waterloo

Personal website:http://ece.uwaterloo.ca/~agurfink

Research interests:Model Checking, Program Analysis, Verification, Decision Procedures

Contributions

EGRAPHS 2023	Author of Partially Complete Quantifier Elimination within the EGRAPHS 2023-track
NASA Formal Methods	Committee Member in Program Committee within the NFM 2023-track
VMCAI 2023	Committee Member in Program Committee within the VMCAI 2023-track
APLAS 2022	Committee Member in Program Committee
SPLASH 2022	Author of Compositional Verification of Smart Contracts Through Communication Abstraction within the COVID Time Papers In Person-track
SAS 2022	Author of Efficient Modular SMT-Based Model Checking of Pointer Programs within the SAS-track
ASE 2022	Committee Member in Program Committee within the Research Papers-track
POPL 2022	Author of Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions within the POPL-track
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
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
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
FormaliSE 2019	Committee Member in Program Committee within the FormaliSE 2019-track
HCVS 2019	Committee Member in Program Committee within the HCVS-track
VMCAI 2019	Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track
* ICSE 2018 *	Committee Member in DS Program committee within the DS - Doctoral Symposium -track Committee Member in Program committee within the Technical Papers -track
SPIN 2017	Committee Member in Program Committee
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
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)
VMCAI	Session Chair of Parameterized and Component-Based Systems (part of VMCAI) Committee Member in Program Committee