Abhik Roychoudhury

	2009
69		Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra: Generating test programs to cover pipeline interactions. DAC 2009: 142-147
68		Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury: Context-sensitive timing analysis of Esterel programs. DAC 2009: 870-873
67		Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani: Darwin: an approach for debugging evolving programs. ESEC/SIGSOFT FSE 2009: 33-42
66		Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139
65		Ankit Goel, Bikram Sengupta, Abhik Roychoudhury: Footprinter: Round-trip engineering via scenario and state based models. ICSE Companion 2009: 419-420
64		Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan: Interacting process classes. ACM Trans. Softw. Eng. Methodol. 18(4): (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] [68]
4	Ting Chen	[36] [37] [42] [46]
5	Xu Cheng	[56]
6	S. C. Choudhary	[30]
7	Baoqiu Cui	[3]
8	Deepak D'Souza	[58]
9	Thanh Nga Dang	[69]
10	Arnab De	[58]
11	Cem Derdiyok	[54]
12	Jin Song Dong	[66]
13	Yifei Dong	[3] [11]
14	Xiaoqun Du	[3] [11]
15	Sandro Etalle	[35]
16	Amy P. Felty	[7]
17	Ankit Goel	[18] [43] [44] [53] [64] [65]
18	Liang Guo	[47] [59]
19	Douglas J. Howe	[7]
20	Bach Khoa Huynh	[62] [68]
21	Thuan Quang Huynh	[45] [49]
22	Lei Ju	[55] [60] [62] [63] [68]
23	S. R. Karri	[20]
24	K. Narayan Kumar	[3] [5] [6] [8] [9] [13] [26]
25	Xianfeng Li	[14] [21] [27] [33] [34] [40] [48] [56]
26	Yun Liang	[63]
27	Zhenkai Liang	[67]
28	Shanshan Liu	[66]
29	Yang Liu	[66]
30	Sun Meng	[44]
31	Prabhat Mishra	[56] [69]
32	Tulika Mitra	[14] [15] [18] [20] [21] [22] [27] [31] [33] [34] [36] [37] [38] [40] [42] [46] [48] [50] [54] [56] [61] [63] [69]
33	Supratik Mukhopadhyay	[35] [41]
34	Hemendra Singh Negi	[22] [33] [38]
35	Dawei Qi	[67]
36	C. R. Ramakrishnan	[2] [3] [4] [5] [8] [9] [10] [11] [13] [26] [29]
37	I. V. Ramakrishnan	[2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [25] [26]
38	R. C. Sekar	[4]
39	Bikram Sengupta	[53] [65]
40	Qinghua Shen	[31]
41	Scott A. Smolka	[2] [3] [9] [11]
42	Vivy Suhendra	[36] [37] [46] [61]
43	Jun Sun	[66]
44	Susmita Sur-Kolay	[1]
45	P. S. Thiagarajan	[17] [19] [24] [28] [44] [64]
46	Lothar Thiele	[54]
47	Tuan-Anh Tran	[28]
48	Kapil Vaswani	[67]
49	V. N. Venkatakrishnan	[11]
50	Tao Wang	[30] [32] [39] [47] [52] [57]
51	David Scott Warren	[3]
52	Zijiang Yang	[41]
53	Roland H. C. Yap	[30]
54	Liang Yun	[48] [50]
55	Vera A. Zvereva	[28]

Colors in the list of coauthors