Soundarya Ramesh

Identifiers

No identifiers captured yet.

Papers (1)

1. Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution cs.PL · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Abhik Roychoudhury 1 shared papers
• Prateek Saxena 1 shared papers
• Shiqi Shen 1 shared papers
• Shweta Shinde 1 shared papers