logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Chandrakana Nandi

university of utah

9H-index
30Paper Count
250Citation Count
Published Papers 2
Publication Date
logo
Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errHe, Yumeng; Nandi, Chandrakana; Pai, Sreepathi
errShare
errSave
Carpentry Compiler
errACM TRANSACTIONS ON GRAPHICS
IF9.5
err2019-11-08
err24
PREAI
errWu, Chenming; Zhao, Haisen; Nandi, Chandrakana; Lipton, Jeffrey, I; Tatlock, Zachary; Schulz, Adriana
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
Z
Zachary Tatlock
H-index: 26 · Papers: 107
A
Adriana Schulz
H-index: 18 · Papers: 75
C
Chenming Wu
H-index: 18 · Papers: 113
S
Sreepathi Pai
H-index: 16 · Papers: 48
H
Haisen Zhao
H-index: 13 · Papers: 36
View more