Koushik Sen

Cited by

	All	Since 2020
Citations	26107	9686
h-index	73	47
i10-index	153	113

2100

1050

525

1575

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202575 175 313 324 484 669 941 1097 1159 1326 1438 1595 1539 1465 1664 1723 1770 1770 1843 1916 2026 359

Public access

View all

50 articles

1 article

available

not available

Based on funding mandates

Co-authors

Gul AghaProfessor of Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist StructureIQVerified email at illinois.edu
Costin IancuSenior Staff Scientist, Lawrence Berkeley National LaboratoryVerified email at lbl.gov
Jacob BurnimGoogle DeepMindVerified email at google.com
George NeculaProfessor, University of California, BerkeleyVerified email at cs.berkeley.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Satish ChandraGoogleVerified email at acm.org
Pallavi JoshiSoftware Engineer, ClouderaVerified email at cloudera.com
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartVerified email at iste.uni-stuttgart.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Katherine YelickVice Chancellor for Research and EECS Professor, UC Berkeley and Sr. Faculty Scientist, LBNLVerified email at lbl.gov
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
Wontae ChoiGoogle Inc.Verified email at google.com
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
David PattersonProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Krste AsanovicUC BerkeleyVerified email at berkeley.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Mayur NaikMisra Family Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Verified email at cs.berkeley.edu - Homepage

Computer Science Testing Debugging Program Analysis Concurrency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005	3705	2005
CUTE: A concolic unit testing engine for C K Sen, D Marinov, G Agha ACM SIGSOFT software engineering notes 30 (5), 263-272, 2005	2705	2005
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	1167	2013
A view of the parallel computing landscape K Asanovic, R Bodik, J Demmel, T Keaveny, K Keutzer, J Kubiatowicz, ... Communications of the ACM 52 (10), 56-67, 2009	983	2009
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	636	2008
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools: (Tool Paper) K Sen, G Agha Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	621	2006
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007	593	2007
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	554	2004
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ... Proceedings of the 33rd International Conference on Software Engineering …, 2011	524	2011
Guided gui testing of android apps with minimal restart and approximate learning W Choi, G Necula, K Sen Acm Sigplan Notices 48 (10), 623-640, 2013	512	2013
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	503	2008
Fairfuzz: A targeted mutation strategy for increasing greybox fuzz testing coverage C Lemieux, K Sen Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018	476	2018
Ansor: Generating {High-Performance} tensor programs for deep learning L Zheng, C Jia, M Sun, Z Wu, CH Yu, A Haj-Ali, Y Wang, J Yang, D Zhuo, ... 14th USENIX symposium on operating systems design and implementation (OSDI …, 2020	451	2020
Deepbugs: A learning approach to name-based bug detection M Pradel, K Sen Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018	422	2018
Precimonious: Tuning assistant for floating-point precision C Rubio-González, C Nguyen, HD Nguyen, J Demmel, W Kahan, K Sen, ... Proceedings of the international conference on high performance computing …, 2013	405	2013
Jalangi: A selective record-replay and dynamic analysis framework for JavaScript K Sen, S Kalasapur, T Brutch, S Gibbs Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	392	2013
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	384	2004
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha International conference on computer aided verification, 266-280, 2005	336	2005
Concolic testing K Sen Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007	312	2007
Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007	293	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