Federico Lochbaum

According to our database¹, Federico Lochbaum authored at least 4 papers between 2020 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

On the Effectiveness of Interpreter-Guided Compiler Testing.

[DOI]

Proceedings of the Companion Proceedings of the 9th International Conference on the Art, 2025

Evaluating Benchmark Quality: a Mutation-Testing-Based Methodology.

[DOI]

Proceedings of the International Workshop on Smalltalk Technologies 2025, 2025

2020

Semantics of a Relational λ-Calculus (Extended Version).

[DOI]

CoRR, 2020

Semantics of a Relational λ-Calculus.

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020