Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables

Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni. Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. In Sriram K. Rajamani, David Walker, editors, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. pages 329-341, ACM, 2015. [doi]

Authors

Mila Dalla Preda

This author has not been identified. Look up 'Mila Dalla Preda' in Google

Roberto Giacobazzi

This author has not been identified. Look up 'Roberto Giacobazzi' in Google

Arun Lakhotia

This author has not been identified. Look up 'Arun Lakhotia' in Google

Isabella Mastroeni

This author has not been identified. Look up 'Isabella Mastroeni' in Google