Koushik Sen Vis

*	2009
51	EE	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen: CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV 2009: 675-681
50	EE	Jacob Burnim, Koushik Sen: Asserting and checking determinism for multithreaded programs. ESEC/SIGSOFT FSE 2009: 3-12
49	EE	Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen: SNIFF: A Search Engine for Java Using Free-Form Queries. FASE 2009: 385-400
48	EE	Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay: Effective static deadlock detection. ICSE 2009: 386-396
47	EE	Jacob Burnim, Sudeep Juvekar, Koushik Sen: WISE: Automated test generation for worst-case complexity. ICSE 2009: 463-473
46	EE	Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik: A randomized dynamic program analysis technique for detecting real deadlocks. PLDI 2009: 110-120
45	EE	Krste Asanovic, Rastislav Bodík, James Demmel, Tony Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick: A view of the parallel computing landscape. Commun. ACM 52(10): 56-67 (2009)
	2008
44	EE	Pallavi Joshi, Koushik Sen: Predictive Typestate Checking of Multithreaded Java Programs. ASE 2008: 288-296
43	EE	Jacob Burnim, Koushik Sen: Heuristics for Scalable Dynamic Test Generation. ASE 2008: 443-446
42	EE	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger: Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317
41	EE	Yamini Kannan, Koushik Sen: Universal symbolic execution and its application to likely data structure invariant generation. ISSTA 2008: 283-294
40	EE	Koushik Sen: Race directed random testing of concurrent programs. PLDI 2008: 11-21
39	EE	Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan: Protocol Inference Using Static Path Profiles. SAS 2008: 78-92
38	EE	Chang-Seo Park, Koushik Sen: Randomized active atomicity violation detection in concurrent programs. SIGSOFT FSE 2008: 135-145
	2007
37	EE	Koushik Sen: Effective random testing of concurrent programs. ASE 2007: 323-332
36	EE	Koushik Sen: Concolic testing. ASE 2007: 571-572
35	EE	Pallavi Joshi, Koushik Sen, Mark Shlimovich: Predictive testing: amplifying the effectiveness of software testing. ESEC/SIGSOFT FSE 2007: 561-564
34	EE	Pallavi Joshi, Koushik Sen, Mark Shlimovich: Predictive testing: amplifying the effectiveness of software testing. ESEC/SIGSOFT FSE (Companion) 2007: 561-564
33	EE	Rupak Majumdar, Koushik Sen: Hybrid Concolic Testing. ICSE 2007: 416-426
32	EE	Michael Emmi, Rupak Majumdar, Koushik Sen: Dynamic test input generation for database applications. ISSTA 2007: 151-162
31	EE	Grigore Rosu, Koushik Sen: An instrumentation technique for online analysis of multithreaded programs. Concurrency and Computation: Practice and Experience 19(3): 311-325 (2007)
	2006
30	EE	Koushik Sen, Mahesh Viswanathan: Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314
29	EE	Koushik Sen, Gul Agha: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423
28	EE	Koushik Sen, Gul Agha: Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356
27	EE	Koushik Sen, Gul Agha: A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182
26	EE	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006
25	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410
24	EE	Gul A. Agha, José Meseguer, Koushik Sen: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. Electr. Notes Theor. Comput. Sci. 153(2): 213-239 (2006)
23	EE	Koushik Sen, Grigore Rosu, Gul Agha: Online efficient predictive safety analysis of multithreaded programs. STTT 8(3): 248-260 (2006)
	2005
22	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280
21	EE	Koushik Sen, Darko Marinov, Gul Agha: CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272
20	EE	Koushik Sen, Grigore Rosu, Gul Agha: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226
19	EE	Patrice Godefroid, Nils Klarlund, Koushik Sen: DART: directed automated random testing. PLDI 2005: 213-223
18	EE	Koushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252
17	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60
16	EE	Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
	2004
15	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215
14	EE	Prasad Naldurg, Koushik Sen, Prasanna Thati: A Temporal Logic Based Framework for Intrusion Detection. FORTE 2004: 359-376
13	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505
12	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289
11	EE	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427
10	EE	Grigore Rosu, Koushik Sen: An Instrumentation Technique for Online Analysis of Multithreaded Programs. IPDPS 2004
9	EE	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
8	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155
7	EE	Koushik Sen, Grigore Rosu, Gul Agha: Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138
6	EE	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
	2003
5	EE	Koushik Sen, Grigore Rosu, Gul Agha: Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275
4	EE	Koushik Sen, Grigore Rosu, Gul Agha: Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346
3	EE	Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha: A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46
2	EE	Koushik Sen, Grigore Rosu: Generating Optimal Monitors for Extended Regular Expressions. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
	2002
1	EE	Prasanna Thati, Koushik Sen, Narciso Martí-Oliet: An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. Electr. Notes Theor. Comput. Sci. 71: (2002)

Coauthor Index

1	Gul A. Agha (Gul Agha)	[3] [4] [5] [7] [8] [11] [12] [13] [15] [17] [18] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29]
2	Cyrille Artho	[16]
3	Krste Asanovic	[45]
4	Howard Barringer	[6] [9] [16]
5	Rastislav Bodík	[45]
6	Jacob Burnim	[43] [47] [50]
7	Krishnendu Chatterjee	[42]
8	Shaunak Chatterjee	[49]
9	James Demmel	[45]
10	Michael Emmi	[32]
11	David Gay	[48]
12	Patrice Godefroid	[19]
13	Allen Goldberg	[6] [9] [16]
14	Ananth Grama	[39]
15	Klaus Havelund	[6] [9] [16]
16	Thomas A. Henzinger	[42]
17	Suresh Jagannathan	[39]
18	Pallavi Joshi	[34] [35] [44] [46] [51]
19	Sudeep Juvekar	[47] [49]
20	Yamini Kannan	[41]
21	Tony Keaveny	[45]
22	Kurt Keutzer	[45]
23	Sarfraz Khurshid	[16]
24	Nils Klarlund	[19]
25	John Kubiatowicz	[45]
26	Nirman Kumar	[3]
27	Michael R. Lowry	[16]
28	Rupak Majumdar	[32] [33]
29	Darko Marinov	[21]
30	Narciso Martí-Oliet	[1]
31	José Meseguer	[3] [24]
32	Nelson Morgan	[45]
33	Mayur Naik	[46] [48] [51]
34	Prasad Naldurg	[14]
35	Chang-Seo Park	[38] [46] [48] [51]
36	Corina S. Pasareanu	[16]
37	David A. Patterson	[45]
38	Murali Krishna Ramanathan	[39]
39	Grigore Rosu	[2] [4] [5] [7] [10] [11] [16] [20] [23] [26] [31]
40	Mark Shlimovich	[34] [35]
41	Prasanna Thati (Prasannaa Thati)	[1] [14]
42	Abhay Vardhan	[11] [12] [13] [17] [26]
43	Willem Visser	[16]
44	Mahesh Viswanathan	[8] [12] [13] [15] [17] [18] [22] [25] [30]
45	Richard Washington	[16]
46	John Wawrzynek	[45]
47	David Wessel	[45]
48	Katherine A. Yelick	[45]

Colors in the list of coauthors