Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
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

PLDI 2021 Specification Synthesis with Constrained Horn Clauses
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Show activities from other conferences

Using general profile