


Остановите войну!
for scientists:
Abhik Roychoudhury
Person information

- affiliation: National University of Singapore
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [i20]Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury:
Stateful Greybox Fuzzing. CoRR abs/2204.02545 (2022) - [i19]Jinsheng Ba, Gregory J. Duck, Abhik Roychoudhury:
Fast Fuzzing for Memory Errors. CoRR abs/2204.02773 (2022) - 2021
- [j48]Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen
, Sumit Gulwani, Abhik Roychoudhury
:
APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [j47]Marcel Böhme
, Cristian Cadar
, Abhik Roychoudhury
:
Fuzzing: Challenges and Reflections. IEEE Softw. 38(3): 79-86 (2021) - [j46]Claire Le Goues
, Michael Pradel, Abhik Roychoudhury
, Satish Chandra
:
Automatic Program Repair. IEEE Softw. 38(4): 22-27 (2021) - [j45]Ridwan Salihin Shariffdeen, Shin Hwei Tan
, Mingyuan Gao, Abhik Roychoudhury
:
Automated Patch Transplantation. ACM Trans. Softw. Eng. Methodol. 30(1): 6:1-6:36 (2021) - [j44]Xiang Gao, Bo Wang
, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury:
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. 30(2): 14:1-14:27 (2021) - [j43]Van-Thuan Pham
, Marcel Böhme
, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
:
Smart Greybox Fuzzing. IEEE Trans. Software Eng. 47(9): 1980-1997 (2021) - [j42]Guanhua Wang
, Sudipta Chattopadhyay
, Ivan Gotovchits
, Tulika Mitra
, Abhik Roychoudhury
:
oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis. IEEE Trans. Software Eng. 47(11): 2504-2519 (2021) - [c130]Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury:
Localizing Vulnerabilities Statistically From One Exploit. AsiaCCS 2021: 537-549 - [c129]Ridwan Shariffdeen
, Xiang Gao, Gregory J. Duck, Shin Hwei Tan
, Julia Lawall, Abhik Roychoudhury
:
Automated patch backporting in Linux (experience paper). ISSTA 2021: 633-645 - [c128]Xiang Gao, Gregory J. Duck, Abhik Roychoudhury:
Scalable Fuzzing of Program Binaries with E9AFL. ASE 2021: 1247-1251 - [c127]Ridwan Salihin Shariffdeen
, Yannic Noller
, Lars Grunske
, Abhik Roychoudhury
:
Concolic program repair. PLDI 2021: 390-405 - [c126]Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury
:
Flaky test detection in Android via event order exploration. ESEC/SIGSOFT FSE 2021: 367-378 - [i18]Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury:
Verifix: Verified Repair of Programming Assignments. CoRR abs/2106.16199 (2021) - [i17]Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey:
HIPPODROME: Data Race Repair using Static Analysis Summaries. CoRR abs/2108.02490 (2021) - [i16]Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury:
How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools. CoRR abs/2108.13064 (2021) - [i15]Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury:
Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing. CoRR abs/2109.02312 (2021) - 2020
- [j41]Sue Moon, Ann E. Nicholson, Abhik Roychoudhury:
Welcome. Commun. ACM 63(4): 44-46 (2020) - [j40]Karen Teh, Vivy Suhendra, Soon Chia Lim, Abhik Roychoudhury:
Singapore's cybersecurity ecosystem. Commun. ACM 63(4): 55-57 (2020) - [j39]Guanhua Wang
, Sudipta Chattopadhyay, Arnab Kumar Biswas
, Tulika Mitra, Abhik Roychoudhury
:
KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 29(3): 14:1-14:31 (2020) - [j38]Xiao Liang Yu, Omar I. Al-Bataineh, David Lo
, Abhik Roychoudhury
:
Smart Contract Repair. ACM Trans. Softw. Eng. Methodol. 29(4): 27:1-27:32 (2020) - [c125]Xiang Gao, Abhik Roychoudhury:
Interactive Patch Generation and Suggestion. ICSE (Workshops) 2020: 17-18 - [c124]Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury:
Time-travel testing of Android apps. ICSE 2020: 481-492 - [c123]Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury:
Fitness Guided Vulnerability Detection with Greybox Fuzzing. ICSE (Workshops) 2020: 513-520 - [c122]Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury:
Fuzz testing based data augmentation to improve robustness of deep neural networks. ICSE 2020: 1147-1158 - [c121]Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury:
AFLNET: A Greybox Fuzzer for Network Protocols. ICST 2020: 460-465 - [c120]Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla
:
Synthesizing Tasks for Block-based Programming. NeurIPS 2020 - [c119]Gregory J. Duck, Xiang Gao, Abhik Roychoudhury:
Binary rewriting without control flow recovery. PLDI 2020: 151-163 - [c118]Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena:
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium 2020: 523-540 - [i14]Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury:
Concurrency-related Flaky Test Detection in Android apps. CoRR abs/2005.10762 (2020) - [i13]Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. CoRR abs/2006.16913 (2020) - [i12]Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury:
Localizing Patch Points From One Exploit. CoRR abs/2008.04516 (2020) - [i11]Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury:
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. CoRR abs/2011.11001 (2020)
2010 – 2019
- 2019
- [j37]Claire Le Goues, Michael Pradel, Abhik Roychoudhury
:
Automated program repair. Commun. ACM 62(12): 56-65 (2019) - [j36]Abhik Roychoudhury
, Yingfei Xiong:
Automated program repair: a step towards software automation. Sci. China Inf. Sci. 62(10): 200103:1-200103:3 (2019) - [j35]Marcel Böhme
, Van-Thuan Pham
, Abhik Roychoudhury
:
Coverage-Based Greybox Fuzzing as Markov Chain. IEEE Trans. Software Eng. 45(5): 489-506 (2019) - [c117]Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
:
Crash-avoiding program repair. ISSTA 2019: 8-18 - [c116]Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong
, Abhik Roychoudhury:
Re-Factoring Based Program Repair Applied to Programming Assignments. ASE 2019: 388-398 - [c115]Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena:
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. NDSS 2019 - [i10]Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury:
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. CoRR abs/1909.00647 (2019) - [i9]Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury:
Smart Contract Repair. CoRR abs/1912.05823 (2019) - [i8]Marcel Böhme, Cristian Cadar, Abhik Roychoudhury:
Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). NII Shonan Meet. Rep. 2019 (2019) - 2018
- [j34]Jooyong Yi
, Shin Hwei Tan, Sergey Mechtaev
, Marcel Böhme
, Abhik Roychoudhury
:
A correlation study between automated program repair and test-suite metrics. Empir. Softw. Eng. 23(5): 2948-2979 (2018) - [j33]Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Symbolic Verification of Cache Side-Channel Freedom. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2812-2823 (2018) - [j32]Sergey Mechtaev
, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
:
Test-Equivalence Analysis for Automatic Patch Generation. ACM Trans. Softw. Eng. Methodol. 27(4): 15:1-15:37 (2018) - [j31]Abhijeet Banerjee
, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury
:
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps. IEEE Trans. Software Eng. 44(5): 470-490 (2018) - [c114]Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury:
A correlation study between automated program repair and test-suite metrics. ICSE 2018: 24 - [c113]Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller
, Lars Grunske
, Abhik Roychoudhury:
Semantic program repair using a reference implementation. ICSE 2018: 129-139 - [c112]Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury:
Repairing crashes in Android apps. ICSE 2018: 187-198 - [c111]Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury
:
Android testing via synthetic symbolic execution. ASE 2018: 419-429 - [c110]Sergey Mechtaev
, Alberto Griggio
, Alessandro Cimatti, Abhik Roychoudhury
:
Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE 2018: 389-399 - [i7]Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena:
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR abs/1807.00477 (2018) - [i6]Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena:
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. CoRR abs/1807.00575 (2018) - [i5]Sudipta Chattopadhyay, Abhik Roychoudhury:
Symbolic Verification of Cache Side-channel Freedom. CoRR abs/1807.04701 (2018) - [i4]Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury:
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis. CoRR abs/1807.05843 (2018) - [i3]Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury:
Smart Greybox Fuzzing. CoRR abs/1811.09447 (2018) - 2017
- [c109]Marcel Böhme
, Van-Thuan Pham
, Manh-Dung Nguyen, Abhik Roychoudhury
:
Directed Greybox Fuzzing. CCS 2017: 2329-2344 - [c108]Van-Thuan Pham
, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury
:
Bucketing Failing Tests via Symbolic Analysis. FASE 2017: 43-59 - [c107]Abhijeet Banerjee, Abhik Roychoudhury
:
Future of Mobile Software for Smartphones and Drones: Energy and Performance. MOBILESoft@ICSE 2017: 1-12 - [c106]Shin Hwei Tan, Jooyong Yi
, Yulis, Sergey Mechtaev
, Abhik Roychoudhury
:
Codeflaws: a programming competition benchmark for evaluating automated program repair tools. ICSE (Companion Volume) 2017: 180-182 - [c105]Jooyong Yi
, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury
:
A feasibility study of using automated program repair for introductory programming assignments. ESEC/SIGSOFT FSE 2017: 740-751 - [c104]Abhik Roychoudhury:
Trustworthy Software and Automatic Program Repair. SoICT 2017: 3 - [e4]Abhik Roychoudhury, Yang Liu:
A Systems Approach to Cyber Security - Proceedings of the 2nd Singapore Cyber-Security R&D Conference (SG-CRC 2017), Singapore, February 21-22, 2017. Cryptology and Information Security Series 15, IOS Press 2017, ISBN 978-1-61499-743-6 [contents] - [i2]Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury:
Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. CoRR abs/1707.03139 (2017) - [i1]Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury:
Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports 7(1): 19-31 (2017) - 2016
- [j30]Abhijeet Banerjee, Sudipta Chattopadhyay
, Abhik Roychoudhury
:
On Testing Embedded Software. Adv. Comput. 101: 121-153 (2016) - [j29]Abhik Roychoudhury
, Satish Chandra:
Formula-based software debugging. Commun. ACM 59(7): 68-77 (2016) - [c103]Marcel Böhme
, Van-Thuan Pham
, Abhik Roychoudhury
:
Coverage-based Greybox Fuzzing as Markov Chain. CCS 2016: 1032-1043 - [c102]Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury
:
Debugging energy-efficiency related field failures in mobile apps. MOBILESoft 2016: 127-138 - [c101]Abhijeet Banerjee, Abhik Roychoudhury
:
Automated re-factoring of Android apps to enhance energy-efficiency. MOBILESoft 2016: 139-150 - [c100]Sergey Mechtaev
, Jooyong Yi
, Abhik Roychoudhury
:
Angelix: scalable multiline program patch synthesis via symbolic analysis. ICSE 2016: 691-701 - [c99]Konstantin Rubinov, Lucia Rosculete, Tulika Mitra
, Abhik Roychoudhury
:
Automated partitioning of android applications for trusted execution environments. ICSE 2016: 923-934 - [c98]Abhik Roychoudhury:
SemFix and beyond: semantic techniques for program repair. ForMABS@ASE 2016: 2 - [c97]Van-Thuan Pham
, Marcel Böhme
, Abhik Roychoudhury
:
Model-based whitebox fuzzing for program binaries. ASE 2016: 543-553 - [c96]Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
:
Anti-patterns in search-based program repair. SIGSOFT FSE 2016: 727-738 - [e3]Andreas Zeller, Abhik Roychoudhury:
Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016. ACM 2016, ISBN 978-1-4503-4390-9 [contents] - [e2]Aditya Mathur, Abhik Roychoudhury:
Proceedings of the Singapore Cyber-Security Conference (SG-CRC) 2016 - Cyber-Security by Design, Singapore, January 14-15, 2016. Cryptology and Information Security Series 14, IOS Press 2016, ISBN 978-1-61499-616-3 [contents] - 2015
- [j28]Jooyong Yi
, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury
:
Software Change Contracts. ACM Trans. Softw. Eng. Methodol. 24(3): 18:1-18:43 (2015) - [c95]Sergey Mechtaev
, Jooyong Yi
, Abhik Roychoudhury
:
DirectFix: Looking for Simple Program Repairs. ICSE (1) 2015: 448-458 - [c94]Shin Hwei Tan, Abhik Roychoudhury
:
relifix: Automated Repair of Software Regressions. ICSE (1) 2015: 471-482 - [c93]Van-Thuan Pham
, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury
:
Hercules: Reproducing Crashes in Real-World Application Binaries. ICSE (1) 2015: 891-901 - 2014
- [j27]Sudipta Chattopadhyay
, Abhik Roychoudhury
, Jakob Rosen, Petru Eles, Zebo Peng:
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. Found. Trends Electron. Des. Autom. 8(3-4): 199-356 (2014) - [j26]Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Static analysis of multi-core TDMA resource arbitration delays. Real Time Syst. 50(2): 185-229 (2014) - [j25]Sudipta Chattopadhyay
, Lee Kee Chong, Abhik Roychoudhury
, Timon Kelter, Peter Marwedel, Heiko Falk:
A Unified WCET analysis framework for multicore platforms. ACM Trans. Embed. Comput. Syst. 13(4s): 124:1-124:29 (2014) - [j24]Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches. ACM Trans. Embed. Comput. Syst. 13(5s): 147:1-147:29 (2014) - [c92]Tien-Duy B. Le, Jooyong Yi
, David Lo
, Ferdian Thung, Abhik Roychoudhury
:
Dynamic Inference of Change Contracts. ICSME 2014: 451-455 - [c91]Marcel Böhme, Abhik Roychoudhury:
CoREBench: studying complexity of regression errors. ISSTA 2014: 105-115 - [c90]Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury
:
Cache-related preemption delay analysis for FIFO caches. LCTES 2014: 33-42 - [c89]Abhijeet Banerjee, Abhik Roychoudhury
:
Energy-aware design patterns for mobile application development (invited talk). DeMobile@SIGSOFT FSE 2014: 15-16 - [c88]Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Detecting energy bugs and hotspots in mobile apps. SIGSOFT FSE 2014: 588-598 - 2013
- [j23]Marcel Böhme
, Abhik Roychoudhury
, Bruno C. d. S. Oliveira:
Regression Testing of Evolving Programs. Adv. Comput. 89: 53-88 (2013) - [j22]Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Scalable and precise refinement of cache timing analysis via path-sensitive verification. Real Time Syst. 49(4): 517-562 (2013) - [j21]Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury
:
Path exploration based on symbolic output. ACM Trans. Softw. Eng. Methodol. 22(4): 32:1-32:41 (2013) - [c87]Jooyong Yi
, Robby, Xianghua Deng, Abhik Roychoudhury
:
Past expression: encapsulating pre-states at post-conditions by means of AOP. AOSD 2013: 133-144 - [c86]Marcel Böhme
, Bruno C. d. S. Oliveira, Abhik Roychoudhury
:
Partition-based regression verification. ICSE 2013: 302-311 - [c85]Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury
, Satish Chandra:
SemFix: program repair via semantic analysis. ICSE 2013: 772-781 - [c84]Jooyong Yi
, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury
:
Expressing and checking intended changes via software change contracts. ISSTA 2013: 1-11 - [c83]Sudipta Chattopadhyay
, Lee Kee Chong, Abhik Roychoudhury
:
Program performance spectrum. LCTES 2013: 65-76 - [c82]Abhijeet Banerjee, Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Precise micro-architectural modeling for WCET analysis via AI+SAT. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 87-96 - [c81]Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham
, Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Integrated Timing Analysis of Application and Operating Systems Code. RTSS 2013: 128-139 - [c80]Abhijeet Banerjee, Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Static Analysis Driven Cache Performance Testing. RTSS 2013: 319-329 - [c79]Marcel Böhme
, Bruno C. d. S. Oliveira, Abhik Roychoudhury
:
Regression tests to expose change interaction errors. ESEC/SIGSOFT FSE 2013: 334-344 - 2012
- [j20]Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury
, Samarjit Chakraborty
:
Performance debugging of Esterel specifications. Real Time Syst. 48(5): 570-600 (2012) - [j19]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 Syst. 48(6): 638-680 (2012) - [j18]Zhiming Liu, Abhik Roychoudhury
:
Relating software validation to technology trends. Int. J. Softw. Tools Technol. Transf. 14(6): 631-638 (2012) - [j17]Abhik Roychoudhury
, Ankit Goel, Bikram Sengupta:
Symbolic Message Sequence Charts. ACM Trans. Softw. Eng. Methodol. 21(2): 12:1-12:44 (2012) - [j16]Dawei Qi, Abhik Roychoudhury
, Zhenkai Liang
, Kapil Vaswani:
DARWIN: An approach to debugging evolving programs. ACM Trans. Softw. Eng. Methodol. 21(3): 19:1-19:29 (2012) - [c78]Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury
, David Lo
:
Inferring class level specifications for distributed systems. ICSE 2012: 914-924 - [c77]Lei Ju, Bikram Sengupta, Abhik Roychoudhury
:
Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems. ICWS 2012: 415-422 - [c76]Sudipta Chattopadhyay
, Lee Kee Chong, 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 - [c75]Dawei Qi, Jooyong Yi
, Abhik Roychoudhury
:
Software change contracts. SIGSOFT FSE 2012: 22 - [c74]Dawei Qi, William N. Sumner
, Feng Qin, Mai Zheng, Xiangyu Zhang, Abhik Roychoudhury
:
Modeling Software Execution Environment. WCRE 2012: 415-424 - [e1]Abhik Roychoudhury, Meenakshi D'Souza:
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 [contents] - 2011
- [c73]Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds. ECRTS 2011: 3-12 - [c72]Bikram Sengupta, Abhik Roychoudhury
:
Engineering multi-tenant software-as-a-service systems. PESOS@ICSE 2011: 15-21 - [c71]Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury
, David Lo
:
Mining message sequence graphs. ICSE 2011: 91-100 - [c70]Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Static bus schedule aware scratchpad allocation in multiprocessors. LCTES 2011: 11-20 - [c69]Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury
:
Locating failure-inducing environment changes. PASTE 2011: 29-36 - [c68]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 - [c67]Sudipta Chattopadhyay
, Abhik Roychoudhury
:
Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. RTSS 2011: 193-203 - [c66]Bernard Blackham, Yao Shi, Sudipta Chattopadhyay
, Abhik Roychoudhury
, Gernot Heiser:
Timing Analysis of a Protected Operating System Kernel. RTSS 2011: 339-348 - [c65]Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury
:
Path exploration based on symbolic output. SIGSOFT FSE 2011: 278-288 - 2010
- [j15]Abhik Roychoudhury
:
Debugging as a Science, that too, when your Program is Changing. Electron. Notes Theor. Comput. Sci. 266: 3-15 (2010) - [j14]