2 papers
cs.PL2026
MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
Berke Ates, Filip Dobrosavljević, Theodoros Theodoridis +1
Compilers are essential for the performance and correct execution of software and hold universal relevance across various scientific disciplines. Despite this, there is a notable l…
cs.PF2025
Evaluating Compiler Optimization Impacts on zkVM Performance
Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos +1
Zero-knowledge proofs (ZKPs) are the cornerstone of programmable cryptography. They enable (1) privacy-preserving and verifiable computation across blockchains, and (2) an expandin…