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: Garbervetsky:Diego
Facilitated 1 volumes:
PrCoContributed to:
2015
2012
2011
2011
20112009
2008
200420022017
20172018Wrote 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.