![]() | ![]() |
University of Karlsruhe
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2012 | ||
|---|---|---|
| 15 | Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek: A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4 (2012) | |
| 2011 | ||
| 14 | Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek: The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. ECOOP 2011: 52-78 | |
| 13 | William N. Sumner, Christian Hammer, Julian Dolby: Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. RV 2011: 161-176 | |
| 2010 | ||
| 12 | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek: A Type System for Data-Centric Synchronization. ECOOP 2010: 304-328 | |
| 11 | Christian Hammer: Experiences with PDG-Based IFC. ESSoS 2010: 44-60 | |
| 2009 | ||
| 10 | Dennis Giffhorn, Christian Hammer: Precise slicing of concurrent programs. Autom. Softw. Eng. 16(2): 197-234 (2009) | |
| 9 | Christian Hammer, Gregor Snelting: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. Int. J. Inf. Sec. 8(6): 399-422 (2009) | |
| 8 | Christian Hammer: Information flow control for Java: a comprehensive approach based on path conditions in dependence graphs. Karlsruhe Institute of Technology 2009: 1-221 | |
| 2008 | ||
| 7 | Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240 | |
| 6 | Christian Hammer, Rüdiger Schaade, Gregor Snelting: Static path conditions for Java. PLAS 2008: 57-66 | |
| 5 | Dennis Giffhorn, Christian Hammer: Precise Analysis of Java Programs Using JOANA. SCAM 2008: 267-268 | |
| 2007 | ||
| 4 | Dennis Giffhorn, Christian Hammer: An Evaluation of Slicing Algorithms for Concurrent Programs. SCAM 2007: 17-26 | |
| 2006 | ||
| 3 | Christian Hammer, Jens Krinke, Frank Nodes: Intransitive Noninterference in Dependence Graphs. ISoLA 2006: 119-128 | |
| 2 | Christian Hammer, Martin Grimme, Jens Krinke: Dynamic path conditions in dependence graphs. PEPM 2006: 58-67 | |
| 2004 | ||
| 1 | Christian Hammer, Gregor Snelting: An improved slicer for Java. PASTE 2004: 17-22 | |
| 1 | Brian Burg | [14] |
| 2 | Julian Dolby | [7] [12] [13] [15] |
| 3 | Dennis Giffhorn | [4] [5] [10] |
| 4 | Martin Grimme | [2] |
| 5 | Jens Krinke | [2] [3] |
| 6 | Daniel Marino | [15] |
| 7 | Frank Nodes | [3] |
| 8 | Gregor Richards | [14] |
| 9 | Rüdiger Schaade | [6] |
| 10 | Gregor Snelting | [1] [6] [9] |
| 11 | William N. Sumner | [13] |
| 12 | Frank Tip | [7] [12] [15] |
| 13 | Mandana Vaziri | [7] [12] [15] |
| 14 | Jan Vitek | [12] [14] [15] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page