Daneshvar Amrollahi's Profile | Stanford Profiles

Honors & Awards

Radhia Cousot Young Researcher Best Paper Award, Static Analysis Symposium (SAS) (2022)

Contact

Academic
daneshva@stanford.edu

University - Student Department: Computer Science Position: Graduate

Additional Info

Mail Code: 9025

Links

https://cs.stanford.edu/~daneshva/

All Publications

Synthesis of Recursive Programs in Saturation Hozzova, P., Amrollahi, D., Hajdu, M., Kovacs, L., Voronkov, A., Wagner, E., Benzmuller, C., Heule, M. J., Schmidt, R. A. SPRINGER INTERNATIONAL PUBLISHING AG. 2024: 154-171

View details for DOI 10.1007/978-3-031-63498-7_10

View details for Web of Science ID 001273489700010