Abhik Roychoudhury

	2009
72		Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra: Generating test programs to cover pipeline interactions. DAC 2009: 142-147
71		Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury: Context-sensitive timing analysis of Esterel programs. DAC 2009: 870-873
70		Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani: Darwin: an approach for debugging evolving programs. ESEC/SIGSOFT FSE 2009: 33-42
69		Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139
68		Ankit Goel, Bikram Sengupta, Abhik Roychoudhury: Footprinter: Round-trip engineering via scenario and state based models. ICSE Companion 2009: 419-420
67		Sudipta Chattopadhyay, Abhik Roychoudhury: Unified Cache Modeling for WCET Analysis and Layout Optimizations. IEEE Real-Time Systems Symposium 2009: 47-56
66		Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury: Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. IEEE Real-Time Systems Symposium 2009: 57-67
65		Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan: Interacting process classes. ACM Trans. Softw. Eng. Methodol. 18(4): (2009)
64		Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele: Cache-aware timing analysis of streaming applications. Real-Time Systems 41(1): 52-85 (2009)
	2008
63		Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury: Cache-aware optimization of BAN applications. CODES+ISSS 2008: 149-154
62		Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty: Performance debugging of Esterel specifications. CODES+ISSS 2008: 173-178
61		Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra: Scratchpad allocation for concurrent embedded software. CODES+ISSS 2008: 37-42
60		Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty: Schedulability Analysis of MSC-based System Models. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 215-224
59		Liang Guo, Abhik Roychoudhury: Debugging Statecharts Via Model-Code Traceability. ISoLA 2008: 292-306
58		Arnab De, Abhik Roychoudhury, Deepak D'Souza: Java memory model aware software validation. PASTE 2008: 8-14
57		Tao Wang, Abhik Roychoudhury: Dynamic slicing on Java bytecode traces. ACM Trans. Program. Lang. Syst. 30(2): (2008)
	2007
56		Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng: A Retargetable Software Timing Analyzer Using Architecture Description Language. ASP-DAC 2007: 396-401
55		Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury: Accounting for cache-related preemption delay in dynamic priority schedulability analysis. DATE 2007: 1623-1628
54		Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok: Cache-Aware Timing Analysis of Streaming Applications. ECRTS 2007: 159-168
53		Abhik Roychoudhury, Ankit Goel, Bikram Sengupta: Symbolic message sequence charts. ESEC/SIGSOFT FSE 2007: 275-284
52		Tao Wang, Abhik Roychoudhury: Hierarchical dynamic slicing. ISSTA 2007: 228-238
51		Samarjit Chakraborty, Abhik Roychoudhury: Tutorial T8B: Performance Debugging of Complex Embedded Systems. VLSI Design 2007: 13
50		Liang Yun, Abhik Roychoudhury, Tulika Mitra: Timing Analysis of Body Area Network Applications. WCET 2007
49		Thuan Quang Huynh, Abhik Roychoudhury: Memory model sensitive bytecode verification. Formal Methods in System Design 31(3): 281-305 (2007)
48		Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury: Chronos: A timing analyzer for embedded software. Sci. Comput. Program. 69(1-3): 56-67 (2007)
	2006
47		Liang Guo, Abhik Roychoudhury, Tao Wang: Accurately Choosing Execution Runs for Software Fault Localization. CC 2006: 80-95
46		Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen: Efficient detection and exploitation of infeasible paths for software timing analysis. DAC 2006: 358-363
45		Thuan Quang Huynh, Abhik Roychoudhury: A Memory Model Sensitive Checker for C#. FM 2006: 476-491
44		Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan: Interacting process classes. ICSE 2006: 302-311
43		Ankit Goel, Abhik Roychoudhury: Synthesis and Traceability of Scenario-Based Executable Models. ISoLA 2006: 347-354
42		Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury: Handling Constraints in Multi-Objective GA for Embedded System Design. VLSI Design 2006: 305-310
41		Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006)
40		Xianfeng Li, Abhik Roychoudhury, Tulika Mitra: Modeling out-of-order processors for WCET analysis. Real-Time Systems 34(3): 195-227 (2006)
	2005
39		Tao Wang, Abhik Roychoudhury: Automated path generation for software fault localization. ASE 2005: 347-351
38		Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi: Analyzing Loop Paths for Execution Time Estimation. ICDCIT 2005: 458-469
37		Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen: WCET Centric Data Allocation to Scratchpad Memory. RTSS 2005: 223-232
36		Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra: Exploiting Branch Constraints without Exhaustive Path Enumeration. WCET 2005
35		Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury: Preface. Electr. Notes Theor. Comput. Sci. 118: 1- (2005)
34		Xianfeng Li, Tulika Mitra, Abhik Roychoudhury: Modeling Control Speculation for Timing Analysis. Real-Time Systems 29(1): 27-58 (2005)
	2004
33		Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury: Design space exploration of caches using compressed traces. ICS 2004: 116-125
32		Tao Wang, Abhik Roychoudhury: Using Compressed Bytecode Traces for Slicing Java Programs. ICSE 2004: 512-521
31		Tulika Mitra, Abhik Roychoudhury, Qinghua Shen: Impact of Java Memory Model on Out-of-Order Multiprocessors. IEEE PACT 2004: 99-110
30		Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary: Symbolic Execution of Behavioral Requirements. PADL 2004: 178-192
29		Abhik Roychoudhury, C. R. Ramakrishnan: Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Program Development in Computational Logic 2004: 261-290
28		Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva: Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS 2004: 447-458
27		Xianfeng Li, Abhik Roychoudhury, Tulika Mitra: Modeling Out-of-Order Processors for Software Timing Analysis. RTSS 2004: 92-103
26		Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. 26(3): 464-509 (2004)
25		Abhik Roychoudhury, I. V. Ramakrishnan: Inductively Verifying Invariant Properties of Parameterized Systems. Autom. Softw. Eng. 11(2): 101-139 (2004)
	2003
24		Abhik Roychoudhury, P. S. Thiagarajan: Communicating Transaction Processes. ACSD 2003: 157-166
23		Abhik Roychoudhury: Depiction and Playout of Multi-threaded Program Executions. ASE 2003: 331-336
22		Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury: Accurate estimation of cache-related preemption delay. CODES+ISSS 2003: 201-206
21		Xianfeng Li, Tulika Mitra, Abhik Roychoudhury: Accurate timing analysis by modeling caches, speculation and their interaction. DAC 2003: 466-471
20		Abhik Roychoudhury, Tulika Mitra, S. R. Karri: Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol. DATE 2003: 10828-10833
19		Abhik Roychoudhury, P. S. Thiagarajan: Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. Lectures on Concurrency and Petri Nets 2003: 789-818
18		Ankit Goel, Abhik Roychoudhury, Tulika Mitra: Compactly representing parallel program executions. PPOPP 2003: 191-202
	2002
17		Abhik Roychoudhury, P. S. Thiagarajan: An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST 2002: 226-241
16		Abhik Roychoudhury: Formal Reasoning about Hardware and Software Memory Models. ICFEM 2002: 423-434
15		Abhik Roychoudhury, Tulika Mitra: Specifying multithreaded Java semantics for program verification. ICSE 2002: 489-499
14		Abhik Roychoudhury, Xianfeng Li, Tulika Mitra: Timing Analysis of Embedded Software for Speculative Processors. ISSS 2002: 126-131
13		Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. 13(3): 387-403 (2002)
	2001
12		Abhik Roychoudhury, I. V. Ramakrishnan: Automated Inductive Verification of Parameterized Protocols. CAV 2001: 25-37
	2000
11		C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan: XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580
10		Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan: Justifying proofs using memo tables. PPDP 2000: 178-189
9		Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187
	1999
8		Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN 1999: 322-333
7		Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury: Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. CADE 1999: 237-251
6		Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan: Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999: 616
5		Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP 1999: 396-413
	1998
4		Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL 1998: 196-205
3		Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren: Logic Programming and Model Checking. PLILP/ALP 1998: 1-20
2		Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88
	1995
1		Abhik Roychoudhury, Susmita Sur-Kolay: Efficient Algorithms for Vertex Arboricity of Planar Graphs. FSTTCS 1995: 37-51

Coauthor Index

1	Unmesh D. Bordoloi	[54]
2	Biman Chakraborty	[42]
3	Samarjit Chakraborty	[51] [54] [55] [60] [62] [63] [64] [71]
4	Sudipta Chattopadhyay	[67]
5	Ting Chen	[36] [37] [42] [46]
6	Xu Cheng	[56]
7	S. C. Choudhary	[30]
8	Baoqiu Cui	[3]
9	Deepak D'Souza	[58]
10	Thanh Nga Dang	[72]
11	Arnab De	[58]
12	Cem Derdiyok	[54]
13	Jin Song Dong	[69]
14	Yifei Dong	[3] [11]
15	Xiaoqun Du	[3] [11]
16	Sandro Etalle	[35]
17	Amy P. Felty	[7]
18	Ankit Goel	[18] [43] [44] [53] [65] [68]
19	Liang Guo	[47] [59]
20	Douglas J. Howe	[7]
21	Bach Khoa Huynh	[62] [71]
22	Thuan Quang Huynh	[45] [49]
23	Lei Ju	[55] [60] [62] [63] [71]
24	S. R. Karri	[20]
25	K. Narayan Kumar	[3] [5] [6] [8] [9] [13] [26]
26	Xianfeng Li	[14] [21] [27] [33] [34] [40] [48] [56]
27	Yan Li	[66]
28	Yun Liang	[63] [66]
29	Zhenkai Liang	[70]
30	Shanshan Liu	[69]
31	Yang Liu	[69]
32	Sun Meng	[44]
33	Prabhat Mishra	[56] [72]
34	Tulika Mitra	[14] [15] [18] [20] [21] [22] [27] [31] [33] [34] [36] [37] [38] [40] [42] [46] [48] [50] [54] [56] [61] [63] [64] [66] [72]
35	Supratik Mukhopadhyay	[35] [41]
36	Hemendra Singh Negi	[22] [33] [38]
37	Dawei Qi	[70]
38	C. R. Ramakrishnan	[2] [3] [4] [5] [8] [9] [10] [11] [13] [26] [29]
39	I. V. Ramakrishnan	[2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [25] [26]
40	R. C. Sekar	[4]
41	Bikram Sengupta	[53] [68]
42	Qinghua Shen	[31]
43	Scott A. Smolka	[2] [3] [9] [11]
44	Vivy Suhendra	[36] [37] [46] [61] [66]
45	Jun Sun	[69]
46	Susmita Sur-Kolay	[1]
47	P. S. Thiagarajan	[17] [19] [24] [28] [44] [65]
48	Lothar Thiele	[54] [64]
49	Tuan-Anh Tran	[28]
50	Kapil Vaswani	[70]
51	V. N. Venkatakrishnan	[11]
52	Tao Wang	[30] [32] [39] [47] [52] [57]
53	David Scott Warren	[3]
54	Zijiang Yang	[41]
55	Roland H. C. Yap	[30]
56	Liang Yun	[48] [50]
57	Vera A. Zvereva	[28]

Colors in the list of coauthors