Daniel was a UROP student during the summer of 2016. He returned to the group to pursue a PhD, see here.
Group Publications
-
SaBRe: Load-time Selective Binary Rewriting
Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
International Journal on Software Tools for Technology Transfer (STTT 2022)
-
A DSL Approach to Reconcile Equivalent Divergent Program Executions
Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
USENIX Annual Technical Conference (USENIX ATC 2017)