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 × Estonia
1 × Germany
1 × New Zealand
1 × Singapore
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Italy
3 × Canada
Collaborated with:
D.Gregor D.R.Musser S.Mattsen A.Wichmann S.H.Haeri D.Lincke G.Munkby M.Zalewski S.Liu G.V.Nishanov M.Heing-Becker T.Kamph J.Rinast D.Gollmann F.Kurth S.Weißleder S.Toprak P.Cuoq
Talks about:
transform (4) librari (4) base (4) type (3) softwar (2) languag (2) generic (2) generat (2) analysi (2) semant (2)

♀ Person: Sibylle Schupp

DBLP DBLP: Schupp:Sibylle

Facilitated 7 volumes:

GTTSE 2015SciCo
SANER 2015PrCo
LDTA 2011PrCo
LDTA 2009PrCo
SCAM 2009PrCh
SCAM 2009Ed

Contributed to:

SANER 20152015
CSMR-WCRE 20142014
FM 20142014
PDP 20142014
TAP 20142014
VISSOFT 20142014
SCAM 20132013
LDTA 20122012
ASE 20092009
ICSM 20062006
CC 20012001
GCSE 20012001
SCAM 20012001
SCAM 20012002
ISMM 19981998

Wrote 15 papers:

SANER-2015-MattsenWS #abstract domain #analysis
A non-convex abstract domain for the value analysis of binaries (SM, AW, SS), pp. 271–280.
CSMR-WCRE-2014-Heing-BeckerKS #developer #injection
Bit-error injection for software developers (MHB, TK, SS), pp. 434–439.
FM-2014-RinastSG #graph #performance #reduction
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.
PDP-2014-HaeriS #distributed #evaluation #lazy evaluation #semantics
Distributed Lazy Evaluation: A Big-Step Mechanised Semantics (SHH, SS), pp. 751–755.
TAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #uml #using
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
VISSOFT-2014-ToprakWS #assembly #control flow #lightweight #regular expression #visualisation
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.
SCAM-2013-MattsenCS #bound
Driving a sound static software analyzer with branch-and-bound (SM, PC, SS), pp. 63–68.
LDTA-2012-LinckeS #concept #higher-order #object-oriented
From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages (DL, SS), p. 3.
ASE-2009-MunkbyS #fault tolerance #predict #type inference
Type Inference for Soft-Error Fault-Tolerance Prediction (GM, SS), pp. 65–75.
ICSM-2006-ZalewskiS #impact analysis #library
Change Impact Analysis for Generic Libraries (MZ, SS), pp. 35–44.
CC-2001-SchuppGML #generative #type system
User-Extensible Simplification — Type-Based Optimizer Generators (SS, DG, DRM, SML), pp. 86–101.
GCSE-2001-GregorSM #injection
Base Class Injection (DG, SS, DRM), pp. 106–117.
SCAM-2001-SchuppGM #library
Library Transformations (SS, DG, DRM), pp. 111–123.
SCAM-J-2001-SchuppGML02 #behaviour #library #semantics
Semantic and behavioral library transformations (SS, DG, DRM, SML), pp. 797–810.
ISMM-1998-NishanovS #garbage collection #library
Garbage Collection in Generic Libraries (GVN, SS), pp. 86–96.

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.