☰

Abhik Roychoudhury, Ph.D. - Publications

Affiliations: 
2000 Stony Brook University, Stony Brook, NY, United States 
Area:
Artificial Intelligence, Computational Logic, Machine Learning/Computational Logic Combination, Information Retrieval, Computer Accessibility
Tree Info Similar researchers PubMed Report error

45 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Wang G, Chattopadhyay S, Gotovchits I, Mitra T, Roychoudhury A. oo7: Low-overhead Defense against Spectre attacks via Program Analysis Ieee Transactions On Software Engineering. 1-1. DOI: 10.1109/Tse.2019.2953709  0.437
2020 Boehme M, Cadar C, Roychoudhury A. Fuzzing: Challenges and Reflections Ieee Software. 0-0. DOI: 10.1109/Ms.2020.3016773  0.433
2019 Goues CL, Pradel M, Roychoudhury A. Automated program repair Communications of the Acm. 62: 56-65. DOI: 10.1145/3318162  0.424
2019 Bohme M, Pham V, Roychoudhury A. Coverage-Based Greybox Fuzzing as Markov Chain Ieee Transactions On Software Engineering. 45: 489-506. DOI: 10.1109/Tse.2017.2785841  0.349
2019 Roychoudhury A, Xiong Y. Automated program repair: a step towards software automation Science in China Series F: Information Sciences. 62: 200103. DOI: 10.1007/S11432-019-9947-6  0.445
2018 Mechtaev S, Gao X, Tan SH, Roychoudhury A. Test-Equivalence Analysis for Automatic Patch Generation Acm Transactions On Software Engineering and Methodology. 27: 15. DOI: 10.1145/3241980  0.42
2018 Chattopadhyay S, Roychoudhury A. Symbolic Verification of Cache Side-Channel Freedom Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 2812-2823. DOI: 10.1109/Tcad.2018.2858402  0.433
2018 Yi J, Tan SH, Mechtaev S, Böhme M, Roychoudhury A. A correlation study between automated program repair and test-suite metrics Empirical Software Engineering. 23: 2948-2979. DOI: 10.1007/S10664-017-9552-Y  0.406
2015 Yi J, Qi D, Tan SH, Roychoudhury A. Software change contracts Acm Transactions On Software Engineering and Methodology. 24. DOI: 10.1145/2729973  0.428
2015 Mechtaev S, Yi J, Roychoudhury A. DirectFix: Looking for simple program repairs Proceedings - International Conference On Software Engineering. 1: 448-458. DOI: 10.1109/ICSE.2015.63  0.32
2015 Banerjee A, Chattopadhyay S, Roychoudhury A. On Testing Embedded Software Advances in Computers. DOI: 10.1016/Bs.Adcom.2015.11.005  0.354
2014 Chattopadhyay S, Roychoudhury A. Cache-related preemption delay analysis for multilevel noninclusive caches Acm Transactions On Embedded Computing Systems. 13. DOI: 10.1145/2632156  0.392
2014 Chattopadhyay S, Chong LK, Roychoudhury A, Kelter T, Marwedel P, Falk H. A unified WCET analysis framework for multicore platforms Transactions On Embedded Computing Systems. 13. DOI: 10.1145/2584654  0.405
2014 Kelter T, Falk H, Marwedel P, Chattopadhyay S, Roychoudhury A. Static analysis of multi-core TDMA resource arbitration delays Real-Time Systems. 50: 185-229. DOI: 10.1007/S11241-013-9189-X  0.391
2013 Qi D, Nguyen HDT, Roychoudhury A. Path exploration based on symbolic output Acm Transactions On Software Engineering and Methodology. 22. DOI: 10.1145/2522920.2522925  0.378
2013 Chattopadhyay S, Chong LK, Roychoudhury A. Program performance spectrum Proceedings of the Acm Sigplan Conference On Languages, Compilers, and Tools For Embedded Systems (Lctes). 65-75. DOI: 10.1145/2465554.2465566  0.4
2013 Banerjee A, Chattopadhyay S, Roychoudhury A. Precise micro-architectural modeling for WCET analysis via AI+SAT Real-Time Technology and Applications - Proceedings. 87-96. DOI: 10.1109/RTAS.2013.6531082  0.311
2013 Nguyen HDT, Qi D, Roychoudhury A, Chandra S. SemFix: Program repair via semantic analysis Proceedings - International Conference On Software Engineering. 772-781. DOI: 10.1109/ICSE.2013.6606623  0.347
2013 Bohme M, Oliveira BCDS, Roychoudhury A. Partition-based regression verification Proceedings - International Conference On Software Engineering. 302-311. DOI: 10.1109/ICSE.2013.6606576  0.305
2013 Böhme M, Roychoudhury A, Oliveira BCdS. Regression Testing of Evolving Programs Advances in Computers. 89: 53-88. DOI: 10.1016/B978-0-12-408094-2.00002-3  0.43
2013 Chattopadhyay S, Roychoudhury A. Scalable and precise refinement of cache timing analysis via path-sensitive verification Real-Time Systems. 49: 517-562. DOI: 10.1007/S11241-013-9178-0  0.47
2012 Qi D, Roychoudhury A, Liang Z. DARWIN: An approach to debugging evolving programs Acm Transactions On Software Engineering and Methodology. 21. DOI: 10.1145/2211616.2211622  0.46
2012 Roychoudhury A, Goel A, Sengupta B. Symbolic message sequence charts Acm Transactions On Software Engineering and Methodology. 21. DOI: 10.1145/2089116.2089122  0.337
2012 Qi D, Sumner WN, Qin F, Zheng M, Zhang X, Roychoudhury A. Modeling software execution environment Proceedings - Working Conference On Reverse Engineering, Wcre. 415-424. DOI: 10.1109/WCRE.2012.51  0.338
2012 Liang Y, Ding H, Mitra T, Roychoudhury A, Li Y, Suhendra V. Timing analysis of concurrent programs running on shared cache multi-cores Real-Time Systems. 48: 638-680. DOI: 10.1007/S11241-012-9160-2  0.329
2012 Ju L, Huynh BK, Roychoudhury A, Chakraborty S. Performance debugging of Esterel specifications Real-Time Systems. 48: 570-600. DOI: 10.1007/S11241-012-9155-Z  0.351
2012 Liu Z, Roychoudhury A. Relating software validation to technology trends International Journal On Software Tools For Technology Transfer. 14: 631-638. DOI: 10.1007/S10009-012-0259-5  0.339
2011 Qi D, Ngo MN, Sun T, Roychoudhury A. Locating failure-inducing environment changes Acm Sigplan/Sigsoft Workshop On Program Analysis For Software Tools and Engineering. 29-36. DOI: 10.1145/2024569.2024576  0.322
2011 Chattopadhyay S, Roychoudhury A. Scalable and precise refinement of cache timing analysis via model checking Proceedings - Real-Time Systems Symposium. 193-203. DOI: 10.1109/RTSS.2011.25  0.31
2010 Banerjee A, Roychoudhury A, Harlie JA, Liang Z. Golden implementation driven software debugging Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 177-186. DOI: 10.1145/1882291.1882319  0.309
2010 Suhendra V, Roychoudhury A, Mitra T. Scratchpad allocation for concurrent embedded software Acm Transactions On Programming Languages and Systems. 32. DOI: 10.1145/1734206.1734210  0.327
2010 Roychoudhury A. Debugging as a science, that too, when your program is changing Electronic Notes in Theoretical Computer Science. 266: 3-15. DOI: 10.1016/J.Entcs.2010.08.045  0.45
2009 Qi D, Roychoudhury A, Liang Z, Vaswani K. DARWIN: An approach for debugging evolving programs Esec-Fse'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th Acm Sigsoft Symposium On the Foundations of Software Engineering. 33-42. DOI: 10.1145/1595696.1595704  0.368
2009 Chakraborty S, Mitra T, Roychoudhury A, Thiele L. Cache-aware timing analysis of streaming applications Real-Time Systems. 41: 52-85. DOI: 10.1007/S11241-008-9062-5  0.374
2009 Thanh ND, Roychoudhury A, Mitra T, Mishra P. Generating test programs to cover pipeline interactions Proceedings - Design Automation Conference. 142-147.  0.302
2009 Ju L, Huynh BK, Chakraborty S, Roychoudhury A. Context-sensitive timing analysis of Esterel programs Proceedings - Design Automation Conference. 870-873.  0.312
2008 Wang T, Roychoudhury A. Dynamic slicing on Java bytecode traces Acm Transactions On Programming Languages and Systems. 30: 10-49. DOI: 10.1145/1330017.1330021  0.434
2007 Li X, Liang Y, Mitra T, Roychoudhury A. Chronos: A timing analyzer for embedded software Science of Computer Programming. 69: 56-67. DOI: 10.1016/J.Scico.2007.01.014  0.432
2006 Li X, Roychoudhury A, Mitra T. Modeling out-of-order processors for WCET analysis Real-Time Systems. 34: 195-227. DOI: 10.1007/S11241-006-9205-5  0.408
2005 Li X, Mitra T, Roychoudhury A. Modeling control speculation for timing analysis Real-Time Systems. 29: 27-58. DOI: 10.1023/B:Time.0000048933.15922.F9  0.48
2004 Roychoudhury A, Kumar KN, Ramakrishnan CR, Ramakrishnan IV. An unfold/fold transformation framework for definite logic programs Acm Transactions On Programming Languages and Systems. 26: 464-509. DOI: 10.1145/982158.982160  0.659
2004 Roychoudhury A, Ramakrishnan CR. Unfold/fold transformations for automated verification of parameterized concurrent systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3049: 261-290. DOI: 10.1007/978-3-540-25951-0_9  0.62
2003 Roychoudhury A, Thiagarajan PS. An Executable Specification Language Based on Message Sequence Charts Lecture Notes in Computer Science. 226-241. DOI: 10.1007/978-3-540-40007-3_15  0.349
2002 Roychoudhury A, Narayan Kumar K, Ramakrishnan CR, Ramakrishnan IV. Beyond tamaki-sato style unfold/fold transformations for normal logic programs International Journal of Foundations of Computer Science. 13: 387-403. DOI: 10.1142/S0129054102001175  0.663
1998 Cui B, Dong Y, Du X, Kumar KN, Ramakrishnan CR, Ramakrishnan IV, Roychoudhury A, Smolka SA, Warren DS. Logic programming and model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1490: 1-20. DOI: 10.1007/Bfb0056604  0.658
Show low-probability matches.