Disclaimer : The documents contained in this page are included to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons accessing this information will adhere to the terms and constraints invoked by the copyright.

Note: All papers are full-length articles unless explicitly stated otherwise.



Book


Embedded Systems and Software Validation     
Abhik Roychoudhury                                                                   
Book from Elsevier (formerly Morgan Kaufmann), 2009. Officially translated to Mandarin by Tsinghua University Press.

 

Time Predictable Embedded Software on Multi-core Platforms: Analysis and Optimization (  PDF )

Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng

Foundations and Trends in Electronic Design Automation, 8(3-4), pages 199-356, 2014.

This is a monograph (~175 pages) describing advances in the area.

 



Journals / Conferences



 

2017

 

[CCS]

Directed Greybox Fuzzing ( PDF )

Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury

24th ACM Conference on Computer and Communications Security (CCS) 2017.

 

[EmSE]

Correlation of Test-suite Metrics with Patch Quality in Program Repair ( PDF )

Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury

Empirical Software Engineering Journal, To appear.

 

[FSE]

A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments ( PDF )

Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury

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

 

[ICSE]

CodeFlaws: A Programming Competition Benchmark for Evaluating Automated Program Repair Tools  (WWW)

Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury

ACM/IEEE International Conference on Software Engineering (ICSE) 2017, Poster.

 

[Dagstuhl]

Automated Program Repair  (PDF)

Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury

Dagstuhl Seminar 17022, Dagstuhl Reports 7(1), January 2017.

 

[TSE]

EnergyPatch: Repairing Resource Leaks to Improve Energy-efficiency of Android Apps ( PDF )

Abhijeet Banerjee, Lee Kee Chong, Clement Ballabriga and Abhik Roychoudhury

IEEE Transactions on Software Engineering (TSE), To appear.

 

[MOBILESoft]

Future of Mobile Software for Smartphones and Drones: Energy and  Performance ( PDF )

Abhijeet Banerjee and Abhik Roychoudhury

Invited Paper on Future of Mobile Software Engineering (SE) Keynote

4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) 2017.

 

[FASE]

Bucketing Failing Tests via Symbolic Analysis ( pdf )

Van Thuan Pham, Sakaar Khurana, Subhajit Roy and Abhik Roychoudhury

20th International Conference on Fundamental Approaches to Software Engineering (FASE) 2017.

 

 


 

 

2016

 

[CCS]

Coverage-based Greybox Fuzzing as Markov Chain ( PDF )

Marcel Böhme, Van Thuan Pham, Abhik Roychoudhury

23rd ACM Conference on Computer and Communications Security (CCS) 2016.

 

[CACM]

Formula-based Software Debugging

Abhik Roychoudhury, Satish Chandra

Communications of ACM (CACM), 59(7), July 2016.

 

[ASE]

Model-based Whitebox Fuzzing for Program Binaries (pdf)

Van Thuan Pham, Marcel Böhme, Abhik Roychoudhury

IEEE/ACM International Conference on Automated Software Engineering (ASE) 2016.

 

[FSE]

Anti-patterns in Search-based Program Repair (pdf)

Shin Hwei Tan, Hiroaki Yoshida, Mukul Prasad, Abhik Roychoudhury

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

 

[ICSE]

Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis ( pdf )

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

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

 

[ICSE]

Automated Partitioning of Android Applications for Trusted Execution Environments ( pdf )

Konstantin Rubinov, Lucia Rosculete, Tulika Mitra, Abhik Roychoudhury

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

 

[MOBILESoft]

Debugging Energy-efficiency related field failures in Mobile apps ( pdf )

Abhijeet Banerjee, Haifeng Guo and Abhik Roychoudhury

IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) 2016.

 

[MOBILESoft]

Automated Re-factoring of Android Apps to enhance Energy-efficiency ( pdf )

Abhijeet Banerjee and Abhik Roychoudhury

IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) 2016.

 

[Survey Article]

On Testing Embedded Software ( pdf )

Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury

Survey article in Advances in Computers, January 2016.

 

 


 

 

2015

 

 

[ICSE]

Hercules: Reproducing Crashes in Real-World Application Binaries  (  PDF )

Van Thuan Pham, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury

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

 

[ICSE]

DirectFix: Looking for Simple Program Repairs ( PDF )

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

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

 

[ICSE]

Relifix: Automated  Repair of Software Regressions  ( PDF )

Shin Hwei Tan, Abhik Roychoudhury

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

 

[TOSEM]

Software Change Contracts ( PDF )

Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury

ACM Transactions on Software Engineering and Methodology (TOSEM), 24(3), May 2015.

 

 

 


 

 

2014

 

 

[FSE]

Detecting Energy Bugs and Hotspots in Mobile apps ( PDF ) [filed patent]

Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, Abhik Roychoudhury

ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2014.

 

[ISSTA]

CoREBench: Studying Complexity of Regression Errors ( pdf )

Marcel Böhme, Abhik Roychoudhury

ACM International Symposium on Software Testing and Analysis (ISSTA) 2014.

 

 

[FTEnDA]

Time Predictable Embedded Software on Multi-core Platforms: Analysis and OptimizationPDF )

Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng

Foundations and Trends in Electronic Design Automation, 8(3-4), pages 199-356, 2014.

This is a monograph (~175 pages) describing advances in the area, published as a book-series.

 

[LCTES]

Cache Related Preemption Delay analysis for FIFO caches ( pdf )

Clement Ballabriga, Lee Kee Chong, Abhik Roychoudhury

ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES) 2014.

 

[TECS]

Cache related preemption delay analysis for multi-level non-inclusive caches ( pdf )

This paper provides Cache related pre-emption delay (CRPD) analysis for shared caches in multi-cores.

Sudipta Chattopadhyay and Abhik Roychoudhury

ACM Transactions on Embedded Computing Systems (TECS), 13(5s), November 2014.

 

[TECS]

A Unified WCET Analysis Framework for Multi-core Platforms ( pdf )

Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk

ACM Transactions on Embedded Computing Systems (TECS), 13(4s), July 2014.

[Special issue for selected papers from RTAS 2012].

 

[RTS-journal]

Static Analysis of Multi-core TDMA Resource Arbitration Delays ( pdf )

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

Real-time Systems Journal, 50(2), 2014.

 

 


 

 

 

2013

 

 

[ESEC-FSE]

Regression Tests to Expose Change Interaction Errors ( PDF )

Marcel Böhme, Bruno C.d.S. Oliveira, Abhik Roychoudhury

ESEC/FSE '13, Joint meeting of ACM SIGSOFT symposium and European conference on Foundations of software engineering, 2013

 

[ISSTA]

Expressing and Checking Intended Changes via Software Change Contracts ( PDF )

Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury

International Symposium on Software Testing and Analysis (ISSTA) 2013.

 

[ADCOM]

Regression Testing of Evolving Programs

Marcel Böhme, Abhik Roychoudhury and Bruno C.d.S. Oliveira

Survey article appeared in Advances in Computers, Volume 89, pages 53-88, 2013.

 

[ICSE]

Partition-based Regression Verification ( pdf )

Marcel Böhme, Bruno C.d.S. Oliveira, Abhik Roychoudhury

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

 

[ICSE]

SemFix: Program Repair via Semantic Analysis ( pdf )

Hoang D.T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra

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

 

[TOSEM]

Path Exploration based on Symbolic Output ( pdf )

Dawei Qi, Hoang D.T. Nguyen, Abhik Roychoudhury

ACM Transactions on Software Engineering and Methodology (TOSEM), 22(4), 2013.

 

[AOSD]

Past Expression: Encapsulating Pre-states at Post-conditions by Means of AOP ( pdf )

Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury

International Conference on Aspect Oriented Software Development (AOSD) 2013.

 

[LCTES]

Program Performance Spectrum ( pdf )

Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury

ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES) 2013.

 

 

 

[RTSS]

Static Analysis driven Cache Performance Testing ( pdf )

Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury

IEEE Real-time Systems Symposium (RTSS) 2013.

 

[RTSS]

Integrated Timing Analysis of Application and Operating Systems Code ( pdf )

Lee Kee Chong, Clement Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury

IEEE Real-time Systems Symposium (RTSS) 2013.

 

[RTAS]

Precise Micro-architectural modeling for WCET analysis via AI+SAT ( pdf )

Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury

19th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS) 2013.

 

[RTS-journal]

Scalable and Precise Refinement of Cache Timing Analysis via Path-sensitive Verification (pdf)

Sudipta Chattopadhyay and Abhik Roychoudhury

Real-time Systems Journal, Springer, 49(4), 2013.

[Special issue for selected papers from RTSS 2011].

 

 


 

 

2012

 

[FSE-NIER track]

ACM DL Author-ize serviceSoftware change contracts
Dawei Qi, Jooyong Yi, Abhik Roychoudhury
FSE '12 Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 2012

 

[STTT-journal]

Relating Software Validation to Technology Trends

Zhiming Liu, Abhik Roychoudhury

International Journal on Software Tools for Technology Transfer (STTT), Springer, To appear.

 

[WCRE]

Modeling Software Execution Environment ( PDF )
Dawei Qi, William Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, Abhik Roychoudhury
19th IEEE Working Conference on Reverse Engineering (WCRE), 2012.

 

[ICWS]

Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems (PDF)
Lei Ju, Bikram Sengupta, Abhik Roychoudhury
IEEE International Conference on Web Services (ICWS), 2012.

 

[ICSE]

Inferring Class Level Specifications for Distributed Systems (PDF)

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

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

 

[TOSEM]

ACM DL Author-ize serviceDARWIN: An approach to debugging evolving programs
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
ACM Transactions on Software Engineering and Methodology (TOSEM), 2012

 

[TOSEM]

ACM DL Author-ize serviceSymbolic Message Sequence Charts
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
ACM Transactions on Software Engineering and Methodology (TOSEM), 2012

 

 

[RTS-journal]

Performance Debugging of Esterel Specifications ( PDF )
Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty
Real-time Systems Journal, 48(5), pages 570-600, 2012.

 

[RTS-journal]

Timing Analysis of Concurrent Programs running on Shared Cache Multi-cores (PDF)
Yun Liang, Huping Ding, Tulika Mitra, Abhik Roychoudhury, Yan Li, Vivy Suhendra
Real-time Systems Journal, 48(6), pages 638-680, 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.

 


 

 

2011

 

[ESEC-FSE]

ACM DL Author-ize servicePath exploration based on symbolic output
Dawei Qi, Hoang D.T. Nguyen, Abhik Roychoudhury
ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, 2011

[PASTE]

ACM DL Author-ize serviceLocating failure-inducing environment changes
Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury
PASTE '11 Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

 

[ICSE-PESOS]

ACM DL Author-ize serviceEngineering multi-tenant software-as-a-service systems
Bikram Sengupta, Abhik Roychoudhury
PESOS '11 Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

 

[ICSE]

ACM DL Author-ize serviceMining message sequence graphs
Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo
ICSE '11 Proceedings of the 33rd International Conference on Software Engineering, 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]

ACM DL Author-ize serviceStatic bus schedule aware scratchpad allocation in multiprocessors
Sudipta Chattopadhyay, Abhik Roychoudhury
LCTES '11 Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, 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.

 

 


 

 

2010

 

[ASE]

ACM DL Author-ize serviceTest generation to expose changes in evolving programs
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
ASE '10 Proceedings of the IEEE/ACM international conference on Automated software engineering, 2010

 

[FSE]

ACM DL Author-ize serviceGolden implementation driven software debugging
Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang
FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, 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.

 

 

[TOPLAS]

ACM DL Author-ize serviceScratchpad allocation for concurrent embedded software
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
ACM Transactions on Programming Languages and Systems (TOPLAS), 2010

 

 

 

[SCOPES]

ACM DL Author-ize service Modeling shared cache and bus in multi-cores for timing analysis
Sudipta Chattopadhyay, Abhik Roychoudhury, Tulika Mitra
SCOPES '10 Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems, 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].

 

[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

 

[FSE] [SIGSOFT Distinguished paper award]

ACM DL Author-ize service Darwin: an approach for debugging evolving programs
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
ESEC/FSE '09 Proceedings of the the 7th joint meeting of the European software engineering conference and
the ACM SIGSOFT symposium on The foundations of software engineering, 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]

ACM DL Author-ize serviceInteracting process classes
Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan
ACM Transactions on Software Engineering and Methodology (TOSEM), 2009

 

 

[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.

 

[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].

 

[RTS-Jnl]

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)

 


 


 

 

2008

 

[TOPLAS]

ACM DL Author-ize serviceDynamic slicing on Java bytecode traces
Tao Wang, Abhik Roychoudhury
ACM Transactions on Programming Languages and Systems (TOPLAS), 2008

[PASTE]

ACM DL Author-ize service Java memory model aware software validation
Arnab De, Abhik Roychoudhury, Deepak D'Souza
PASTE '08 Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 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.

[CODES-ISSS]

ACM DL Author-ize service Performance debugging of Esterel specifications
Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, 2008

[CODES-ISSS]

ACM DL Author-ize serviceScratchpad allocation for concurrent embedded software
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, 2008

[CODES-ISSS]

ACM DL Author-ize service Cache-aware optimization of BAN applications
Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, 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.

[FSE]

ACM DL Author-ize serviceSymbolic message sequence charts
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
ESEC-FSE '07 Proceedings of the the 6th joint meeting of the European software engineering conference and
the ACM SIGSOFT symposium on The foundations of software engineering, 2007

[ISSTA]

ACM DL Author-ize service Hierarchical dynamic slicing
Tao Wang, Abhik Roychoudhury
ISSTA '07 Proceedings of the 2007 international symposium on Software testing and analysis, 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.

[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


[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]

ACM DL Author-ize serviceInteracting process classes
Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan
ICSE '06 Proceedings of the 28th international conference on Software engineering, 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.

[RTS-Jnl] 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.

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



[ASE]

ACM DL Author-ize serviceAutomated path generation for software fault localization

Tao Wang, Abhik Roychoudhury
ASE '05 Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, 2005

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

 

[RTS-Jnl] 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.

 

 

[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.

 


 

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]

ACM DL Author-ize serviceAn unfold/fold transformation framework for definite logic programs
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
ACM Transactions on Programming Languages and Systems (TOPLAS), 26(3), 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]

ACM DL Author-ize serviceDesign space exploration of caches using compressed traces
Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury
ICS '04 Proceedings of the 18th annual international conference on Supercomputing, 2004

 


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.

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

[PPoPP]

ACM DL Author-ize serviceCompactly representing parallel program executions
Ankit Goel, Abhik Roychoudhury, Tulika Mitra
PPoPP '03 Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, 2003

[CODES-ISSS]

ACM DL Author-ize serviceAccurate estimation of cache-related preemption delay
Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury
CODES+ISSS '03 Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, 2003

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.

[DAC] 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.

 


2002

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

[ICSE]

ACM DL Author-ize serviceSpecifying multithreaded Java semantics for program verification
Abhik Roychoudhury, Tulika Mitra
ICSE '02 Proceedings of the 24th International Conference on Software Engineering, 2002

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.

[ISSS]

ACM DL Author-ize serviceTiming analysis of embedded software for speculative processors
Tulika Mitra, Abhik Roychoudhury, Xianfeng Li
ISSS '02 Proceedings of the 15th international symposium on System Synthesis, 2002

[WCET] 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.

 



1998 - 2000 (PhD work)

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. Expanded version in International Journal on Foundations of Computer Science (IJFCS) Vol 13 No. 3 pages 387-403, 2002.

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.


1995 - 1997 (Papers from my Bachelor's and Master's thesis)

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.