Grigory Fedyukovich

According to our database, Grigory Fedyukovich authored at least 68 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Maximal Quantified Precondition Synthesis for Linear Array Loops.

Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza

Proceedings of the Programming Languages and Systems, 2024

2023

Solving Constrained Horn Clauses over Algebraic Data Types.

Lucas Zavalía, Lidiia Chernigovskaia, Grigory Fedyukovich

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Lockstep Composition for Unbalanced Loops.

Ameer Hamza, Grigory Fedyukovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Collaborative Inference of Combined Invariants.

Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

SMT-based verification of program changes through summary repair.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Formal Methods Syst. Des., 2022

Maximizing Branch Coverage with Constrained Horn Clauses.

Ilia Zlatkin, Grigory Fedyukovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Transition Power Abstractions for Deep Counterexample Detection.

Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Multi-phase invariant synthesis.

Daniel Riley, Grigory Fedyukovich

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Horntinuum: Autonomous Testing using Constrained Horn Clauses.

Ilia Zlatkin, Grigory Fedyukovich

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Split Transition Power Abstraction for Unbounded Safety.

Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Competition Report: CHC-COMP-21.

Grigory Fedyukovich, Philipp Rümmer

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

Unbounded Procedure Summaries from Bounded Environments.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Bridging Arrays and ADTs in Recursive Proofs.

Grigory Fedyukovich, Gidon Ernst

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Specification synthesis with constrained Horn clauses.

Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Beyond the elementary representations of program invariants over algebraic data types.

Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Learning inductive invariants by sampling from frequency distributions.

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík

Formal Methods Syst. Des., 2020

Synthesizing Environment Invariants for Modular Hardware Verification.

Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Fold/Unfold Transformations for Fixpoint Logic.

Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Farkas-Based Tree Interpolation.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Static Analysis - 27th International Symposium, 2020

Synthesis of Infinite-State Systems with Random Behavior.

Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Word Level Property Directed Reachability.

Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Automating Modular Verification of Secure Information Flow.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Incremental Verification by SMT-based Summary Repair.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Exploiting partial variable assignment in interpolation-based model checking.

Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Formal Methods Syst. Des., 2019

Lazy but Effective Functional Synthesis.

Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Property Directed Inference of Relational Invariants.

Dmitry Mordvinov, Grigory Fedyukovich

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

The FMCAD 2019 Student Forum.

Grigory Fedyukovich

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Lemma Synthesis for Automating Induction over Algebraic Data Types.

Weikun Yang, Grigory Fedyukovich, Aarti Gupta

Proceedings of the Principles and Practice of Constraint Programming, 2019

Functional Synthesis with Examples.

Grigory Fedyukovich, Aarti Gupta

Proceedings of the Principles and Practice of Constraint Programming, 2019

Quantified Invariants via Syntax-Guided Synthesis.

Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.

Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Accelerating Syntax-Guided Invariant Synthesis.

Grigory Fedyukovich, Rastislav Bodík

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Function Summarization Modulo Theories.

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Solving Constrained Horn Clauses Using Syntax and Data.

Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Exploiting Synchrony and Symmetry in Relational Verification.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Syntax-Guided Termination Analysis.

Grigory Fedyukovich, Yueling Zhang, Aarti Gupta

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Flexible SAT-based framework for incremental bounded upgrade checking.

Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina

Int. J. Softw. Tools Technol. Transf., 2017

Verifying Safety of Functional Programs with Rosette/Unbound.

Dmitry Mordvinov, Grigory Fedyukovich

CoRR, 2017

HiFrog: SMT-based Function Summarization for Software Verification.

Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Theory Refinement for Program Verification.

Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

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

Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Synchronizing Constrained Horn Clauses.

Dmitry Mordvinov, Grigory Fedyukovich

Proceedings of the LPAR-21, 2017

Sampling invariants from frequency distributions.

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability.

Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen

CoRR, 2016

Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions.

Grigory Fedyukovich, Rastislav Bodík

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

PVAIR: Partial Variable Assignment InterpolatoR.

Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Property Directed Equivalence via Abstract Simulation.

Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

A Proof-Sensitive Approach for Small Propositional Interpolants.

Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Automated Discovery of Simulation Between Programs.

Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Symbolic Detection of Assertion Dependencies for Bounded Model Checking.

Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Incremental Upgrade Checking.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Function Summarization-Based Bounded Model Checking.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Optimizing Function Summaries Through Interpolation.

Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Regression Checking of Changes in C Software.

Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

Proceedings of the Validation of Evolving Software, 2015

2014

Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection.

Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Incremental Verification of Compiler Optimizations.

Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Verification-aided regression testing.

Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

eVolCheck: Incremental Upgrade Checker for C.

Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.

Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Interpolation-based model checking for efficient incremental analysis of software.

Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

Incremental upgrade checking by means of interpolation-based function summaries.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Formal Methods in Computer-Aided Design, 2012

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Interpolation-Based Function Summaries in Bounded Model Checking.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Hardware and Software: Verification and Testing, 2011

Function Summaries in Software Upgrade Checking.

Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Implementing Parallel Algorithms of MapReduce.

Grigory Fedyukovich, Vladimir Safonov

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010