Daniel Perelman
发表
Sumit Gulwani,
Dan Grossman,
Daniel Perelman,
2014,
PLDI.
R. Nigel Horspool,
Nikolai Tillmann,
Tao Xie,
2014,
SBST 2014.
Sumit Gulwani,
Todd D. Millstein,
Oleksandr Polozov,
2017,
ArXiv.
Sumit Gulwani,
Todd D. Millstein,
Oleksandr Polozov,
2017,
Proc. ACM Program. Lang..
Sumit Gulwani,
Dan Grossman,
Judith Bishop,
2015
.
Sumit Gulwani,
Abhishek Udupa,
Oleksandr Polozov,
2017,
ArXiv.
Sumit Gulwani,
Dan Grossman,
Thomas Ball,
2012,
PLDI.
Sumit Gulwani,
Ashish Tiwari,
Arjun Radhakrishna,
2020,
ArXiv.
R. Nigel Horspool,
Nikolai Tillmann,
Jonathan de Halleux,
2014
.