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 × Belgium
1 × Finland
1 × France
1 × Italy
1 × Korea
1 × Portugal
1 × Spain
Collaborated with:
C.Laneve O.Dardha I.Lanese C.A.Mezzina M.Lienhardt G.Castagna M.Dezani-Ciancaglini L.Padovani D.Sangiorgi L.Bettini S.Capecchi F.Tiezzi L.Henrio Vincenzo Mastandrea C.A.Grazia P.Y.H.Wong
Talks about:
type (4) session (3) deadlock (2) foundat (2) consist (2) revers (2) causal (2) featherweight (1) synchron (1) revisit (1)

Person: Elena Giachino

DBLP DBLP: Giachino:Elena

Contributed to:

PDP 20152015
FASE 20142014
SFM 20142014
IFM 20132013
SEFM 20132013
PPDP 20122012
PPDP 20092009
SAC 20072007
PPDP 20162016
PPDP 20192019

Wrote 10 papers:

Causal-Consistent Reversibility in a Tuple-Based Language (EG, IL, CAM, FT), pp. 467–475.
FASE-2014-GiachinoLM #debugging
Causal-Consistent Reversible Debugging (EG, IL, CAM), pp. 370–384.
SFM-2014-GiachinoL #concurrent #detection #linear #recursion #source code
Deadlock Detection in Linear Recursive Programs (EG, CL), pp. 26–64.
IFM-2013-GiachinoGLLW #analysis #concurrent #theory and practice
Deadlock Analysis of Concurrent Objects: Theory and Practice (EG, CAG, CL, ML, PYHW), pp. 394–411.
SEFM-2013-DardhaGL #component #type system
A Type System for Components (OD, EG, ML), pp. 167–181.
PPDP-2012-DardhaGS #revisited
Session types revisited (OD, EG, DS), pp. 139–150.
Foundations of session types (GC, MDC, EG, LP), pp. 219–230.
SAC-2007-BettiniCG #java
Featherweight wrap Java (LB, SC, EG), pp. 1094–1100.
PPDP-2016-GiachinoHLM #exclamation
Actors may synchronize, safely! (EG, LH, CL, VM), pp. 118–131.
PPDP-2019-CastagnaDGP #years after
Foundations of Session Types: 10 Years Later (GC, MDC, EG, LP), p. 3.

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.