Full Name
Abhik Roychoudhury
Roychoudhury, Abhik
Roychoudhnry, A.
Roychoudhury, A.


Results 1-20 of 115 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)
12006A memory model sensitive checker for C#Huynh, T.Q.; Roychoudhury, A. 
22007A retargetable software timing analyzer using architecture description languageLi, X.; Roychoudhury, A. ; Mitra, T. ; Mishra, P.; Cheng, X.
32012A unified WCET analysis framework for multi-core platformsChattopadhyay, S.; Kee, C.L.; Roychoudhury, A. ; Kelter, T.; Marwedel, P.; Falk, H.
42007Accounting for cache-related preemption delay in dynamic priority schedulability analysisJu, L. ; Chakraborty, S. ; Roychoudhury, A. 
52003Accurate Estimation of Cache-Related Preemption DelayNegi, H.S.; Mitra, T. ; Roychoudhury, A. 
62003Accurate timing analysis by modeling caches, speculation and their interactionLi, X.; Mitra, T. ; Roychoudhury, A. 
72006Accurately choosing execution runs for software fault localizationGuo, L. ; Roychoudhury, A. ; Wang, T. 
82003An executable specification language based on message sequence chartsRoychoudhnry, A. ; Thiagarajan, P.S. 
92004An unfold/fold transformation framework for definite logic programsRoychoudhury, A. ; Kumar, K.N.; Ramakrishnan, C.R.; Ramakrishnan, I.V.
102005Analyzing loop paths for execution time estimationRoychoudhury, A. ; Mitra, T. ; Negi, H.S.
1111-Jul-2021Automated patch backporting in Linux (experience paper)Shariffdeen, Ridwan; Gao, Xiang ; Duck, Gregory J ; Tan, Shin Hwei ; Lawall, Julia; Roychoudhury, Abhik 
122005Automated path generation for software fault localizationWang, T. ; Roychoudhury, A. 
13May-2023Automated Repair of Programs from Large Language ModelsFan, Zhiyu; Gao, Xiang ; Mirchev, Martin; Roychoudhury, Abhik ; Tan, Shin Hwei 
142004Automatic generation of protocol converters from scenario-based specificationsRoychoudhury, A. ; Thiagarajan, P.S. ; Tran, T.-A.; Zvereva, V.A.
152020BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety ProofShinde, Shweta ; Wang, Shengyi; Yuan, Pinghai ; Hobor, Aquinas ; Roychoudhury, Abhik ; Saxena, Prateek 
162002Beyond tamaki-sato style unfold/fold transformations for normal logic programsRoychoudhury, A. ; Narayan Kumar, K.; Ramakrishnan, C.R.; Ramakrishnan, I.V.
1711-Jun-2020Binary rewriting without control flow recoveryDuck, GJ ; Gao, X ; Roychoudhury, A 
1816-Aug-2023Bleem: Packet Sequence Oriented Fuzzing for Protocol ImplementationsLiu, Z; Yu, J; Zuo, F; Liu, J; Jiang, Y; Chen, T ; Roychoudhury, Abhik ; Sun, J
192011Bus-aware multicore WCET analysis through TDMA offset boundsKelter, T.; Falk, H.; Marwedel, P.; Chattopadhyay, S.; Roychoudhury, A. 
202009Cache-aware optimization of BAN applicationsJu, L. ; Liang, Y. ; Chakraborty, S.; Mitra, T. ; Roychoudhury, A.