1. ScholarBank@NUS

Abhik Roychoudhury

rp04465

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Abhik Roychoudhury
Variants
Roychoudhury, Abhik
Roychoudhnry, A.
Roychoudhury, A.
 
Main Affiliation
 
Faculty
 
Email
dcsar@nus.edu.sg
 

Publications

Results 61-80 of 116 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
612011Locating failure-inducing environment changesQi, D.; Ngo, M.N.; Sun, T.; Roychoudhury, A. 
622007Memory model sensitive bytecode verificationHuynh, T.Q.; Roychoudhury, A. 
632011Mining message sequence graphsKumar, S. ; Khoo, S.-C. ; Roychoudhury, A. ; Lo, D.
642005Modeling control speculation for timing analysisLi, X.; Mitra, T. ; Roychoudhury, A. 
652004Modeling out-of-order processors for software timing analysisLi, X.; Roychoudhury, A. ; Mitra, T. 
662006Modeling out-of-order processors for WCET analysisLi, X.; Roychoudhury, A. ; Mitra, T. 
672010Modeling shared cache and bus in multi-cores for timing analysisChattopadhyay, S.; Roychoudhury, A. ; Mitra, T. 
682019Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural ConstraintsShiqi, Shen; Shinde, Shweta ; Ramesh, Soundarya; Roychoudhury, Abhik ; Saxena, Prateek 
692018oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis.Wang, Guanhua ; Chattopadhyay, Sudipta ; Gotovchits, Ivan; Mitra, Tulika ; Roychoudhury, Abhik 
702013Partition-based regression verificationBohme, M.; Oliveira, B.C.D.S.; Roychoudhury, A. 
712017Partitioning Patches into Test-equivalence Classes for Scaling Program Repair.Mechtaev, Sergey ; Gao, Xiang ; Tan, Shin Hwei ; Roychoudhury, Abhik 
722013Past expression: Encapsulating pre-states at post-conditions by means of AOPYi, J.; Robby; Deng, X.; Roychoudhury, A. 
732011Path exploration based on symbolic outputQi, D.; Nguyen, H.D.T.; Roychoudhury, A. 
742008Performance debugging of Esterel specificationsJu, L. ; Huynh, B.K. ; Roychoudhury, A. ; Chakraborty, S. 
752012Performance debugging of Esterel specificationsJu, L.; Huynh, B.K. ; Roychoudhury, A. ; Chakraborty, S.
762013Precise micro-architectural modeling for WCET analysis via AI+SATBanerjee, A.; Chattopadhyay, S.; Roychoudhury, A. 
772013Program performance spectrumChattopadhyay, S.; Chong, L.K.; Roychoudhury, A. 
782013Program performance spectrumChattopadhyay, S.; Chong, L.K.; Roychoudhury, A. 
792013Regression Testing of Evolving ProgramsBöhme, M.; Roychoudhury, A. ; Oliveira, B.C.
802013Regression tests to expose change interaction errorsBöhme, M.; Oliveira, B.C.D.S.; Roychoudhury, A.