Regression test selection techniques: A survey S Biswas, R Mall, M Satpathy, S Sukumaran Informatica 35 (3), 2011 | 176 | 2011 |
An elementary introduction to Kalman filtering Y Pei, S Biswas, DS Fussell, K Pingali Communications of the ACM 62 (11), 122-133, 2019 | 125 | 2019 |
Valor: Efficient, software-only region conflict exceptions S Biswas, M Zhang, MD Bond, B Lucia ACM SIGPLAN Notices 50 (10), 241-259, 2015 | 73 | 2015 |
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 | 56 | 2013 |
Doublechecker: Efficient sound and precise atomicity checking S Biswas, J Huang, A Sengupta, MD Bond ACM SIGPLAN Notices 49 (6), 28-39, 2014 | 55 | 2014 |
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 | 44 | 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 | 31 | 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 | 14 | 2013 |
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 | 11 | 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 |
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 | 8 | 2022 |
Avoiding Consistency Exceptions Under Strong Memory Models M Zhang, S Biswas, D Michael Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory …, 2017 | 7 | 2017 |
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 | 6 | 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 | 5 | 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 |