Denis Lochmelis

According to our database, Denis Lochmelis authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?

Andrei Kozyrev, Nikita Khramov, Denis Lochmelis, Valerio Morelli, Gleb Solovev, Anton Podkopaev

CoRR, February, 2026

2025

LitmusKt: Concurrency Stress Testing for Kotlin.

Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev, Anton Podkopaev

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025