2022
[TOSEM]
Verifix: Verified Repair of Programming Assignments ( PDF )
Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, O Al-Bataineh, Abhik Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM), To appear (2022).
[ICSE]
Trust Enhancement Issues in Program Repair ( PDF )
Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury
IEEE/ACM 44th International Conference on Software Engineering (ICSE) 2022.
[ICSE]
Linear-time Temporal Logic guided Greybox Fuzzing ( PDF )
Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
IEEE/ACM 44th International Conference on Software Engineering (ICSE) 2022.
2021
[TSE21]
oo7: Low-overhead Defense against Spectre Attacks via Program Analysis (PDF, Tool, Sample News)
Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury
IEEE Transactions on Software Engineering, 47(11), pages 2504-2519, Nov 2021.
[TSE21]
Smart Greybox Fuzzing (PDF, Sample News 1, Sample News 2 )
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
IEEE Transactions on Software Engineering, 47(9), pages 1980-1997, Sep 2021.
[IEEE Software]
Fuzzing: Challenges and Reflections ( PDF )
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
IEEE Software, 38(3), 2021.
[ESEC-FSE 2021]
Flaky Test Detection in Android via Event Order Exploration (
PDF )
Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury
ACM Joint European Software Engineering Conference and Symposium on the
Foundations of Software Engineering (ESEC/FSE) 2021.
[ASE 2021]
Scalable fuzzing of program binaries with e9AFL (
PDF )
Xiang Gao, Gregory J Duck, Abhik Roychoudhury
International Conference on Automated Software Engineering (ASE) 2021.
[AsiaCCS 2021]
Localizing Vulnerabilities Statistically From One Exploit ( PDF )
Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
16th ACM ASIA Conference on Computer and Communications Security (ASIACCS) 2021. Best Paper Award
[OOPSLA21]
APIfix: Output-oriented Program Synthesis for Combating Breaking Changes in
Libraries ( PDF )
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit
Gulwani, Abhik Roychoudhury
ACM SIGPLAN Object-Oriented Programming Systems Languages and Applications (OOPSLA)
2021.
[IEEE-SW21]
Automatic Program Repair ( PDF )
Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
IEEE Software, 38(4), 22-27, 2021, Special Issue on Program Repair (Editor's
note).
[ISSTA21]
Automated Patch Backporting in Linux ( PDF )
Ridwan Shariffdeen, Xiang Gao, Gregory J Duck, Shin Hwei Tan, Julia Lawall,
Abhik Roychoudhury
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
2021. Distinguished artifact award.
[PLDI21]
Concolic Program Repair ( PDF )
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
42nd ACM SIGPLAN Conference on Programming Language Design and
Implementation (PLDI) 2021.
[TOSEM21]
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction ( PDF )
Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM),
30(2), 2021.
[TOSEM21]
Automated Patch Transplantation ( PDF )
Ridwan Shariffdeen, Shin Hwei Tan, Mingyuan Gao, Abhik Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM), 30(1), 2021.
2020
[NeurIPS]
Synthesizing Tasks for Block-based Programming (PDF )
Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla
Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS), 2020.
[TOSEM]
Smart Contract Repair ( PDF )
Xiao Liang Yu, Omar Al-Bataineh, David Lo, Abhik Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM),
29(4), October 2020.
(arxiv Report December 2019, Accepted May 2020.)
[Usenix Security]
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof (PDF)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
29th Usenix Security Symposium, 2020.
[PLDI]
Binary Rewriting without Control Flow Recovery( PDF)
Gregory J Duck, Xiang Gao, Abhik Roychoudhury
41st ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI) 2020.
[CACM]
Singapore's Cybersecurity Ecosystem ( PDF )
Karen Teh, Vivy Suhendra, Soon Chia Lim, Abhik Roychoudhury
Communications of the ACM (CACM), 63(4), April 2020.
[ICSE-Workshop]
Interactive Patch Generation and Suggestion ( PDF )
Xiang Gao, Abhik Roychoudhury
Position Paper,
ACM/IEEE 42nd International Conference on Software Engineering (ICSE) 2020 Workshop on Automated Program Repair.
[ICSE-Workshop]
Fitness Guided Vulnerability Detection with Greybox Fuzzing ( PDF )
RK Medicherla, R Komondoor, Abhik Roychoudhury
ACM/IEEE 42nd International Conference on Software Engineering (ICSE) 2020 Workshop on Search based Software Testing.
[ICSE] [Distinguished paper Award]
Time-travel Testing of Android Apps ( PDF )
Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury
ACM/IEEE 42nd International Conference on Software Engineering (ICSE) 2020.
[ICSE]
Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural Networks ( PDF )
Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury
ACM/IEEE 42nd International Conference on Software Engineering (ICSE) 2020.
[TOSEM]
KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution (PDF)
Guanhua Wang, Sudipta Chattopadhyay, AKBiswas, Tulika Mitra, Abhik Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM), 29(3), July 2020.
[ICST]
AFLNet: A Greybox Fuzzer for Network Protocols ( PDF , Video )
Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
IEEE International Conf. on Software Testing Verification and Validation (ICST) 2020.
2019
[CACM]
Automated Program Repair ( PDF , Video)
Claire Le Goues, Michael Pradel, Abhik Roychoudhury
Communications of the ACM (CACM), 62(12), December 2019.
[SCIS]
Automated Program Repair: A step towards software automation ( Pre-print)
Abhik Roychoudhury and Yingfei Xiong
Science China Information Series (SCIS), 62(10), 2019.
[ASE]
Re-factoring based Program Repair applied to Programming Assignments ( PDF )
Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury
34th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2019.
[ISSTA]
Crash-avoiding Program Repair ( PDF )
Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
ACM SIGSOFT International Symposium on Testing and Analysis (ISSTA) 2019.
[NDSS]
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints ( PDF )
Shen Shiqi, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena
Network and Distributed Systems Security Symposium (NDSS), 2019.
[TSE]
Coverage-based Greybox Fuzzing as Markov Chain ( PDF )
Marcel Böhme, Van Thuan Pham, Abhik Roychoudhury
IEEE Transactions on Software Engineering (TSE), 45(5), pp 489-506, May 2019.
(expanded version of CCS16 paper).
2018
[TOSEM]
Test-equivalence Analysis for Automatic Patch Generation ( PDF )
Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
ACM Transactions on Software Engineering and Methodology (TOSEM), 27(4), October 2018.
[EMSOFT][TCAD]
Symbolic Verification of Cache Side Channel Freedom ( PDF of TCAD version )
Sudipta Chattopadhyay, Abhik Roychoudhury
ACM International Conference on Embedded Software (EMSOFT) 2018.
Published as IEEE Transactions on Computer Aided Design (TCAD), 37(11), pages 2812-2823, November 2018.
[ESEC-FSE]
Symbolic Execution with Existential Second-order Constraints ( PDF )
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
ACM Symposium on Foundations of Software Engineering (FSE) 2018.
[ASE]
Android Testing via Synthetic Symbolic Execution ( PDF )
Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury
ACM/IEEE International Conference on Automated Software Engineering (ASE) 2018.
[ICSE]
Semantic Program Repair Using a Reference Implementation ( PDF )
Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
ACM/IEEE 40th International Conference on Software Engineering (ICSE) 2018.
[ICSE]
Repairing Crashes in Android Apps ( PDF )
Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury
ACM/IEEE 40th International Conference on Software Engineering (ICSE) 2018.
[EmSE]
A Correlation Study between Automated Program Repair and Test-suite Metrics ( PDF )
Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
Empirical Software Engineering Journal, 23(5), pages 2948-2979, 2018.
[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), 44(5), pp 470-490, May 2018.
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.
[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-Poster]
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-paper.
[Dagstuhl]
Automated Program Repair (PDF)
Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury
Dagstuhl Seminar 17022, Dagstuhl Reports 7(1), January 2017.
[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 )
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 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, 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]
Software change contracts
[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]
DARWIN: An approach to debugging evolving programs
[TOSEM]
Symbolic Message Sequence Charts
[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 )
2011
[ESEC-FSE]
Path exploration based on symbolic output [PASTE]
Locating failure-inducing environment changes
[ICSE-PESOS]
Engineering multi-tenant software-as-a-service systems
[ICSE]
Mining message sequence graphs
[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]
Static bus schedule aware scratchpad allocation in multiprocessors
[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]
Test generation to expose changes in evolving programs
[FSE]
Golden implementation driven software debugging
[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]
Scratchpad allocation for concurrent embedded software
[SCOPES]
Modeling shared cache and bus in multi-cores for timing analysis
[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] [ACM SIGSOFT Distinguished paper award]
Darwin: an approach for debugging evolving programs
[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
[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]
[PASTE]
Java memory model aware software validation[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]
Performance debugging of Esterel specifications [CODES-ISSS]
Scratchpad allocation for concurrent embedded software [CODES-ISSS]
Cache-aware optimization of BAN applications[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]
Symbolic message sequence charts[ISSTA]
Hierarchical dynamic slicing[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]
Interacting process classes [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.
[ASE]
Automated path generation for software fault localization
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
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 transformation framework for definite logic programs
[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
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]
Compactly representing parallel program executions [CODES-ISSS]
Accurate estimation of cache-related preemption delay 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]
Specifying multithreaded Java semantics for program verification 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]
Timing analysis of embedded software for speculative processors
[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.
Program Transformations
for Verifying Parameterized Systems
Abhik Roychoudhury
PhD Dissertation, State University of New York at Stony Brook, December
2000.
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.
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.