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

SAS 2020Committee Member in Program Committee within the SAS 2020 - 27th Static Analysis Symposium-track
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
VMCAI 2019Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track
HCVS 2019Committee Member in Program Committee within the HCVS-track
PLDI 2019Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track
ICSE 2019Committee Member in Program Committee within the Technical Track-track
N40AI 2017Presenter of System verification within the Next 40 years of Abstract Interpretation-track
VMCAI 2017Author of IC3 - Flipping the E in ICE within the VMCAI-track
SPIN 2017Committee 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
VMCAISession Chair of Parameterized and Component-Based Systems (part of VMCAI)
Committee Member in Program Committee
POPL 2016Committee 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)