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 × Hungary
1 × Turkey
1 × United Kingdom
2 × USA
Collaborated with:
F.Long M.C.Rinard E.Lahtinen M.Rinard D.Kim S.Misailovic H.Hoffmann A.Eden N.Rittenhouse P.Piselli
Talks about:
automat (3) error (3) overflow (2) integ (2) code (2) discoveri (1) transfer (1) shepherd (1) recoveri (1) horizont (1)

Person: Stelios Sidiroglou-Douskos

DBLP DBLP: Sidiroglou-Douskos:Stelios

Contributed to:

ASPLOS 20152015
PLDI 20152015
PLDI 20142014
POPL 20142014
ESEC/FSE 20112011
ESEC/FSE 20172017

Wrote 6 papers:

ASPLOS-2015-Sidiroglou-Douskos #automation #branch #integer #using
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
PLDI-2015-Sidiroglou-Douskos #automation #fault #multi
Automatic error elimination by horizontal code transfer across multiple applications (SSD, EL, FL, MR), pp. 43–54.
PLDI-2014-LongSR #automation #fault #runtime
Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
POPL-2014-LongSKR #fault #generative #integer
Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
ESEC-FSE-2011-Sidiroglou-DouskosMHR #performance #trade-off
Managing performance vs. accuracy trade-offs with loop perforation (SSD, SM, HH, MCR), pp. 124–134.
CodeCarbonCopy (SSD, EL, AE, FL, MR), pp. 95–105.

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.