Daniel Grumberg

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 2

Top Topics

Load Forecasting

Program Execution

Presburger Arithmetic

Top Venues

USENIX Annual Technical Conference

Int. J. Softw. Tools Technol. Transf.

Publications

Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
SaBRe: load-time selective binary rewriting. Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
A DSL Approach to Reconcile Equivalent Divergent Program Executions. USENIX Annual Technical Conference (2017)