Koushik Sen
Affiliations: | Electrical Engineering and Computer Science | University of California, Berkeley, Berkeley, CA, United States |
Area:
Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.; Security (SEC)Google:
"Koushik Sen"Children
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
See more...
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 |