• Sign in
  • Sign up
conf.researchr.org / Grigory Fedyukovich
  • ASE 2020 profile
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2020 profile
  • ‹Programming› 2019 profile
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 2021 Florida State University in Programming Committee within the SPIN-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

Share
xSat 27 Feb 16:52
using conf.researchr.org (v1.42.1)
Support page
Sign Up