Roberto Giacobazzi

Making abstract interpretations complete

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari · Journal of the ACM · 2000 · 253 citations · Full text

Computing, Computer Science, Algorithms +10

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13

Roberto Giacobazzi, Radhia Cousot · HAL (Le Centre pour la Communication Scientifique Directe) · 2013 · 96 citations

Computing, Computer Science, Compilers +10

Fast location of similar code fragments using semantic 'juice'

Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi · 2013 · 90 citations

Computing, Computer Engineering, Computer Science +14

A general framework for semantics-based bottom-up abstract interpretation of logic programs

Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi · ACM Transactions on Programming Languages and Systems · 1993 · 89 citations · Full text

Computing, Computer Science, Formal Methods +16

Optimal domains for disjunctive abstract interpretation

Roberto Giacobazzi, Francesco Ranzato · Science of Computer Programming · 1998 · 64 citations

Computing, Computer Science, Mathematics +6