Roopsha Samanta

Cited by

	All	Since 2017
Citations	573	281
h-index	12	9
i10-index	17	8

20042005200620072008200920102011201220132014201520162017201820192020202120223 9 8 12 18 12 15 21 29 38 38 33 53 46 52 48 64 58 13

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Robert HeathLampe Distinguished Professor, North Carolina State UniversityVerified email at ncsu.edu
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Loris D'AntoniUniversity of Wisconsin, MadisonVerified email at cs.wisc.edu
Jyotirmoy V. DeshmukhAssistant Professor, University of Southern CaliforniaVerified email at usc.edu
Nageen HimayatVerified email at ieee.org
Bishwarup MondalIntelVerified email at intel.com
Thorsten TarrachAIT Austrian Institute of TechnologyVerified email at ait.ac.at
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityVerified email at purdue.edu
Christopher WagnerPurdue UniversityVerified email at purdue.edu
Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland
Brian L. EvansEngineering Foundation Professor, ECE, WNCG, University of Texas at AustinVerified email at ece.utexas.edu
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Leonid RyzhykVMware ResearchVerified email at vmware.com
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jan OtopUniversity of WrocławVerified email at cs.uni.wroc.pl
Xiangyu ZhangSamuel Conte Professor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Shengwei AnPurdue UniversityVerified email at purdue.edu

Roopsha Samanta

Assistant Professor, Purdue University

Verified email at purdue.edu - Homepage

Formal Methods Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Qlose: Program repair with quantitative objectives L D’Antoni, R Samanta, R Singh International Conference on Computer Aided Verification, 383-401, 2016	114	2016
MIMO precoding in the presence of co-channel interference S Talwar, R Samanta, N Himayat US Patent App. 11/373,654, 2007	107	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	40	2008
Cost-aware automatic program repair R Samanta, O Olivo, EA Emerson International Static Analysis Symposium, 268-284, 2014	28	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	26	2015
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
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), 97-139, 2017	20	2017
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	20	2003
Robustness analysis of string transducers R Samanta, JV Deshmukh, S Chaudhuri Automated Technology for Verification and Analysis, 427-441, 2013	15	2013
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	14	2019
Robustness analysis of networked systems R Samanta, JV Deshmukh, S Chaudhuri International Workshop on Verification, Model Checking, and Abstract …, 2013	14	2013
Augmented Example-Based Synthesis S An, R Singh, S Misailovic, R Samanta 47th ACM SIGPLAN Symposium on Principles of Programming Languages, 2020	12*	2020
Link performance prediction presence of co-channel interference N Himayat, R Samanta, S Talwar US Patent 7,697,906, 2010	12	2010
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	12	2003
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	11	2020
An algorithmic framework for synthesis of concurrent programs EA Emerson, R Samanta International Symposium on Automated Technology for Verification and …, 2011	11	2011
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	9	2007
Lipschitz robustness of finite-state transducers TA Henzinger, J Otop, R Samanta arXiv preprint arXiv:1404.6452, 2014	8	2014
Lipschitz robustness of timed I/O systems TA Henzinger, J Otop, R Samanta International Conference on Verification, Model Checking, and Abstract …, 2016	7	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors