Koushik Sen

Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA 
Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.; Security (SEC)
"Koushik Sen"


Sign in to add mentor
Gul Agha grad student UIUC (Robotree)


Sign in to add trainee
Simon F. Goldsmith grad student 2009 UC Berkeley
Pallavi Joshi grad student 2012 UC Berkeley
Joel D. Galenson grad student 2014 UC Berkeley
Wontae Choi grad student 2017 UC Berkeley
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Lemieux C, Sen K. (2020) FairFuzz-TC: a fuzzer targeting rare branches International Journal On Software Tools For Technology Transfer. 1-4
Karim R, Tip F, Sochurkova A, et al. (2019) Platform-Independent Dynamic Taint Analysis for JavaScript Ieee Transactions On Software Engineering. 1-1
Andreasen E, Gong L, Møller A, et al. (2017) A Survey of Dynamic Analysis and Test Generation for JavaScript Acm Computing Surveys. 50: 66
Sen K, Necula G, Gong L, et al. (2015) MultiSE: Multi-path symbolic execution using value summaries 2015 10th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2015 - Proceedings. 842-853
Choi W, Chandra S, Necula G, et al. (2015) SJS: A type system for javascript with fixed object layout Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9291: 181-198
Cadar C, Sen K. (2013) Symbolic execution for software testing: three decades later Communications of the Acm. 56: 82-90
Burnim J, Sen K. (2010) Asserting and checking determinism for multithreaded programs Communications of the Acm. 53: 97-105
Roşu G, Sen K. (2007) An instrumentation technique for online analysis of multithreaded programs: Research Articles Concurrency and Computation: Practice and Experience. 19: 311-325
Roşu G, Sen K. (2007) An instrumentation technique for online analysis of multithreaded programs Concurrency and Computation: Practice and Experience. 19: 311-325
Agha G, Meseguer J, Sen K. (2006) PMaude: Rewrite-based Specification Language for Probabilistic Object Systems Electronic Notes in Theoretical Computer Science. 153: 213-239
See more...