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

ESEC/FSE 2022	Author of Multi-Phase Invariant Synthesis within the Research Papers-track
ASE 2022	Author of Horntinuum: Autonomous Testing using Constrained Horn Clauses within the [Workshop] AUST '22-track
ASE 2021	Committee Member in Program Committee within the Tool Demonstrations-track
SPIN 2021	Florida State University in Programming Committee within the SPIN-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
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
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)
PLDI 2017	Author of Gradual Synthesis for Static Parallelization within the PLDI Research Papers-track