Saswat Anand

Identifiers

No identifiers captured yet.

Papers (2)

1. Eventually Sound Points-To Analysis with Missing Code cs.PL · 2017 · author #3
2. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability cs.CR · 2016 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Osbert Bastani 2 shared papers
• Alex Aiken 1 shared papers
• Isil Dillig 1 shared papers
• Lazaro Clapp 1 shared papers
• Rahul Sharma 1 shared papers
• Ruben Martins 1 shared papers
• Yu Feng 1 shared papers