Publications
290 Entries
2010
-
RobuSTM: A Robust Software Transactional Memory, 2010, p. 388-404, 17 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Slice Your Bug: Debugging Error Detection Mechanisms\nusing Error Injection Slicing, 2010, p. 13-22, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Software-Implemented Hardware Error Detection: Costs and Gains, 2010, p. 51-57, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Time-Based Software Transactional Memory, 2010, In: IEEE Transactions on Parallel and Distributed Systems. p. 1793-1807, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
2009
-
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware, 2009, p. 283-296, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Assertion-Driven Development: Assessing the Quality of Contracts using Meta-Mutations, 2009, p. 182-191, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems, 2009, p. 173-182, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Multithreading-Enabled Active Replication for Event Stream Processing Operators, 2009, p. 22-31, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Parallelize the Runtime Checks -- Not the Application, 2009, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Parallelizing Software-Implemented Error Detection, 2009, p. 215-226, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper