Chandrakana Nandi
发表
Pavel Panchekha,
Zachary Tatlock,
Max Willsey,
2020,
Proc. ACM Program. Lang..
Dan Grossman,
Eva Darulova,
Zachary Tatlock,
2019,
ArXiv.
Chandrakana Nandi,
Chandrakana Nandi,
2014
.
Dan Grossman,
Eva Darulova,
Zachary Tatlock,
2020
.
Pavel Panchekha,
Zachary Tatlock,
Max Willsey,
2020,
ArXiv.
Dan Grossman,
Zachary Tatlock,
Chandrakana Nandi,
2017,
SNAPL.
Dan Grossman,
Kathryn S. McKinley,
Adrian Sampson,
2017,
MAPL@PLDI.
Dan Grossman,
Pavel Panchekha,
Zachary Tatlock,
2018,
Proc. ACM Program. Lang..
Michael D. Ernst,
Chandrakana Nandi,
Chandrakana Nandi,
2016,
PLAS@CCS.
Zachary Tatlock,
Chenming Wu,
Chandrakana Nandi,
2019,
ACM Trans. Graph..
Pavel Panchekha,
Zachary Tatlock,
Max Willsey,
2020
.
Dan Grossman,
Eva Darulova,
Zachary Tatlock,
2019,
ArXiv.
Manuel Oriol,
Aurelien Monot,
Chandrakana Nandi,
2015,
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Chandrakana Nandi,
2016,
SIGSOFT FSE.
Chandrakana Nandi,
Jasper Tran O'Leary,
Nadya Peek,
2021,
UIST.
Justin Solomon,
Max Willsey,
Chandrakana Nandi,
2021,
ArXiv.
Dan Grossman,
Max Willsey,
Chandrakana Nandi,
2021,
Proc. ACM Program. Lang..
Pavel Panchekha,
Chandrakana Nandi,
Oliver Flatt,
2021,
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH).