BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
N.Sharygina A.Gupta A.E.J.Hyvärinen O.Sery A.Gurfinkel Y.Zhang L.Pick Maaz Bin Safeer Ahmad R.Bodík A.C.D'Iddio S.Prabhu K.Madhukar L.Mariani A.Muhammad P.Jancík L.Alt A.E.J.Hyvärinen J.Kofron F.Pastore S.Sehestedt H.Chockler G.Denaro M.Ling M.Oriol A.Rajan M.Tautschnig
Talks about:
synthesi (2) upgrad (2) syntax (2) verif (2) guid (2) interpolato (1) synchroni (1) increment (1) evolcheck (1) symmetri (1)

Person: Grigory Fedyukovich

DBLP DBLP: Fedyukovich:Grigory

Contributed to:

FASE 20152015
ISSTA 20142014
CSMR 20132013
TACAS 20132013
FASE 20162016
CAV (2) 20162016
CAV (1) 20182018
CAV (1) 20192019
PLDI 20172017

Wrote 10 papers:

FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking
Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.
ISSTA-2014-PastoreMHFSSM #testing
Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.
CSMR-2013-ChocklerDLFHMMORSST #named #validation
PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
TACAS-2013-FedyukovichSS #c #incremental #named
eVolCheck: Incremental Upgrade Checker for C (GF, OS, NS), pp. 292–307.
FASE-2016-JancikAFHKS #named
PVAIR: Partial Variable Assignment InterpolatoR (PJ, LA, GF, AEJH, JK, NS), pp. 419–434.
CAV-2016-FedyukovichGS #equivalence #simulation
Property Directed Equivalence via Abstract Simulation (GF, AG, NS), pp. 433–453.
CAV-2018-FedyukovichZG #analysis #termination
Syntax-Guided Termination Analysis (GF, YZ, AG), pp. 124–143.
CAV-2018-PickFG #relational #symmetry #verification
Exploiting Synchrony and Symmetry in Relational Verification (LP, GF, AG), pp. 164–182.
CAV-2019-FedyukovichPMG #invariant #quantifier #synthesis
Quantified Invariants via Syntax-Guided Synthesis (GF, SP, KM, AG), pp. 259–277.
PLDI-2017-FedyukovichAB #parallel #source code #synthesis
Gradual synthesis for static parallelization of single-pass array-processing programs (GF, MBSA, RB), pp. 572–585.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.