Grigory Fedyukovich

Registered user since Wed 4 Nov 2015

Name:Grigory Fedyukovich
Country:United States
Affiliation:Florida State University
Research interests:Automated Formal Methods

Contributions

SPIN 2021 Florida State University in Programming Committee within the SPIN-track
ASE 2021 Committee Member in Program Committee within the Tool Demonstrations-track
PLDI 2021 Author of Specification Synthesis with Constrained Horn Clauses within the PLDI-track
Author of Beyond the Elementary Representations of Program Invariants over Algebraic Data Types within the PLDI-track
VMCAI 2021 Author of Unbounded Procedure Summaries from Bounded Environments within the VMCAI-track
Committee Member in Program Committee within the VMCAI-track
Session Chair of Hyperproperties (part of VMCAI)
SAS 2020 Author of Farkas-Based Tree Interpolation within the SAS-track
ASE 2020 Author of Synthesis of Infinite-State Systems with Random Behavior within the Research Papers-track
VMCAI 2020 Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track
VPT 2019 Committee Member in Program Committee within the VPT 2019 -track
VMCAI 2019 Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track
Session Chair of Software Verification (part of VMCAI 2019)
HCVS 2019 Author 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 2017 Author of Gradual Synthesis for Static Parallelization within the PLDI Research Papers-track