Roopsha Samanta

Cited by

	All	Since 2018
Citations	673	337
h-index	14	9
i10-index	19	9

200420052006200720082009201020112012201320142015201620172018201920202021202220233 10 8 12 17 12 15 20 28 37 38 37 50 45 54 50 63 52 61 54

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
Christopher WagnerPurdue UniversityVerified email at purdue.edu
Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityVerified email at purdue.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland
Loris D'AntoniUniversity of Wisconsin, MadisonVerified email at cs.wisc.edu
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaVerified email at usc.edu
Nageen HimayatVerified email at ieee.org
Thorsten TarrachAmazon Web ServicesVerified email at amazon.com
Bishwarup MondalIntelVerified email at intel.com
Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Leonid RyzhykFelderaVerified email at feldera.com
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Xiangyu ZhangSamuel Conte Professor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Brian L. EvansEngineering Foundation Professor, ECE, WNCG, University of Texas at AustinVerified email at ece.utexas.edu
Jan OtopUniversity of WrocławVerified email at cs.uni.wroc.pl
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	137	2016
MIMO precoding in the presence of co-channel interference S Talwar, R Samanta, N Himayat US Patent App. 11/373,654, 2007	108	2007
Codebook adaptation for quantized MIMO beamforming systems R Samanta, RW Heath Conference Record of the Thirty-Ninth Asilomar Conference onSignals, Systems …, 2005	49	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
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	31	2015
Cost-aware automatic program repair R Samanta, O Olivo, EA Emerson Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014	31	2014
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	27	2020
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	25	2017
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	24	2019
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
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: 11th International …, 2013	17	2013
Augmented Example-Based Synthesis S An, R Singh, S Misailovic, R Samanta 47th ACM SIGPLAN Symposium on Principles of Programming Languages, 2020	15*	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	14	2020
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
Lipschitz robustness of finite-state transducers TA Henzinger, J Otop, R Samanta arXiv preprint arXiv:1404.6452, 2014	11	2014
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	8	2007

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

Cited by

Co-authors