David Knothe

According to our database¹, David Knothe authored at least 4 papers between 2019 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations.

[DOI]

CoRR, February, 2026

2025

CompCert+PCFL.

[DOI]

Dataset, September, 2025

On Verifying Secret Control Flow Elimination.

[DOI]

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2019

Large-Scale-Exploit of GitHub Repository Metadata and Preventive Measures.

[DOI]

CoRR, 2019