Koushik Sen

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

Colors in the list of coauthors