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 × Canada
1 × France
1 × Germany
1 × Italy
1 × Uruguay
3 × USA
Collaborated with:
V.A.Braberman S.Uchitel G.d.Caso A.Olivero E.Zoppi D.Gorín A.Neisen B.Livshits G.Chari S.Marr S.Ducasse B.C.Parrino J.P.Galeotti M.F.Frias F.J.Fernández S.Yovine R.Castaño Z.Pavlinovic M.B.0001 M.Musuvathi T.Mytkowicz J.Godoy I.Perez S.Perez
Talks about:
analysi (4) valid (4) abstract (3) program (3) use (3) toward (2) static (2) improv (2) verif (2) time (2)

♂ Person: Diego Garbervetsky

DBLP DBLP: Garbervetsky:Diego

Facilitated 1 volumes:

ASE 2014PrCo

Contributed to:

Onward! 20152015
SFM 20122012
ICSE 20112011
SEFM 20112011
TACAS 20112011
ICSE 20092009
ISMM 20082008
CAV 20042004
TACAS 20022002
ASE 20172017
ESEC/FSE 20172017
ESEC/FSE 20182018

Wrote 13 papers:

Onward-2015-ChariGMD #towards
Towards fully reflective environments (GC, DG, SM, SD), pp. 240–253.
SFM-2012-CasoBGU #abstraction #validation
Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.
ICSE-2011-CasoBGU #abstraction #behaviour #validation
Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.
SEFM-2011-ParrinoGGF #analysis #bound #data flow #satisfiability #verification
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification (BCP, JPG, DG, MFF), pp. 138–154.
TACAS-2011-GarbervetskyGN #invariant #using
Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.
ICSE-2009-CasoBGU #abstraction #contract #finite #using #validation
Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
ISMM-2008-BrabermanFGY #memory management #parametricity #predict #requirements
Parametric prediction of heap memory requirements (VAB, FJF, DG, SY), pp. 141–150.
CAV-2004-BrabermanGO #automaton #named #slicing
ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.
TACAS-2002-BrabermanGO #using #verification
Improving the Verification of Timed Systems Using Influence Information (VAB, DG, AO), pp. 21–36.
ASE-2017-CastanoBGU #execution #model checking
Model checker execution reports (RC, VAB, DG, SU), pp. 200–205.
ESEC-FSE-2017-GarbervetskyP0M #big data #optimisation #query #static analysis
Static analysis for optimizing big data queries (DG, ZP, MB0, MM, TM, EZ), pp. 932–937.
ESEC-FSE-2017-GarbervetskyZL #distributed #static analysis #towards
Toward full elasticity in distributed static analysis: the case of callgraph analysis (DG, EZ, BL), pp. 442–453.
ESEC-FSE-2018-BrabermanGGUCPP #testing #validation
Testing and validating end user programmed calculated fields (VAB, DG, JG, SU, GdC, IP, SP), pp. 827–832.

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.