Seuraa
Roopsha Samanta
Roopsha Samanta
Assistant Professor, Purdue University
Vahvistettu sähköpostiosoite verkkotunnuksessa purdue.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Qlose: Program Repair with Quantitative Objectives
L D’Antoni, R Samanta, R Singh
International Conference on Computer Aided Verification, 383-401, 2016
1492016
MIMO precoding in the presence of co-channel interference
S Talwar, R Samanta, N Himayat
US Patent App. 11/373,654, 2007
1112007
Codebook adaptation for quantized MIMO beamforming systems
R Samanta, RW Heath
Conference Record of the Thirty-Ninth Asilomar Conference onSignals, Systems …, 2005
492005
Automatic generation of local repairs for boolean programs
R Samanta, JV Deshmukh, EA Emerson
2008 Formal Methods in Computer-Aided Design, 1-10, 2008
422008
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
332020
Cost-aware automatic program repair
R Samanta, O Olivo, EA Emerson
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
312014
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
302017
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
302015
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
292019
Frame theoretic quantization for limited feedback MIMO beamforming systems
B Mondal, R Samanta, RW Heath
2005 International Conference on Wireless Networks, Communications and …, 2005
222005
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
192020
Augmented Example-Based Synthesis
S An, R Singh, S Misailovic, R Samanta
47th ACM SIGPLAN Symposium on Principles of Programming Languages, 2020
18*2020
Robustness analysis of string transducers
R Samanta, JV Deshmukh, S Chaudhuri
Automated Technology for Verification and Analysis: 11th International …, 2013
182013
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
152021
Lipschitz robustness of finite-state transducers
TA Henzinger, J Otop, R Samanta
arXiv preprint arXiv:1404.6452, 2014
152014
Explainable program synthesis by localizing specifications
A Nazari, Y Huang, R Samanta, A Radhakrishna, M Raghothaman
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2171-2195, 2023
142023
Robustness analysis of networked systems
R Samanta, JV Deshmukh, S Chaudhuri
International Workshop on Verification, Model Checking, and Abstract …, 2013
142013
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
132023
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
132003
Link performance prediction presence of co-channel interference
N Himayat, R Samanta, S Talwar
US Patent 7,697,906, 2010
122010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20