Grigory Fedyukovich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
18
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Formally Explaining Neural Network Classification. | Toms Kolrik, Grigory Fedyukovich, Faezeh Labbaf, Fabrizio Leopardi, Natasha Sharygina, Michael Wand |
| 2026 | TACAS | Syntactically Convex Model-Based Projection for Linear Real Arithmetic. | Anna Becchi, Grigory Fedyukovich, Arie Gurfinkel, Lev Nachmanson |
| 2025 | CAV | Space Explanations of Neural Network Classification. | Faezeh Labbaf, Toms Kolrik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina |
| 2025 | IFM | CHC-Based Reachability Analysis via Cycle Summarization. | Konstantin Britikov, Grigory Fedyukovich, Natasha Sharygina |
| 2025 | IFM | Quick Theory Exploration for Algebraic Data Types via Program Transformations. | Gidon Ernst, Grigory Fedyukovich |
| 2024 | ATVA | Leveraging Program Structure for Test Case Generation. | Ilia Zlatkin, Grigory Fedyukovich |
| 2024 | CAV | SolTG: A CHC-Based Solidity Test Case Generator. | Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina |
| 2024 | ESOP | Maximal Quantified Precondition Synthesis for Linear Array Loops. | Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza |
| 2024 | FM | Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. | Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich |
| 2024 | TACAS | Weakest Precondition Inference for Non-Deterministic Linear Array Programs. | Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich |
| 2023 | LPAR | Collaborative Inference of Combined Invariants. | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
| 2023 | TACAS | Lockstep Composition for Unbalanced Loops. | Ameer Hamza, Grigory Fedyukovich |
| 2023 | VMCAI | Solving Constrained Horn Clauses over Algebraic Data Types. | Lucas Zavala, Lidiia Chernigovskaia, Grigory Fedyukovich |
| 2022 | FMCAD | Split Transition Power Abstraction for Unbounded Safety. | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2022 | TACAS | Transition Power Abstractions for Deep Counterexample Detection. | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2022 | TACAS | Maximizing Branch Coverage with Constrained Horn Clauses. | Ilia Zlatkin, Grigory Fedyukovich |
| 2021 | PLDI | Beyond the elementary representations of program invariants over algebraic data types. | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
| 2021 | PLDI | Specification synthesis with constrained Horn clauses. | Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza |
| 2021 | TACAS | Bridging Arrays and ADTs in Recursive Proofs. | Grigory Fedyukovich, Gidon Ernst |
| 2021 | VMCAI | Unbounded Procedure Summaries from Bounded Environments. | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
| 2020 | FMCAD | Incremental Verification by SMT-based Summary Repair. | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvrinen, Grigory Fedyukovich, Natasha Sharygina |
| 2020 | FMCAD | Automating Modular Verification of Secure Information Flow. | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
| 2020 | ICCAD | Word Level Property Directed Reachability. | Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel |
| 2020 | SAS | Farkas-Based Tree Interpolation. | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvrinen, Grigory Fedyukovich, Natasha Sharygina |
| 2020 | TACAS | Fold/Unfold Transformations for Fixpoint Logic. | Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta |
| 2020 | VMCAI | Synthesizing Environment Invariants for Modular Hardware Verification. | Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik |
| 2019 | CAV | Quantified Invariants via Syntax-Guided Synthesis. | Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta |
| 2019 | CP | Functional Synthesis with Examples. | Grigory Fedyukovich, Aarti Gupta |
| 2019 | CP | Lemma Synthesis for Automating Induction over Algebraic Data Types. | Weikun Yang, Grigory Fedyukovich, Aarti Gupta |
| 2019 | FMCAD | The FMCAD 2019 Student Forum. | Grigory Fedyukovich |
| 2019 | FMCAD | Property Directed Inference of Relational Invariants. | Dmitry Mordvinov, Grigory Fedyukovich |
| 2019 | TACAS | 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 |
| 2019 | VMCAI | Lazy but Effective Functional Synthesis. | Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta |
| 2018 | CAV | Syntax-Guided Termination Analysis. | Grigory Fedyukovich, Yueling Zhang, Aarti Gupta |
| 2018 | CAV | Exploiting Synchrony and Symmetry in Relational Verification. | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
| 2018 | FMCAD | Solving Constrained Horn Clauses Using Syntax and Data. | Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta |
| 2018 | LPAR | Function Summarization Modulo Theories. | Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler |
| 2018 | TACAS | Accelerating Syntax-Guided Invariant Synthesis. | Grigory Fedyukovich, Rastislav Bodk |
| 2018 | TACAS | 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 |
| 2017 | FMCAD | Sampling invariants from frequency distributions. | Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodk |
| 2017 | LPAR | Synchronizing Constrained Horn Clauses. | Dmitry Mordvinov, Grigory Fedyukovich |
| 2017 | PLDI | Gradual synthesis for static parallelization of single-pass array-processing programs. | Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodk |
| 2017 | SAT | Theory Refinement for Program Verification. | Antti E. J. Hyvrinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina |
| 2017 | TACAS | HiFrog: SMT-based Function Summarization for Software Verification. | Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2016 | CAV | Property Directed Equivalence via Abstract Simulation. | Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina |
| 2016 | FASE | PVAIR: Partial Variable Assignment InterpolatoR. | Pavel Janck, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina |
| 2015 | FASE | Symbolic Detection of Assertion Dependencies for Bounded Model Checking. | Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2015 | LPAR | Automated Discovery of Simulation Between Programs. | Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina |
| 2014 | ISSTA | Verification-aided regression testing. | Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvrinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad |
| 2013 | DDECS | Interpolation-based model checking for efficient incremental analysis of software. | Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2013 | LPAR | PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. | Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvrinen, Natasha Sharygina |
| 2013 | TACAS | eVolCheck: Incremental Upgrade Checker for C. | Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina |
| 2012 | ATVA | FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
| 2012 | FMCAD | Incremental upgrade checking by means of interpolation-based function summaries. | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
| 2010 | PDPTA | Implementing Parallel Algorithms of MapReduce. | Grigory Fedyukovich, Vladimir Safonov |