Journals / Conferences

2012

[RTAS]

A Unified WCET Analysis Framework for Multi-core Platforms ( PDF )
Sudipta Chattopadhyay, Chong Lee Kee, Abhik Roychoudhury, Timon Kelter, Peter Marwedel and Heiko Falk
18th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS) 2012.

[ICSE]

Inferring Class Level Specifications for Distributed Systems

Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury and David Lo

ACM/IEEE International Conference on Software Engineering (ICSE) 2012.

[ICSE-TechBrief]

Symbolic Techniques for Software Debugging

Abhik Roychoudhury and Satish Chandra

Technical Briefing at ACM/IEEE International Conference on Software Engineering (ICSE) 2012.

[TOSEM]

DARWIN: An Approach for Debugging Evolving Programs
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
ACM Transactions on Software Engineering and Methodology, To appear.

[TOSEM]

Symbolic Message Sequence Charts [ PDF ]
Abhik Roychoudhury, Ankit Goel and Bikram Sengupta

ACM Transactions on Software Engineering and Methodology (TOSEM), 21(2), 2012.

2011

[RTSS]

Scalable and Precise Refinement of Cache Timing Analysis via Model Checking ( pdf )

Sudipta Chattopadhyay and Abhik Roychoudhury

IEEE Real-time Systems Symposium (RTSS) 2011. Best paper Award nomination.

[RTSS]

Timing Analysis of a Protected Operating System Kernel ( pdf )

Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser

IEEE Real-time Systems Symposium (RTSS) 2011.

[ESEC-FSE]

Path Exploration based on Symbolic Output
Dawei Qi, Hoang D.T. Nguyen, Abhik Roychoudhury
Joint meeting of ESEC and ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), ESEC-FSE 2011.

[ICSE-PESOS]

Engineering Multi-tenant Software-as-a-Service Systems [ PDF ]
Bikram Sengupta, Abhik Roychoudhury
Position Paper, ICSE 2011 - Principles of Engineering Service Oriented Systems (PESOS).

[ICSE]

Mining Message Sequence Graphs [ Paper ]
Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo

ACM/IEEE International Conference on Software Engineering (ICSE) 2011.

[ECRTS]

Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds

Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay and Abhik Roychoudhury

23rd Euromicro Conference on Real-time Systems (ECRTS) 2011.

[RTAS]

Scope aware Data Cache Analysis for WCET Estimation [ Paper, Technical Report with all proofs ]

Bach Khoa Huynh, Lei Ju and Abhik Roychoudhury

IEEE Real-time and Embedded Technology and Applications Symposium (RTAS) 2011. Best paper Award nomination.

[LCTES]

2010

[ASE]

Test Generation to Expose Changes in Evolving Programs ( PDF )

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang

25th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2010.

[FSE]

Golden Implementation Driven Software Debugging ( PDF )

Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang

ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) 2010.

[ENTCS]

Debugging as a Science, that too, when your Program is Changing ( PDF )

Abhik Roychoudhury

Keynote at the Intl. Workshop on Harnessing Theories for Tool Support in Software (TTSS),

to appear in Electronic Notes in Theoretical Computer Science (ENTCS).

[ISoLA]

WOMM: A Weak Operational Memory Model ( PDF )

Arnab De, Abhik Roychoudhury, Deepak D'Souza

4th Intl. Symp. On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2010, LNCS 6415, pp 519-534.

[SCOPES]

Modeling Shared Cache and Bus in Multi-cores for Timing Analysis ( PDF )

Sudipta Chattopadhyay, Abhik Roychoudhury and Tulika Mitra

13th International Workshop on Software and Compilers for Embedded Systems (SCOPES) 2010.

[DAC]

Timing Analysis of Esterel Programs on General-purpose Multiprocessors

Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury and Samarjit Chakraborty

ACM Design Automation Conference (DAC) 2010 [Short paper].

[TOPLAS]

Scratchpad Allocation for Concurrent Embedded Software ( PDF )
Vivy Suhendra, Abhik Roychoudhury and Tulika Mitra
ACM Transactions on Programming Languages and Systems (TOPLAS), 32(4), April 2010.

[DAES]

Cache-aware Optimization of BAN Applications ( PDF )
Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra and Abhik Roychoudhury
Design Automation for Embedded Systems, Springer.
(Special issue for selected papers from CODES-ISSS 2008)

2009

[RTSJ]

Cache-aware Timing Analysis of Streaming Applications ( PDF )
Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury and Lothar Thiele
Real-time Systems Journal, Volume 41(1), 2009.
(Special issue for selected papers from ECRTS 2007)

[RTSS]

Unified Cache Modeling for WCET Analysis and Layout Optimizations ( PDF )
Sudipta Chattopadhyay and Abhik Roychoudhury
IEEE Real-time System Symposium (RTSS) 2009.

[RTSS]

Timing Analysis of Concurrent Programs Running on Shared Cache Multi-cores ( PDF )
Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra and Abhik Roychoudhury
IEEE Real-time System Symposium (RTSS) 2009.

[FSE]

DARWIN: An Approach for Debugging Evolving Programs ( PDF)
[ACM SIGSOFT Distinguished Paper Award]
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
Joint meeting of ESEC and ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), ESEC-FSE 2009.

[FM]

Fair Model Checking with Process Counter Abstraction ( PDF )
Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu and Jin Song Dong
International Symposium on Formal Methods (FM) 2009.

[ICSE]

Footprinter: Roundtrip Engineering via Scenario and State based Models ( PDF )

Ankit Goel, Bikram Sengupta and Abhik Roychoudhury,

ACM International Conference on Software Engineering (ICSE) 2009, [Short paper].

[TOSEM]

Interacting Process Classes (PDF)
Ankit Goel, Abhik Roychoudhury, and P.S. Thiagarajan
ACM Transactions on Software Engineering and Methodology (TOSEM), 18(4), 2009.

[DAC]

Generating Test Programs to Cover Pipeline Interactions (PDF)
[Best paper award nomination]
Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra
ACM Design Automation Conference (DAC), 2009.

[DAC]

Context-Sensitive Timing Analysis of Esterel Programs (PDF)

Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty and Abhik Roychoudhury

ACM Design Automation Conference (DAC) 2009, [Short paper].

2008

[TOPLAS]

Dynamic Slicing on Java Bytecode Traces ( Tech Report with all proofs, contains more material than the paper)
Tao Wang and Abhik Roychoudhury
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 30(2), March 2008.

[PASTE] Java Memory Model aware Software Validation ( PDF, Link to ACM Digital Library, Associated TechReport )
Arnab De, Abhik Roychoudhury and Deepak D'Souza
Program Analysis for Software Tools and Engineering (PASTE) 2008.

[ISoLA] Debugging Statecharts via Model-code Traceability ( PDF )
Liang Guo and Abhik Roychoudhury
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2008, Invited.
This paper employs dynamic slicing on Statechart models by exploiting model-code traceability.

[CODES-ISSS] Performance Debugging of Esterel Specifications ( PDF )
Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury and Samarjit Chakraborty
ACM Intl. Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) 2008.

[CODES-ISSS] Scratchpad Allocation for Concurrent Embedded Software ( PDF )
Vivy Suhendra, Abhik Roychoudhury and Tulika Mitra
ACM Intl. Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) 2008.

[CODES-ISSS] Cache-aware Optimization of BAN Applications ( PDF )
(Best paper award nomination)
Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra and Abhik Roychoudhury
ACM Intl. Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) 2008.

[RTAS] Schedulability analysis of MSC-based system models ( PDF )
Lei Ju, Abhik Roychoudhury and Samarjit Chakraborty
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) 2008.

2007

[FMSD Journal] Memory Model Sensitive Bytecode Verification ( PDF)
Thuan Quang Huynh and Abhik Roychoudhury
Formal Methods in System Design, Volume 31(3), December 2007.

[SCP Journal] Chronos: A Timing Analyzer for Embedded Software ( PDF )
Xianfeng Li, Yun Liang, Tulika Mitra and Abhik Roychoudhury
Science of Computer Programming, Volume 69, December 2007.

[FSE] Symbolic Message Sequence Charts ( PDF )
Abhik Roychoudhury, Ankit Goel and Bikram Sengupta
15th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE),
Held jointly with ESEC, ESEC-FSE 2007.  ACM's version can be found here.

[ISSTA] Hierarchical Dynamic Slicing  ( PDF )
Tao Wang and Abhik Roychoudhury
ACM International Symposium on Software Testing and Analysis (ISSTA) 2007.

[Book chapter]  Worst-case Execution Time and Energy Analysis
Tulika Mitra and Abhik Roychoudhury
Chapter in the Compiler Design Handbook, Second Edition, Y.N. Srikant and Priti Shankar Editors, 2007.

[WCET] Timing Analysis of Body Area Network Applications
Yun Liang, Abhik Roychoudhury and Tulika Mitra
7th Int'l Workshop on Worst-Case Execution Time (WCET) Analysis, 2007.

[ECRTS] Cache-aware Timing Analysis of Streaming Applications ( PDF )
Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh Bordoloi and Cem Derdiyok
19th Euromicro Conference on Real-time Systems (ECRTS) 2007.  

[DATE] Accounting for Cache-related Preemption Delay in Dynamic Priority Schedulability Analysis ( PDF )
Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury
Design Automation and Test in Europe (DATE) 2007.

[ASP-DAC] A Retargetable Software Timing Analyzer using Architecture Description Language
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng

Asia and South Pacific Design Automation Conference (ASP-DAC) 2007.

2006

[RTS Journal] Modeling Out-of-Order Processors for WCET Analysis (  PDF )
Xianfeng Li, Abhik Roychoudhury and Tulika Mitra
Real-Time Systems Journal, Springer, 34(3), pg 195-227, 2006. ( Get original publication from SpringerLink)
A much expanded version of our RTSS 2004 paper on the same topic.

[ISoLA] Synthesis and Traceability of Scenario-based Executable Models ( PDF )

Ankit Goel and Abhik Roychoudhury

Invited Paper, Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2006, IEEE Press

[FM] A Memory Model Sensitive Checker for C# ( PDF )
Thuan Quang Huynh and Abhik Roychoudhury
Formal Methods (FM) 2006, Springer Verlag.

Introducing Model Checking to Undergraduates (PDF )
Abhik Roychoudhury
Formal Methods Education Workshop (FM-Ed 2006), co-located with FM'06 symposium.

[DAC] Efficient Detection and Exploitation of Infeasible Paths for Software Timing Analysis ( PDF )
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury and Ting Chen
ACM Design Automation Conference (DAC) 2006.

[ICSE] Interacting Process Classes ( PDF )
Ankit Goel, Sun Meng, Abhik Roychoudhury and P.S. Thiagarajan
ACM International Conference on Software Engineering (ICSE) 2006.

[CC] Accurately Choosing Execution Runs for Software Fault Localization ( PDF )
Liang Guo, Abhik Roychoudhury and Tao Wang
Compiler Construction (CC) 2006, LNCS 3923, Springer.

Handling Constraints in Multi-objective GA for Embedded System Design, 
Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury,
IEEE International  Conference on VLSI Design, 2006.

2005

[RTS Journal] Modeling Control Speculation for Timing Analysis (PDF),
Xianfeng Li, Tulika Mitra and Abhik Roychoudhury
Real-Time Systems Journal, Springer, 29(1), 2005. Get original publication from SpringerLink

[RTSS] WCET centric data allocation to scratchpad memory  ( PDF  )

Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury and Ting Chen,  
IEEE Real-Time Systems Symposium (RTSS) 2005.

UML based Modeling of Process Classes for System Level Design,   
Ankit Goel, K.D. Nguyen, Abhik Roychoudhury and P.S. Thiagarajan,
DAC 2005 Workshop on UML for SoC Design, June 2005.

[WCET] Exploiting Branch Constraints without Explicit Path Enumeration

Ting Chen, Tulika Mitra, Abhik Roychoudhury and Vivy Suhendra

5th International Workshop on Worst-Case Execution Time Analysis (WCET), July 2005.

Analyzing Loop Paths for Execution Time Estimation,
Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi,
ICDCIT 2005, LNCS 3816, Springer.

[ASE] Automated Path Generation for Software Fault Localization, ( PDF )
Tao Wang and Abhik Roychoudhury,
ACM/IEEE Intl. Conf. on Automated Software Engineering (ASE) 2005 [Short Paper].

2004

[WCET] Simplifying WCET Analysis by Code Transformations,
Hemendra Singh Negi, Abhik Roychoudhury, Tulika Mitra,
4th International Workshop on Worst-Case Execution Time Analysis (WCET), June 2004.

[RTSS] Modeling Out-of-Order Processors for Software Timing Analysis (PDF),
Xianfeng Li, Abhik Roychoudhury and Tulika Mitra
IEEE Real-Time Systems Symposium (RTSS) 2004.

[RTSS] Automatic Generation of Protocol Converters from Scenario-based Specifications (ps)
Abhik Roychoudhury, P.S. Thiagarajan, Tuan Anh Tran and Vera A. Zvereva
IEEE Real-Time Systems Symposium (RTSS) 2004.

[ICS] Design Space Exploration of Caches using Compressed Traces, (PDF)
Xianfeng Li, Hemendra Singh Negi, Tulika Mitra and Abhik Roychoudhury
ACM International Conference on Supercomputing (ICS) 2004.

[PACT] Impact of Java Memory Model on Out-of-Order Multiprocessors, (PDF)
Tulika Mitra, Abhik Roychoudhury and Qinghua Shen
IEEE/ACM International Conference on Parallel Architecture and Compilation Techniques (PACT) 2004.

Symbolic Execution of Behavioral Requirements, (PS)
Tao Wang, Abhik Roychoudhury, Roland H.C. Yap and S.C. Choudhary
International Symposium on Practical Applications of Declarative Languages (PADL) 2004, LNCS 3057.

[ICSE] Using Compressed Bytecode Traces for Slicing Java Programs, (PDF)
Tao Wang and Abhik Roychoudhury
ACM/IEEE International Conference on Software Engineering (ICSE) 2004.

Unfold/fold Transformations for Automated Verification of Parameterized Concurrent Systems (PS),
Abhik Roychoudhury and C.R. Ramakrishnan
Chapter in a book "Program Development in Computational Logic",
Editors Maurice Bruynooghe and Kung-Kiu Lau, Springer Verlag, LNCS 3049, 2004, pages 262-291.

Inductively Verifying Invariant Properties of Parameterized Systems, (PS)
Abhik Roychoudhury and I.V. Ramakrishnan
Automated Software Engineering Journal, Volume 11, Issue 2, 2004.

[TOPLAS] An Unfold/Fold Tranformation Framework for Definite Logic Programs, (PS)
Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan,
ACM Transactions on Programming Languages and Systems (TOPLAS), 26(3), pages 464-509, May 2004. 

2003

Accurate Estimation of Cache-related Preemption Delay, (PS, PDF)
Hemendra Singh Negi, Tulika Mitra and Abhik Roychoudhury
ACM Joint Symposia CODES+ISSS 2003..

Communicating Transaction Processes, (PS)
Abhik Roychoudhury and P.S. Thiagarajan
IEEE International Conference on Application of Concurrency in System Design (ACSD) 2003.

Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems ( PS )
Abhik Roychoudhury, P. S. Thiagarajan
Lectures on Concurrency and Petri Nets 2003, LNCS 3098, pages 789-818, Springer.

Accurate Timing Analysis by Modeling Caches, Speculation and their Interaction, (PDF)
Xianfeng Li, Tulika Mitra and Abhik Roychoudhury
ACM/IEEE Design Automation Conference (DAC) 2003, pages 466-471.

Using formal techniques to Debug the AMBA System-on-Chip Bus Protocol, (PDF)
Abhik Roychoudhury, Tulika Mitra and S.R. Karri
IEEE/ACM Conference on Design Automation and Test in Europe (DATE) 2003.

Depiction and Playout of Multi-threaded Program Executions, (PS)
Abhik Roychoudhury
IEEE International Conference on Automated Software Engineering (ASE) 2003.[Short Paper]

Compactly Representing Parallel Program Executions, (PDF)
Ankit Goel, Abhik Roychoudhury and Tulika Mitra
ACM Symposium on Principles and Practice of Parallel Programming (PPoPP) 2003, pages 191-202.

A Framework to Model Branch Prediction for WCET Analysis, ( short version, long version),
Tulika Mitra, Abhik Roychoudhury,
2nd Workshop on Worst Case Execution Time Analysis (WCET), Austria, June 2002. Also available as NUS Technical Report 11-01.

2002

Timing Analysis of Embedded Software for Speculative Processors, (PDF)
Tulika Mitra, Abhik Roychoudhury and Xianfeng Li
ACM International Symposium on System Synthesis (ISSS) 2002, pages 126-131.

Formal Reasoning about Hardware and Software Memory Models, (PS)
Abhik Roychoudhury
International Conference on Formal Engineering Methods (ICFEM) 2002, Springer Verlag, LNCS 2495.

Specifying Multithreaded Java Semantics for Program Verification, (PS, PDF)
Abhik Roychoudhury and Tulika Mitra
ACM/IEEE International Conference on Software Engineering (ICSE) 2002, pages 489-499.

An Executable Specification Language based on Message Sequence Charts, (PS)
Abhik Roychoudhury and P.S. Thiagarajan
10th Anniversary Colloquium of UNU/IIST, Springer Verlag, LNCS 2757, 2002.

Beyond Tamaki-Sato style Unfold/fold Transformations for normal logic programs, (PS)
Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan,
International Journal on Foundations of Computer Science (IJFCS) Vol 13 No. 3 pages 387-403, 2002.

2001

Automated Inductive Verification of Parameterized Protocols, (PS, PDF)
Abhik Roychoudhury and I.V. Ramakrishnan
International Conf. on Computer Aided Verification (CAV) 2001, LNCS 2102, Springer Verlag.

XMC : A Logic Programming based Verification Toolset,
with C.R. Ramakrishnan, I.V. Ramakrishnan, S.A. Smolka et al,
International Conf. on Computer Aided Verification (CAV) 2000, LNCS vol 1855, Springer Verlag.

Justifying Proofs using Memo Tables (PS, PDF)
Abhik Roychoudhury, C.R. Ramakrishnan and I.V. Ramakrishnan
ACM International Conference on Principles and Practice of Declarative Programming (PPDP) 2000.

Verification of Parameterized Systems using Logic Program Transformations (PS, PDF)
Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan and Scott A. Smolka
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2000, Springer Verlag, LNCS vol 1785.

Formal MetaTheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (PS, PDF)
Amy P. Felty, Douglas J. Howe and Abhik Roychoudhury,
International Conference on Automated Deduction (CADE) 1999, Springer Verlag, LNCS 1632.

Proofs by Program Transformations, (PS, PDF),
Abhik Roychoudhury, K. Narayan Kumar, C.R, Ramakrishnan and I.V. Ramakrishnan,
Pre-proceedings of Logic-based Program Synthesis and Transformation (LOPSTR) '99.

A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs (PS, PDF),
Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan,
International Conference on Principles and Practice of Declarative Programming (PPDP) 1999, Springer Verlag, LNCS 1702.

Beyond Tamaki-Sato style Unfold/fold Transformations for normal logic programs,
Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan,
ASIAN 1999, Springer Verlag, LNCS 1742, pages 322-333.

Tabulation based induction proofs with application to automated verification
Abhik Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan and S.A. Smolka
International Workshop on Tabulation in Parsing and Deduction (TAPD) 1998.

Logic Programming and Model Checking (PS, PDF),
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan,
Abhik Roychoudhury, Scott A. Smolka and David S. Warren
PLILP/ALP 1998, Springer Verlag, LNCS 1490.

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs (PS, PDF)
Abhik Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan and R.C. Sekar,
IEEE International Conference on Computer Languages (ICCL) 1998.
This paper gives a good overview of the research work I did for my Masters' degree.

A rule-based data standardizer for Enterprise Data-bases, (PS, PDF)
Abhik Roychoudhury, I.V. Ramakrishnan and Terrence Swift,
International Conference on Practical Applications of Prolog (PAP) 1997.

Efficient algorithms for vertex arboricity of planar graphs, (PS, PDF)
Abhik Roychoudhury and Susmita Sur Kolay,
Foundations of Software Technology and Theoretical Computer Science(FST & TCS) 1995, LNCS vol 1026.
This paper describes the project work I did as a final year undergraduate student.

PhD Dissertation

Program Transformations for Verifying Parameterized Systems (PS, PDF)
Abhik Roychoudhury
Ph.D. Dissertation, State University of New York at Stony Brook, December 2000.