Abhik Roychoudhury

Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira: Regression Testing of Evolving Programs. Advances in Computers 89: 53-88 (2013)

Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury: Partition-based regression verification. ICSE 2013: 302-311

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra: SemFix: program repair via semantic analysis. ICSE 2013: 772-781

Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty: Performance debugging of Esterel specifications. Real-Time Systems 48(5): 570-600 (2012)

Yun Liang, Huping Ding, Tulika Mitra, Abhik Roychoudhury, Yan Li, Vivy Suhendra: Timing analysis of concurrent programs running on shared cache multi-cores. Real-Time Systems 48(6): 638-680 (2012)

Zhiming Liu, Abhik Roychoudhury: Relating software validation to technology trends. STTT 14(6): 631-638 (2012)

Abhik Roychoudhury, Ankit Goel, Bikram Sengupta: Symbolic Message Sequence Charts. ACM Trans. Softw. Eng. Methodol. 21(2): 12 (2012)

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani: DARWIN: An approach to debugging evolving programs. ACM Trans. Softw. Eng. Methodol. 21(3): 19 (2012)

Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo: Inferring class level specifications for distributed systems. ICSE 2012: 914-924

Lei Ju, Bikram Sengupta, Abhik Roychoudhury: Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems. ICWS 2012: 415-422

Sudipta Chattopadhyay, Chong Lee Kee, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk: A Unified WCET Analysis Framework for Multi-core Platforms. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 99-108

Dawei Qi, Jooyong Yi, Abhik Roychoudhury: Software change contracts. SIGSOFT FSE 2012: 22

Dawei Qi, William N. Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, Abhik Roychoudhury: Modeling Software Execution Environment. WCRE 2012: 415-424

Abhik Roychoudhury, Meenakshi D'Souza (Eds.): Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Lecture Notes in Computer Science 7521, Springer 2012, isbn 978-3-642-32942-5

Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay, Abhik Roychoudhury: Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds. ECRTS 2011: 3-12

Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo: Mining message sequence graphs. ICSE 2011: 91-100

Sudipta Chattopadhyay, Abhik Roychoudhury: Static bus schedule aware scratchpad allocation in multiprocessors. LCTES 2011: 11-20

Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury: Locating failure-inducing environment changes. PASTE 2011: 29-36

Bach Khoa Huynh, Lei Ju, Abhik Roychoudhury: Scope-Aware Data Cache Analysis for WCET Estimation. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 203-212

Sudipta Chattopadhyay, Abhik Roychoudhury: Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. RTSS 2011: 193-203

Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser: Timing Analysis of a Protected Operating System Kernel. RTSS 2011: 339-348

Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury: Path exploration based on symbolic output. SIGSOFT FSE 2011: 278-288

Abhik Roychoudhury: Debugging as a Science, that too, when your Program is Changing. Electr. Notes Theor. Comput. Sci. 266: 3-15 (2010)

Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra: Scratchpad allocation for concurrent embedded software. ACM Trans. Program. Lang. Syst. 32(4) (2010)

Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty: Timing analysis of esterel programs on general-purpose multiprocessors. DAC 2010: 48-51

Arnab De, Abhik Roychoudhury, Deepak D'Souza: WOMM: A Weak Operational Memory Model. ISoLA (1) 2010: 519-534

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang: Test generation to expose changes in evolving programs. ASE 2010: 397-406

Sudipta Chattopadhyay, Abhik Roychoudhury, Tulika Mitra: Modeling shared cache and bus in multi-cores for timing analysis. SCOPES 2010: 6

Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang: Golden implementation driven software debugging. SIGSOFT FSE 2010: 177-186

Abhik Roychoudhury: Embedded Systems and Software Validation. The Morgan Kaufmann series in systems on silicon, Morgan Kaufmann 2009, isbn 978-0-12-374230-8, pp. I-XII, 1-254

Lei Ju, Yun Liang, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury: Cache-aware optimization of BAN applications. Design Autom. for Emb. Sys. 13(3): 159-178 (2009)

Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele: Cache-aware timing analysis of streaming applications. Real-Time Systems 41(1): 52-85 (2009)

Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan: Interacting process classes. ACM Trans. Softw. Eng. Methodol. 18(4) (2009)

Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra: Generating test programs to cover pipeline interactions. DAC 2009: 142-147

Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury: Context-sensitive timing analysis of Esterel programs. DAC 2009: 870-873

Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139

Ankit Goel, Bikram Sengupta, Abhik Roychoudhury: Footprinter: Round-trip engineering via scenario and state based models. ICSE Companion 2009: 419-420

Sudipta Chattopadhyay, Abhik Roychoudhury: Unified Cache Modeling for WCET Analysis and Layout Optimizations. RTSS 2009: 47-56

Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury: Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. RTSS 2009: 57-67

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani: Darwin: an approach for debugging evolving programs. ESEC/SIGSOFT FSE 2009: 33-42

Tao Wang, Abhik Roychoudhury: Dynamic slicing on Java bytecode traces. ACM Trans. Program. Lang. Syst. 30(2) (2008)

Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra: Scratchpad allocation for concurrent embedded software. CODES+ISSS 2008: 37-42

Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury: Cache-aware optimization of BAN applications. CODES+ISSS 2008: 149-154

Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty: Performance debugging of Esterel specifications. CODES+ISSS 2008: 173-178

Liang Guo, Abhik Roychoudhury: Debugging Statecharts Via Model-Code Traceability. ISoLA 2008: 292-306

Arnab De, Abhik Roychoudhury, Deepak D'Souza: Java memory model aware software validation. PASTE 2008: 8-14

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

Thuan Quang Huynh, Abhik Roychoudhury: Memory model sensitive bytecode verification. Formal Methods in System Design 31(3): 281-305 (2007)

Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury: Chronos: A timing analyzer for embedded software. Sci. Comput. Program. 69(1-3): 56-67 (2007)

Tulika Mitra, Abhik Roychoudhury: Worst-Case Execution Time and Energy Analysis. The Compiler Design Handbook, 2nd ed. 2007: 1

Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng: A Retargetable Software Timing Analyzer Using Architecture Description Language. ASP-DAC 2007: 396-401

Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury: Accounting for cache-related preemption delay in dynamic priority schedulability analysis. DATE 2007: 1623-1628

Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok: Cache-Aware Timing Analysis of Streaming Applications. ECRTS 2007: 159-168

Tao Wang, Abhik Roychoudhury: Hierarchical dynamic slicing. ISSTA 2007: 228-238

Abhik Roychoudhury, Ankit Goel, Bikram Sengupta: Symbolic message sequence charts. ESEC/SIGSOFT FSE 2007: 275-284

Samarjit Chakraborty, Abhik Roychoudhury: Tutorial T8B: Performance Debugging of Complex Embedded Systems. VLSI Design 2007: 13

Liang Yun, Abhik Roychoudhury, Tulika Mitra: Timing Analysis of Body Area Network Applications. WCET 2007

Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006)

Xianfeng Li, Abhik Roychoudhury, Tulika Mitra: Modeling out-of-order processors for WCET analysis. Real-Time Systems 34(3): 195-227 (2006)

Liang Guo, Abhik Roychoudhury, Tao Wang: Accurately Choosing Execution Runs for Software Fault Localization. CC 2006: 80-95

Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen: Efficient detection and exploitation of infeasible paths for software timing analysis. DAC 2006: 358-363

Thuan Quang Huynh, Abhik Roychoudhury: A Memory Model Sensitive Checker for C#. FM 2006: 476-491

Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan: Interacting process classes. ICSE 2006: 302-311

Ankit Goel, Abhik Roychoudhury: Synthesis and Traceability of Scenario-Based Executable Models. ISoLA 2006: 347-354

Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury: Handling Constraints in Multi-Objective GA for Embedded System Design. VLSI Design 2006: 305-310

Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury: Preface. Electr. Notes Theor. Comput. Sci. 118: 1- (2005)

Xianfeng Li, Tulika Mitra, Abhik Roychoudhury: Modeling Control Speculation for Timing Analysis. Real-Time Systems 29(1): 27-58 (2005)

Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi: Analyzing Loop Paths for Execution Time Estimation. ICDCIT 2005: 458-469

Tao Wang, Abhik Roychoudhury: Automated path generation for software fault localization. ASE 2005: 347-351

Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen: WCET Centric Data Allocation to Scratchpad Memory. RTSS 2005: 223-232

Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra: Exploiting Branch Constraints without Exhaustive Path Enumeration. WCET 2005

Abhik Roychoudhury, I. V. Ramakrishnan: Inductively Verifying Invariant Properties of Parameterized Systems. Autom. Softw. Eng. 11(2): 101-139 (2004)

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)

Tulika Mitra, Abhik Roychoudhury, Qinghua Shen: Impact of Java Memory Model on Out-of-Order Multiprocessors. IEEE PACT 2004: 99-110

Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury: Design space exploration of caches using compressed traces. ICS 2004: 116-125

Tao Wang, Abhik Roychoudhury: Using Compressed Bytecode Traces for Slicing Java Programs. ICSE 2004: 512-521

Abhik Roychoudhury, C. R. Ramakrishnan: Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Program Development in Computational Logic 2004: 261-290

Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary: Symbolic Execution of Behavioral Requirements. PADL 2004: 178-192

Xianfeng Li, Abhik Roychoudhury, Tulika Mitra: Modeling Out-of-Order Processors for Software Timing Analysis. RTSS 2004: 92-103

Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva: Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS 2004: 447-458

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

Abhik Roychoudhury, P. S. Thiagarajan: Communicating Transaction Processes. ACSD 2003: 157-166

Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury: Accurate estimation of cache-related preemption delay. CODES+ISSS 2003: 201-206

Xianfeng Li, Tulika Mitra, Abhik Roychoudhury: Accurate timing analysis by modeling caches, speculation and their interaction. DAC 2003: 466-471

Abhik Roychoudhury, Tulika Mitra, S. R. Karri: Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol. DATE 2003: 10828-10833

Abhik Roychoudhury: Depiction and Playout of Multi-threaded Program Executions. ASE 2003: 331-336

Ankit Goel, Abhik Roychoudhury, Tulika Mitra: Compactly representing parallel program executions. PPOPP 2003: 191-202

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)

Abhik Roychoudhury: Formal Reasoning about Hardware and Software Memory Models. ICFEM 2002: 423-434

Abhik Roychoudhury, Tulika Mitra: Specifying multithreaded Java semantics for program verification. ICSE 2002: 489-499

Abhik Roychoudhury, Xianfeng Li, Tulika Mitra: Timing Analysis of Embedded Software for Speculative Processors. ISSS 2002: 126-131

Abhik Roychoudhury, P. S. Thiagarajan: An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST 2002: 226-241

Abhik Roychoudhury, I. V. Ramakrishnan: Automated Inductive Verification of Parameterized Protocols. CAV 2001: 25-37

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

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan: Justifying proofs using memo tables. PPDP 2000: 178-189

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

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

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

Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan: Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999: 616

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

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

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

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88

Abhik Roychoudhury, Susmita Sur-Kolay: Efficient Algorithms for Vertex Arboricity of Planar Graphs. FSTTCS 1995: 37-51