Publications

2023

Declarative Stream-Based Acquisition and Processing of OS Data with kCQL (, , and ), Chapter in Machine Learning under Resource Constraints (Katharina Morik, Peter Marwedel, eds.), De Gruyter, volume 1, . [bibtex]
@incollection{borchert:sfb876:2022,
  author = {Christoph Borchert and Jochen Streicher and Alexander Lochmann and Olaf Spinczyk},
  title = {Declarative Stream-Based Acquisition and Processing of {OS} Data with {kCQL}},
  editor = {Katharina Morik and Peter Marwedel},
  booktitle = {Machine Learning under Resource Constraints},
  volume = 1,
  pages = {16--33},
  publisher = {De Gruyter},
  address = {Berlin/Boston},
  year = 2023,
  doi = {10.1515/9783110785944},
  isbn = {9783110785944},
  download-url = {https://www.degruyter.com/document/doi/10.1515/9783110785944/pdf},
  category = {ESS}
}

2021

Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen (), PhD thesis, Technische Universität Dortmund, . [bibtex] [pdf]
@phdthesis{lochmann:21:diss,
  author = {Alexander Lochmann},
  title = {{Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen}},
    school = {Technische Universit{\"a}t Dortmund},
  type = {Dissertation},
    doi = {10.17877/DE290R-22500 },
    url = {https://eldorado.tu-dortmund.de/bitstream/2003/40642/1/dissertation.pdf},
    category = {ESS},
  month = dec,
  year = 2021
}
Beastie In For Checkup: Analyzing FreeBSD with LockDoc ( and ), In Tagungsband des FGBS-Herbsttreffens 2021, Gesellschaft für Informatik e.V., . [bibtex]
@inproceedings{lochmann:21:fgbs,
	author = {Lochmann, Alexander and Schirmeier, Horst},
	title = {Beastie In For Checkup: Analyzing {FreeBSD} with {LockDoc}},
	booktitle = {Tagungsband des FGBS-Herbsttreffens 2021},
	year = 2021,
	month = sep,
	doi = {10.18420/fgbs2021h-04},
	publisher = {Gesellschaft f{\"u}r Informatik e.V.},
	address = {Bonn, Germany},
	category = {ESS},
}

2020

Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing (, and ), In Tagungsband des FGBS-Herbsttreffens 2020, Gesellschaft für Informatik e.V., . [bibtex]
@inproceedings{lochmann:20:fgbs,
	author = {Lochmann, Alexander and Thunig, Robin and Schirmeier, Horst},
	title = {Improving {Linux}-Kernel Tests for {LockDoc} with Feedback-driven Fuzzing},
	booktitle = {Tagungsband des FGBS-Herbsttreffens 2020},
	year = 2020,
	month = sep,
	doi = {10.18420/fgbs2020h-01},
	publisher = {Gesellschaft f{\"u}r Informatik e.V.},
	address = {Bonn, Germany},
	category = {ESS},
}

2019

LockDoc: Trace-Based Analysis of Locking in the Linux Kernel (, , and ), In eurosys19, ACM Press, . [bibtex] [pdf]
@string{acm="ACM Press"}
@string{acm_addr="New York, NY, USA"}
@inproceedings{lochmann:19:lockdoc,
 author = {Lochmann, Alexander and Schirmeier, Horst and Borghorst, Hendrik and Spinczyk, Olaf},
 title = {{LockDoc}: Trace-Based Analysis of Locking in the {Linux} Kernel},
 booktitle = eurosys19,
 year = 2019,
 month = mar,
 location = {Dresden, Germany},
 publisher = acm,
 address = acm_addr,
 category = {ESS, SFB-A1},
 url = {https://ess.cs.tu-dortmund.de/~al/Publications/files/eurosys-2019-lockdoc-lochmann.pdf}, 
 doi = {10.1145/3302424.3303948},
}

2017

Reproducible Load Tests for Android Systems with Trace-based Benchmarks (, and ), In Proceedings of the 8th ACM/SPEC International Conference on Performance Engineering Companion, ACM Press, . [bibtex]
@string{pot="Proceedings of the"}
@string{ico="International Conference on"}
@string{acm="ACM Press"}
@string{acm_addr="New York, NY, USA"}
@inproceedings{lochmann:2017:ltb,
 author = {Lochmann, Alexander and Bruckner, Fabian and Spinczyk, Olaf},
 title = {Reproducible Load Tests for {Android} Systems with Trace-based Benchmarks},
 booktitle = pot # {8th ACM/SPEC } # ico # {Performance Engineering Companion},
 series = {ICPE '17 Companion},
 year = {2017},
 isbn = {978-1-4503-4899-7},
 location = {L'Aquila, Italy},
 pages = {73--76},
 numpages = {4},
 doi = {10.1145/3053600.3053615},
 acmid = {3053615},
 publisher = acm,
 address = acm_addr,
 category = {ESS},
 keywords = {Android, application tracing, benchmark, benchmark generator, load testing},
}
Powered by bibtexbrowser