| Qlose: Program Repair with Quantitative Objectives L D’Antoni, R Samanta, R Singh International Conference on Computer Aided Verification, 383-401, 2016 | 143 | 2016 |
| MIMO precoding in the presence of co-channel interference S Talwar, R Samanta, N Himayat US Patent App. 11/373,654, 2007 | 110 | 2007 |
| Codebook adaptation for quantized MIMO beamforming systems R Samanta, RW Heath Conference Record of the Thirty-Ninth Asilomar Conference onSignals, Systems …, 2005 | 50 | 2005 |
| Automatic generation of local repairs for boolean programs R Samanta, JV Deshmukh, EA Emerson 2008 Formal Methods in Computer-Aided Design, 1-10, 2008 | 41 | 2008 |
| ART: abstraction refinement-guided training for provably correct neural networks X Lin, H Zhu, R Samanta, S Jagannathan # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 148-157, 2020 | 31 | 2020 |
| Cost-aware automatic program repair R Samanta, O Olivo, EA Emerson Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014 | 31 | 2014 |
| Succinct representation of concurrent trace sets A Gupta, TA Henzinger, A Radhakrishna, R Samanta, T Tarrach Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 29 | 2015 |
| SemCluster: clustering of imperative programming assignments based on quantitative semantic features DM Perry, D Kim, R Samanta, X Zhang Proceedings of the 40th acm sigplan conference on programming language …, 2019 | 27 | 2019 |
| From non-preemptive to preemptive scheduling using synchronization synthesis P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ... Formal methods in system design 50, 97-139, 2017 | 27 | 2017 |
| Frame theoretic quantization for limited feedback MIMO beamforming systems B Mondal, R Samanta, RW Heath 2005 International Conference on Wireless Networks, Communications and …, 2005 | 21 | 2005 |
| Robustness analysis of string transducers R Samanta, JV Deshmukh, S Chaudhuri Automated Technology for Verification and Analysis: 11th International …, 2013 | 18 | 2013 |
| Augmented Example-Based Synthesis S An, R Singh, S Misailovic, R Samanta 47th ACM SIGPLAN Symposium on Principles of Programming Languages, 2020 | 17* | 2020 |
| Parameterized verification of systems with global synchronization and guards N Jaber, S Jacobs, C Wagner, M Kulkarni, R Samanta International Conference on Computer Aided Verification, 299-323, 2020 | 15 | 2020 |
| Lipschitz robustness of finite-state transducers TA Henzinger, J Otop, R Samanta arXiv preprint arXiv:1404.6452, 2014 | 15 | 2014 |
| Robustness analysis of networked systems R Samanta, JV Deshmukh, S Chaudhuri International Workshop on Verification, Model Checking, and Abstract …, 2013 | 14 | 2013 |
| Joint space-time interference cancellation and channel shortening R Samanta, RW Heath, BL Evans The Thrity-Seventh Asilomar Conference on Signals, Systems & Computers, 2003 …, 2003 | 13 | 2003 |
| Link performance prediction presence of co-channel interference N Himayat, R Samanta, S Talwar US Patent 7,697,906, 2010 | 12 | 2010 |
| An algorithmic framework for synthesis of concurrent programs EA Emerson, R Samanta International Symposium on Automated Technology for Verification and …, 2011 | 11 | 2011 |
| Trace-Guided Inductive Synthesis of Recursive Functional Programs Y Yuan, A Radhakrishna, R Samanta Proceedings of the ACM on Programming Languages 7 (PLDI), 860-883, 2023 | 9 | 2023 |
| Quicksilver: modeling and parameterized verification for distributed agreement-based systems N Jaber, C Wagner, S Jacobs, M Kulkarni, R Samanta Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021 | 8 | 2021 |
Robert HeathCharles Lee Powell Chair in Wireless Communication, University of California, San Diego在 ucsd.edu 的电子邮件经过验证
