Tarun Pondicherry is an author at Princeton University specializing in formal methods, parallel programming, and parallel computing.
Top concepts
DesignLearningEducationTechnologyEngineeringVerificationFormal MethodsLearning DesignComputer ScienceDigital Learning
Publications per year
2011–2013
2
2
Joshua L. Chan, Tarun Pondicherry, Paulo Blikstein · 2013 · 54 citations
Parallel assertions for debugging parallel programs
Daniel Schwartz‐Narbonne, Feng Liu, Tarun Pondicherry et al. · 2011 · 10 citations
Rows per page
1–2 of 2