conf.researchr.org / Grigory Fedyukovich
Grigory Fedyukovich

Registered user since Wed 4 Nov 2015

Name: Grigory Fedyukovich

Country: United States

Affiliation: Florida State University

Personal website: http://www.cs.fsu.edu/~grigory

Research interests: Automated Formal Methods

Contributions

SPIN 2021Florida State University in Programming Committee within the SPIN-track
VMCAI 2021Committee Member in Program Committee within the VMCAI-track
SAS 2020Author of Farkas-Based Tree Interpolation within the SAS-track
ASE 2020Author of Synthesis of Infinite-State Systems with Random Behavior within the Research Papers-track
VMCAI 2020Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track
VPT 2019Committee Member in Program Committee within the VPT 2019 -track
VMCAI 2019Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track
Session Chair of Software Verification (part of VMCAI 2019)
HCVS 2019Author of Report on the CHC competition within the HCVS-track
Co-chair in Program Committee within the HCVS-track
Co-chair in Organizing Committee within the HCVS-track
PLDI 2017Author of Gradual Synthesis for Static Parallelization within the PLDI Research Papers-track