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 × Brazil
1 × China
1 × France
1 × Japan
1 × Portugal
2 × USA
Collaborated with:
E.Albert P.Arenas S.Genaim I.Mastroeni G.Puebla
Talks about:
abstract (4) bytecod (3) analysi (3) java (3) interfer (2) program (2) semant (2) slice (2) cost (2) non (2)

Person: Damiano Zanardini

DBLP DBLP: Zanardini:Damiano

Contributed to:

LCTES 20112011
PEPM 20082008
SAC 20082008
SCAM 20082008
ESOP 20072007
SAC 20062006
TLCA 20052005

Wrote 7 papers:

LCTES-2011-AlbertAGZ #analysis #parallel
Task-level analysis for a language with async/finish parallelism (EA, PA, SG, DZ), pp. 21–30.
PEPM-2008-MastroeniZ #dependence #semantics #slicing #syntax
Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.
SAC-2008-AlbertAGPZ #bytecode #cost analysis #java
Removing useless variables in cost analysis of Java bytecode (EA, PA, SG, GP, DZ), pp. 368–375.
SCAM-2008-Zanardini #semantics #slicing
The Semantics of Abstract Program Slicing (DZ), pp. 89–98.
ESOP-2007-AlbertAGPZ #bytecode #cost analysis #java
Cost Analysis of Java Bytecode (EA, PA, SG, GP, DZ), pp. 157–172.
SAC-2006-Zanardini #bytecode #java
Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.
TLCA-2005-Zanardini #higher-order
Higher-Order Abstract Non-interference (DZ), pp. 417–432.

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.