Publications

2021

• CLoF: A Compositional Lock Framework for Multi-level NUMA SystemsDe Lima Chehab, R. L., Paolillo, A., Behrens, D., Fu, M., Härtig, H. & Chen, H., 26 Oct 2021, SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 851-865, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Advancing Design and Runtime Management of AI Applications with AI-SPRINT (Position Paper)Sedghani, H., Ardagna, D., Matteucci, M., Fontana, G., Verticale, G., Amarilli, F., M. Badia, R. & 4 others, Jul 2021, p. 1455-1462, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• ADAM-CS: Advanced Asynchronous Monotonic Counter ServiceMartin, A., Lian, C., Gregor, F., Krahn, R., Schiavoni, V., Felber, P. & Fetzer, C., Jun 2021, p. 426-437, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Demystifying Attestation in Intel Trust Domain Extensions via Formal VerificationSardar, M. U., Musaev, S. & Fetzer, C., Jun 2021, p. 83067 - 83079, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Experiences and insights from using Github Classroom to support Project-Based CoursesNelson, M. A. & Ponciano, L., 1 May 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. IEEE, New York [u. a.], p. 31-35, 5 p., 9474647. (Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Intelligent networksCabrera G., J. A., Fitzek, F. H., Hanisch, S., Itting, S. A., Zhang, J., Zimmermann, S., Strufe, T. & 2 others, 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Elsevier, p. 131-149, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
• Tactile computing: Essential building blocks for the Tactile InternetAßmann, U., Baier, C., Dubslaff, C., Grzelak, D., Hanisch, S., Hartono, A. P. P., Köpsell, S. & 2 others, 1 Jan 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (eds.). Academic Press, p. 293-317, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
• Active replication for latency-sensitive stream processing in Apache FlinkRosniosky, G., Schmidt, F., Bodunov, O., Fetzer, C. & Martin, A., 2021, p. 56-66, 11 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticBromberger, M., Dragoste, I., Faqeh, R., Fetzer, C., Krötzsch, M. & Weidenbach, C., 2021, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings: 13th International Symposium, FroCoS 2021 Birmingham, UK, September 8–10, 2021 Proceedings. Konev, B. & Reger, G. (eds.). Springer, Berlin [u. a.], p. 3–24, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• BROFY: Towards Essential Integrity Protection for MicroservicesHartono, A. P. P. & Fetzer, C., 2021, p. 154-163, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper