Roopsha  Samanta
Roopsha Samanta
Verified email at purdue.edu - Homepage
Title
Cited by
Cited by
Year
MIMO precoding in the presence of co-channel interference
S Talwar, R Samanta, N Himayat
US Patent App. 11/373,654, 2007
1002007
Qlose: Program repair with quantitative objectives
L D’Antoni, R Samanta, R Singh
International Conference on Computer Aided Verification, 383-401, 2016
842016
Codebook adaptation for quantized MIMO beamforming systems
R Samanta, RW Heath
Conference Record of the Thirty-Ninth Asilomar Conference onSignals, Systems …, 2005
502005
Automatic generation of local repairs for boolean programs
R Samanta, JV Deshmukh, EA Emerson
2008 Formal Methods in Computer-Aided Design, 1-10, 2008
392008
Cost-aware automatic program repair
R Samanta, O Olivo, EA Emerson
International Static Analysis Symposium, 268-284, 2014
262014
Frame theoretic quantization for limited feedback MIMO beamforming systems
B Mondal, R Samanta, RW Heath
2005 International Conference on Wireless Networks, Communications and …, 2005
212005
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
202015
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 (2-3), 97-139, 2017
142017
Robustness analysis of string transducers
R Samanta, JV Deshmukh, S Chaudhuri
Automated Technology for Verification and Analysis, 427-441, 2013
142013
Robustness analysis of networked systems
R Samanta, JV Deshmukh, S Chaudhuri
International Workshop on Verification, Model Checking, and Abstract …, 2013
132013
Link performance prediction presence of co-channel interference
N Himayat, R Samanta, S Talwar
US Patent 7,697,906, 2010
122010
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
112003
Inter-carrier interference cancellation for OFDM systems
M Anandpara, E Erwa, J Golab, R Smanta, HH Wang
Austin: University of Texas, EE 381K-11, 2003
102003
ART: abstraction refinement-guided training for provably correct neural networks
X Lin, H Zhu, R Samanta, S Jagannathan
arXiv preprint arXiv:1907.10662, 2019
92019
Joint interference cancellation and channel shortening in multiuser-MIMO systems
R Samanta, RW Heath, BL Evans
IEEE transactions on vehicular technology 56 (2), 652-660, 2007
92007
Inter-carrier interference cancellation for OFDM systems
TS Rappaport
Wireless Communications, 2003
92003
An algorithmic framework for synthesis of concurrent programs
EA Emerson, R Samanta
International Symposium on Automated Technology for Verification and …, 2011
82011
11n partial proposal: Quantized precoding with feedback
RW Heath Jr, J Chiang, B Mondal, R Samanta
IEEE 802.11 TGn doc. P802. 11n-04/962, 2004
72004
Lipschitz robustness of finite-state transducers
TA Henzinger, J Otop, R Samanta
arXiv preprint arXiv:1404.6452, 2014
62014
Lipschitz robustness of timed I/O systems
TA Henzinger, J Otop, R Samanta
International Conference on Verification, Model Checking, and Abstract …, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20