Grigory Fedyukovich

According to our database1, Grigory Fedyukovich authored at least 56 papers between 2010 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Unbounded Procedure Summaries from Bounded Environments.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Bridging Arrays and ADTs in Recursive Proofs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Specification synthesis with constrained Horn clauses.
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.
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.
Formal Methods Syst. Des., 2020

Synthesizing Environment Invariants for Modular Hardware Verification.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Fold/Unfold Transformations for Fixpoint Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Farkas-Based Tree Interpolation.
Proceedings of the Static Analysis - 27th International Symposium, 2020

Synthesis of Infinite-State Systems with Random Behavior.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Word Level Property Directed Reachability.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Automating Modular Verification of Secure Information Flow.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Incremental Verification by SMT-based Summary Repair.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019
Exploiting partial variable assignment in interpolation-based model checking.
Formal Methods Syst. Des., 2019

Lazy but Effective Functional Synthesis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Property Directed Inference of Relational Invariants.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

The FMCAD 2019 Student Forum.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Lemma Synthesis for Automating Induction over Algebraic Data Types.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Functional Synthesis with Examples.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Quantified Invariants via Syntax-Guided Synthesis.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Accelerating Syntax-Guided Invariant Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

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

Solving Constrained Horn Clauses Using Syntax and Data.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Exploiting Synchrony and Symmetry in Relational Verification.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Syntax-Guided Termination Analysis.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Flexible SAT-based framework for incremental bounded upgrade checking.
Int. J. Softw. Tools Technol. Transf., 2017

Verifying Safety of Functional Programs with Rosette/Unbound.
CoRR, 2017

HiFrog: SMT-based Function Summarization for Software Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Theory Refinement for Program Verification.
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.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Synchronizing Constrained Horn Clauses.
Proceedings of the LPAR-21, 2017

Sampling invariants from frequency distributions.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

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

Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

PVAIR: Partial Variable Assignment InterpolatoR.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Property Directed Equivalence via Abstract Simulation.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
A Proof-Sensitive Approach for Small Propositional Interpolants.
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Automated Discovery of Simulation Between Programs.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Symbolic Detection of Assertion Dependencies for Bounded Model Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

Incremental Upgrade Checking.
Proceedings of the Validation of Evolving Software, 2015

Function Summarization-Based Bounded Model Checking.
Proceedings of the Validation of Evolving Software, 2015

Optimizing Function Summaries Through Interpolation.
Proceedings of the Validation of Evolving Software, 2015

Regression Checking of Changes in C Software.
Proceedings of the Validation of Evolving Software, 2015

2014
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Incremental Verification of Compiler Optimizations.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Verification-aided regression testing.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
eVolCheck: Incremental Upgrade Checker for C.
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.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Interpolation-based model checking for efficient incremental analysis of software.
Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
Incremental upgrade checking by means of interpolation-based function summaries.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Interpolation-Based Function Summaries in Bounded Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2011

Function Summaries in Software Upgrade Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2011

2010
Implementing Parallel Algorithms of MapReduce.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010


  Loading...