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 × Estonia
1 × Sweden
1 × Switzerland
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:
M.Bugliesi L.Padovani F.Ranzato D.Varacca N.Yoshida S.Calzavara E.Steffinlongo A.Prelic V.Sassone D.Cunningham V.A.Saraswat A.Shinnar O.Tardieu
Talks about:
semant (2) probabilist (1) interpret (1) algorithm (1) structur (1) privileg (1) parallel (1) calculus (1) approach (1) abstract (1)

Person: Silvia Crafa

DBLP DBLP: Crafa:Silvia

Contributed to:

ESOP 20152015
OOPSLA 20152015
ECOOP 20142014
FOSSACS 20122012
ICALP (2) 20112011
ICALP 20032003

Wrote 6 papers:

ESOP-2015-CalzavaraBCS #detection #fine-grained
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions (SC, MB, SC, ES), pp. 510–534.
OOPSLA-2015-CrafaP #approach #programming
The chemical approach to typestate-oriented programming (SC, LP), pp. 917–934.
ECOOP-2014-CrafaCSST #semantics
Semantics of (Resilient) X10 (SC, DC, VAS, AS, OT), pp. 670–696.
FoSSaCS-2012-CrafaVY #parallel #semantics #π-calculus
Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
ICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
ICALP-2003-BugliesiCPS #network
Secrecy in Untrusted Networks (MB, SC, AP, VS), pp. 969–983.

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.