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 41-60 of 107 (Search time: 0.007 seconds).

Issue DateTitleAuthor(s)
411-May-2021Fuzzing: Challenges and ReflectionsBoehme, M.; Cadar, Cristian; Roychoudhury, Abhik 
422009Generating test programs to cover pipeline interactionsThanh, N.D.; Roychoudhury, A. ; Mitra, T. ; Mishra, P.
432010Golden implementation driven software debuggingBanerjee, A. ; Roychoudhury, A. ; Harlie, J.A. ; Liang, Z. 
42006Handling constraints in multi-objective GA for embedded system designChakraborty, B. ; Chen, T. ; Mitra, T. ; Roychoudhury, A. 
52007Hierarchical dynamic slicingWang, T. ; Roychoudhury, A. 
62004Impact of java memory model on out-of-order multiprocessorsMitra, T. ; Roychoudhury, A. ; Shen, Q.
72004Inductively verifying invariant properties of parameterized systemsRoychoudhury, A. ; Ramakrishnan, I.V.
82012Inferring class level specifications for distributed systemsKumar, S. ; Khoo, S.-C. ; Roychoudhury, A. ; Lo, D.
92013Integrated timing analysis of application and operating systems codeChong, L.K.; Ballabriga, C.; Pham, V.-T.; Chattopadhyay, S.; Roychoudhury, A. 
102006Interacting process classesGoel, A. ; Meng, S.; Roychoudhury, A. ; Thiagarajan, P.S. 
112008Java memory model aware software validationDe, A.; Roychoudhury, A. ; D'Souza, D.
122012Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): PrefaceRoychoudhury, A. ; D'Souza, M.
136-Sep-2021Linear-time Temporal Logic guided Greybox FuzzingMeng, Ruijie; Dong, Zhen; Li, Jialin ; Beschastnikh, Ivan; Roychoudhury, Abhik 
142020Localizing Patch Points From One Exploit.Shen, Shiqi ; Kolluri, Aashish; Dong, Zhen ; Saxena, Prateek ; Roychoudhury, Abhik 
152011Locating failure-inducing environment changesQi, D.; Ngo, M.N.; Sun, T.; Roychoudhury, A. 
162007Memory model sensitive bytecode verificationHuynh, T.Q.; Roychoudhury, A. 
172011Mining message sequence graphsKumar, S. ; Khoo, S.-C. ; Roychoudhury, A. ; Lo, D.
182005Modeling control speculation for timing analysisLi, X.; Mitra, T. ; Roychoudhury, A. 
192004Modeling out-of-order processors for software timing analysisLi, X.; Roychoudhury, A. ; Mitra, T. 
202006Modeling out-of-order processors for WCET analysisLi, X.; Roychoudhury, A. ; Mitra, T.