| Regression test selection techniques: A survey S Biswas, R Mall, M Satpathy, S Sukumaran Informatica 35 (3), 2011 | 180 | 2011 |
| An elementary introduction to Kalman filtering Y Pei, S Biswas, DS Fussell, K Pingali Communications of the ACM 62 (11), 122-133, 2019 | 138 | 2019 |
| Valor: Efficient, software-only region conflict exceptions S Biswas, M Zhang, MD Bond, B Lucia ACM SIGPLAN Notices 50 (10), 241-259, 2015 | 70 | 2015 |
| DoubleChecker: efficient sound and precise atomicity checking S Biswas, J Huang, A Sengupta, MD Bond ACM SIGPLAN Notices 49 (6), 28-39, 2014 | 56 | 2014 |
| Octet: Capturing and controlling cross-thread dependences efficiently MD Bond, M Kulkarni, M Cao, M Zhang, M Fathi Salmi, S Biswas, ... ACM SIGPLAN Notices 48 (10), 693-712, 2013 | 54 | 2013 |
| Hybrid static–dynamic analysis for statically bounded region serializability A Sengupta, S Biswas, M Zhang, MD Bond, M Kulkarni ACM SIGPLAN Notices 50 (4), 561-575, 2015 | 42 | 2015 |
| Lightweight data race detection for production runs S Biswas, M Cao, M Zhang, MD Bond, BP Wood Proceedings of the 26th International Conference on Compiler Construction, 11-21, 2017 | 32 | 2017 |
| A model-based regression test selection approach for embedded applications S Biswas, R Mall, M Satpathy, S Sukumaran ACM SIGSOFT Software Engineering Notes 34 (4), 1-9, 2009 | 27 | 2009 |
| Proteus: Language and runtime support for self-adaptive software development S Barati, FA Bartha, S Biswas, R Cartwright, A Duracz, D Fussell, ... IEEE Software 36 (2), 73-82, 2019 | 22 | 2019 |
| A regression test selection technique for embedded software S Biswas, R Mall, M Satpathy ACM Transactions on Embedded Computing Systems (TECS) 13 (3), 1-39, 2013 | 15 | 2013 |
| An MILP encoding for efficient verification of quantized deep neural networks S Mistry, I Saha, S Biswas IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 13 | 2022 |
| Thermal-aware adaptive platform management for heterogeneous embedded systems S Maity, A Ghose, S Dey, S Biswas ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-28, 2021 | 13 | 2021 |
| SLAMBooster: An application-aware online controller for approximation in dense SLAM Y Pei, S Biswas, DS Fussell, K Pingali 2019 28th International Conference on Parallel Architectures and Compilation …, 2019 | 11 | 2019 |
| A methodology for principled approximation in visual SLAM Y Pei, S Biswas, DS Fussell, K Pingali Proceedings of the ACM International Conference on Parallel Architectures …, 2020 | 10 | 2020 |
| Thermal load-aware adaptive scheduling for heterogeneous platforms S Maity, A Ghose, S Dey, S Biswas 2020 33rd International Conference on VLSI Design and 2020 19th …, 2020 | 8 | 2020 |
| Explaining the performance of supervised and semi-supervised methods for automated sparse matrix format selection S Dhandhania, A Deodhar, K Pogorelov, S Biswas, J Langguth 50th International Conference on Parallel Processing Workshop, 1-10, 2021 | 7 | 2021 |
| Rethinking support for region conflict exceptions S Biswas, R Zhang, MD Bond, B Lucia 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2019 | 5 | 2019 |
| Arvind, Dung Nguyen, Krishna V. Palem, Yan Pei, Keshav Pingali, Ryuichi Sai, Andrew Wright, Yao-Hsiang Yang, and Sizhuo Zhang. 2019. Proteus: Language and runtime support for … S Barati, FA Bartha, S Biswas, R Cartwright, A Duracz, D Fussell, ... IEEE Software 36 (2), 73-82, 2019 | 5 | 2019 |
| Relaxed dependence tracking for parallel runtime support M Zhang, S Biswas, MD Bond Proceedings of the 25th International Conference on Compiler Construction, 45-55, 2016 | 5 | 2016 |
| Task dependency analysis for regression test selection of embedded programs S Biswas, R Mall, M Satpathy IEEE Embedded Systems Letters 3 (4), 117-120, 2011 | 5 | 2011 |
