![]() | 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) |