Anastasios Andronidis

Publication Activity (10 Years)

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

Top Topics

Program Execution

Presburger Arithmetic

Interaction Networks

Top Venues

USENIX Annual Technical Conference

Int. J. Softw. Tools Technol. Transf.

Publications

Anastasios Andronidis, Cristian Cadar
SnapFuzz: high-throughput fuzzing of network applications. ISSTA (2022)
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)
Anastasios Andronidis, Cristian Cadar
SnapFuzz: An Efficient Fuzzing Framework for Network Applications. CoRR (2022)
Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. ASPLOS (2019)
Luís Pina, Anastasios Andronidis, Cristian Cadar
: deploying incompatible stock dynamic analyses in production via multi-version execution. CF (2018)
Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
A DSL Approach to Reconcile Equivalent Divergent Program Executions. USENIX Annual Technical Conference (2017)