Fingerprint
Dive into the research topics where Michael Schwarz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Context Gas and friends: taming context-sensitivity on the fly
Erhard, J., Schinabeck, J. F., Schwarz, M. & Seidl, H., Apr 2025, In: International Journal on Software Tools for Technology Transfer. 27, 2, p. 289-307 19 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Erhard, J., Bentele, M., Heizmann, M., Klumpp, D., Saan, S., Schüssele, F., Schwarz, M., Seidl, H., Tilscher, S. & Vojdani, V., 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 74-100 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15529 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
Stemmler, F., Schwarz, M., Erhard, J., Tilscher, S. & Seidl, H., 10 Jun 2025, In: Proceedings of the ACM on Programming Languages. 9, 194.Research output: Contribution to journal › Article › peer-review
Open Access -
2-Pointer Logic
Seidl, H., Erhard, J., Schwarz, M. & Tilscher, S., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 281-307 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14660 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Scopus citations -
C-2PO: A Weakly Relational Pointer Domain “These Are Not the Memory Cells You Are Looking For”
Ghidini, R., Erhard, J., Schwarz, M. & Seidl, H., 17 Oct 2024, NSAD 2024 - Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Co-located with SPLASH 2024. Arceri, V. & Pasqua, M. (eds.). Association for Computing Machinery, Inc, p. 2-9 8 p. (NSAD 2024 - Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Co-located with SPLASH 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations