BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × Germany
1 × Italy
1 × Slovenia
1 × United Kingdom
4 × USA
Collaborated with:
D.Giffhorn J.Vitek J.Dolby M.Vaziri F.Tip G.Snelting G.Richards M.Grimme J.Krinke B.Burg F.Z.Nardelli S.Jagannathan M.Backes S.Gerling M.Maffei P.v.Styp-Rekowsky D.Marino
Talks about:
program (3) javascript (2) synchron (2) centric (2) detect (2) dynam (2) java (2) eval (2) data (2) use (2)

♂ Person: Christian Hammer

DBLP DBLP: Hammer:Christian

Facilitated 2 volumes:

ASE 2013ExpertReviewPa
ASE 2013PrBoard

Contributed to:

ICSE 20132013
OOPSLA 20132013
TACAS 20132013
ECOOP 20112011
ECOOP 20102010
ICSE 20082008
SCAM 20082008
SCAM 20072007
PEPM 20062006
PASTE 20042004

Wrote 10 papers:

ICSE-2013-MarinoHDVTV #concurrent #detection #source code
Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
OOPSLA-2013-RichardsHNJV #data access #flexibility #javascript
Flexible access control for javascript (GR, CH, FZN, SJ, JV), pp. 305–322.
TACAS-2013-BackesGHMS #android #named #requirements
AppGuard — Enforcing User Requirements on Android Apps (MB, SG, CH, MM, PvSR), pp. 543–548.
ECOOP-2011-RichardsHBV #javascript #scalability #using
The Eval That Men Do — A Large-Scale Study of the Use of Eval in JavaScript Applications (GR, CH, BB, JV), pp. 52–78.
ECOOP-2010-VaziriTDHV #type system
A Type System for Data-Centric Synchronization (MV, FT, JD, CH, JV), pp. 304–328.
ICSE-2008-HammerDVT #detection
Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.
SCAM-2008-GiffhornH #analysis #java #precise #source code #using
Precise Analysis of Java Programs Using JOANA (DG, CH), pp. 267–268.
SCAM-2007-GiffhornH #algorithm #concurrent #evaluation #slicing #source code
An Evaluation of Slicing Algorithms for Concurrent Programs (DG, CH), pp. 17–26.
PEPM-2006-HammerGK #dependence #graph
Dynamic path conditions in dependence graphs (CH, MG, JK), pp. 58–67.
PASTE-2004-HammerS #java #slicing
An improved slicer for Java (CH, GS), pp. 17–22.
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.