Add missing papers and update author information

[Copilot]

Updates publications page with 5 missing papers from 2025-2026 and refreshes author metadata.

Papers Added

• Data Race Detection by Digest-Driven Abstract Interpretation (VMCAI 2026)
• Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (VMCAI 2025)
• Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses (PLDI 2025)
• Context Gas and friends: taming context-sensitivity on the fly (STTT 2025)
• Sound Static Data Race Verification for C: Is the Race Lost? (TOPLAS 2025)

Video presentations linked for Data Race Detection, Correctness Witnesses, and Toxic Trash papers.

Author Updates

• Michael Schwarz affiliation: Technical University of Munich → National University of Singapore
• Michael Schwarz PhD thesis date corrected to April 2025
• Added Ali Rasim Koçal (Technical University of Munich) with profile image

Paper Metadata Refinements

• Shortened digest framework description (was 7 sentences, now 2)
• Updated descriptions for Data Race Detection and Correctness Witnesses papers based on review
• Reordered Correctness Witnesses to bottom of 2025 papers (chronological consistency)

Original prompt

---

This section details on the original issue you should resolve

<issue_title>Papers missing from webpage</issue_title>
<issue_description>Currently missing are:

• Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts</issue_description>

<agent_instructions>The bibliographic data for most papers is available here: https://github.com/michael-schwarz/michael-schwarz.github.io/blob/master/_bibliography/papers.bib

For is the race lost, it can be found here: https://dl.acm.org/doi/10.1145/3732933

Also update the affiliation of Michael Schwarz to National University of Singapore.</agent_instructions>

Comments on the Issue (you are @copilot in this section)

@michael-schwarz On that occasion one should shorten the concurrency sensitivity digest, it's a bit long. @michael-schwarz Also missing:

• Is the Race Lost?

• Taking Out the Toxic Trash

• Context Gas and Friends</comment_new>
  <comment_new>@michael-schwarz
  Also missing:

• Data Race Detection by Digest-Driven Abstract Interpretation

• Fixes Papers missing from webpage #46

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[michael-schwarz]

@copilot: Please address my comments.

[Copilot]

@copilot: Please address my comments.

Both descriptions have been updated as requested in commit ee11b2b.

[Copilot]

Just as a heads up, I was blocked by some firewall rules while working on your feedback. Expand below for details.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• https://api.github.com/repos/sim642/sim642.github.io/contents
  • Triggering command: /usr/bin/curl curl -s REDACTED (http block)
• sim642.eu
  • Triggering command: /home/REDACTED/work/_temp/ghcca-node/node/bin/node /home/REDACTED/work/_temp/ghcca-node/node/bin/node --enable-source-maps /home/REDACTED/work/_temp/copilot-developer-action-main/dist/index.js (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)

[michael-schwarz]

@arkocal maybe you can have a look and the push to the server. I think it is about time you appear on the Goblint webpage.

[michael-schwarz]

@copilot Include these video links:

• Data Race Detection by Digest-Driven Abstract Interpretation: https://www.youtube.com/watch?v=49wrVvMJlQg
• Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts: https://www.youtube.com/watch?v=S07bY5EqWBg
• Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses: https://www.youtube.com/watch?v=hISvCfbrbZc

Also Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts should be at the bottom for the 2025 papers.

[Copilot]

@copilot Include these video links:

• Data Race Detection by Digest-Driven Abstract Interpretation: https://www.youtube.com/watch?v=49wrVvMJlQg
  ...

Added video links and reordered papers in commit 4d6008b:

• Data Race Detection by Digest-Driven Abstract Interpretation: https://www.youtube.com/watch?v=49wrVvMJlQg
• Taking out the Toxic Trash: https://www.youtube.com/watch?v=hISvCfbrbZc
• Correctness Witnesses for Concurrent Programs: https://www.youtube.com/watch?v=S07bY5EqWBg (moved to bottom of 2025 papers)

[michael-schwarz]

@copilot: Michael Schwarz's thesis was in 2025.

[Copilot]

@copilot: Michael Schwarz's thesis was in 2025.

Updated Michael Schwarz's PhD thesis date from April 2024 to May 2025 in commit 033c9a4.

[michael-schwarz]

@arkocal: I now have checked it locally, so it should only be merging #48 and #49 and doing a ng build and pushing this to server 😃