A. Lochmann. Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen. Dissertation, Technische Universität Dortmund, Dec. 2021. [ bib | DOI: 10.17877/DE290R-22500 | .pdf ] | |
A. Lochmann and H. Schirmeier. Beastie in for checkup: Analyzing FreeBSD with LockDoc. In Tagungsband des FGBS-Herbsttreffens 2021, Bonn, Germany, Sept. 2021. Gesellschaft für Informatik e.V. [ bib | DOI: 10.18420/fgbs2021h-04 ] |
A. Lochmann, R. Thunig, and H. Schirmeier. Improving Linux-kernel tests for LockDoc with feedback-driven fuzzing. In Tagungsband des FGBS-Herbsttreffens 2020, Bonn, Germany, Sept. 2020. Gesellschaft für Informatik e.V. [ bib | DOI: 10.18420/fgbs2020h-01 ] |
A. Lochmann, H. Schirmeier, H. Borghorst, and O. Spinczyk. LockDoc: Trace-based analysis of locking in the Linux kernel. In Proceedings of the 14th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys '19), New York, NY, USA, Mar. 2019. ACM Press. [ bib | DOI: 10.1145/3302424.3303948 | .pdf ] |
A. Lochmann, F. Bruckner, and O. Spinczyk.
Reproducible load tests for Android systems with trace-based
benchmarks.
In Proceedings of the 8th ACM/SPEC International Conference on
Performance Engineering Companion, ICPE '17 Companion, pages 73–76, New
York, NY, USA, 2017. ACM Press.
[ bib |
DOI: 10.1145/3053600.3053615 ]
Keywords: Android, application tracing, benchmark, benchmark generator, load testing |
J. Streicher, A. Lochmann, and O. Spinczyk. kCQL: Declarative stream-based acquisition and processing of diagnostic OS data. In Proceedings of the Conference on Timely Results in Operating Systems (TRIOS). ACM, 2015. [ bib ] |