Concepedia

Grigory Fedyukovich

GF

Statistics

Publications

12

Citations

309

H-Index

12

Active since

2012

Affiliations

Florida State University(Current)

University of Washington

Tata Consultancy Services (India)

Princeton University

St Petersburg University

Grigory Fedyukovich is an author at Florida State University specializing in computing, computer science, and algorithms.

Publications per year

2012–2022

12

Publications

12

Sampling invariants from frequency distributions

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík · 2017 · 47 citations

Computing, Computer Science, Algorithms +10

Solving Constrained Horn Clauses Using Syntax and Data

Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar et al. · 2018 · 45 citations

Computing, Computer Science, Algorithms +16

Incremental upgrade checking by means of interpolation-based function summaries

Ondřej Šerý, Grigory Fedyukovich, Natasha Sharygina · 2012 · 43 citations

Computing, Computer Engineering, Computer Science +10

Gradual synthesis for static parallelization of single-pass array-processing programs

Grigory Fedyukovich, M Ahmad, Rastislav Bodík · 2017 · 36 citations

Computing, Computer Engineering, Computer Science +14

Verification-aided regression testing

Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen et al. · 2014 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +11

1–5 of 12