[DBLP]

K. Asanovic, R. B. i, J. Demmel, T. Keaveny, K. Keutzer, J. Kubiatowicz, N. Morgan, D. A. Patterson, K. Sen, J. Wawrzynek, D. Wessel, and K. A. Yelick, "A view of the parallel computing landscape," Communications of ACM, vol. 52, iss. 10, pp. 56-67, 2009.
J. Burnim and K. Sen, "Asserting and Checking Determinism for Multithreaded Programs," in Proc. 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09), 2009.
ACM SIGSOFT Distinguished Paper Award
[CAV'09 | www | pdf]
P. Joshi, M. Naik, C.-S. Park, and K. Sen, "An Extensible Active Testing Framework for Concurrent Programs," in Proc. 21st International Conference on Computer Aided Verification (CAV'09), 2009, pp. 675-681.
[PLDI'09 | pdf | ps]
P. Joshi, C.-S. Park, K. Sen, and M. Naik, "A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks," in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'09), 2009, pp. 110-120.
M. Naik, C.-S. Park, K. Sen, and D. Gay, "Effective Static Deadlock Detection," in Proc. 31st International Conference on Software Engineering (ICSE'09), 2009, pp. 386-396.
ACM SIGSOFT Distinguished Paper Award
J. Burnim, S. Juvekar, and K. Sen, "WISE: Automated Test Generation for Worst-Case Complexity," in Proc. 31st International Conference on Software Engineering (ICSE'09), 2009, pp. 463-473.
[ASE'09 | pdf | ps]
J. Burnim, N. Jalbert, C. Stergiou, and K. Sen, "Looper: Lightweight Detection of Infinite Loops at Runtime," in Proc. 24th IEEE/ACM nternational Conference on Automated Software Engineering (ASE'09), 2009.
S. Chatterjee, S. Juvekar, and K. Sen, "SNIFF: A Search Engine for Java using Free-Form Queries," in Proc. Fundamental Approaches to Software Engineering (FASE'09), 2009, pp. 385-400.
C.-S. Park and K. Sen, "Randomized Active Atomicity Violation Detection in Concurrent Programs," in Proc. 16th International Symposium on Foundations of Software Engineering (FSE'08), 2008, pp. 135-145.
[PLDI'08 | pdf | ps]
K. Sen, "Race Directed Random Testing of Concurrent Programs," in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'08), 2008, pp. 11-21.
[ | www]
K. Asanovic, R. Bodik, J. Demmel, T. Keaveny, K. Keutzer, J. D. Kubiatowicz, E. A. Lee, N. Morgan, G. Necula, D. A. Patterson, K. Sen, J. Wawrzynek, D. Wessel, and K. A. Yelick, "The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View," EECS Department, University of California, Berkeley, UCB/EECS-2008-23, 2008.
[ASE'08 | pdf | ps | tr]
J. Burnim and K. Sen, "Heuristics for Scalable Dynamic Test Generation," in Proc. 23rd IEEE/ACM nternational Conference on Automated Software Engineering (ASE'08), 2008, pp. 443-446.
[ASE'08 | pdf | ps]
P. Joshi and K. Sen, "Predictive Typestate Checking of Multithreaded Java Programs," in Proc. 23rd IEEE/ACM nternational Conference on Automated Software Engineering (ASE'08), 2008, pp. 288-296.
Y. Kannan and K. Sen, "Universal Symbolic Execution and its Application to Likely Data Structure Invariant Generation," in Proc. International Symposium on Software Testing and Analysis (ISSTA'08), 2008, pp. 283-294.
M. K. Ramanathan, K. Sen, A. Grama, and S. Jagannathan, "Protocol Inference Using Static Path Profiles," in Proc. 15th International Static Analysis Symposium (SAS'08), 2008, pp. 78-92.
K. Chatterjee, K. Sen, and T. Henzinger, "Model-Checking omega-Regular Properties of Interval Markov Chains," in Proc. 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), 2008, pp. 302-317.
[ASE'07 | pdf | ps]
K. Sen, "Concolic Testing," in Proc. 22nd IEEE/ACM nternational Conference on Automated Software Engineering (ASE'07), 2007, pp. 571-572.
[ASE'07 | pdf | ps]
K. Sen, "Effective Random Testing of Concurrent Programs," in Proc. 22nd IEEE/ACM nternational Conference on Automated Software Engineering (ASE'07), 2007, pp. 323-332.
P. Joshi, K. Sen, and M. Shlimovich, "Predictive Testing: Amplifying the Effectiveness of Software Testing (Poster Paper)," in Proc. 6th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'07), 2007, pp. 561-564.
M. Emmi, R. Majumdar, and K. Sen, "Dynamic Test Input Generation for Database Applications," in Proc. International Symposium on Software Testing and Analysis (ISSTA'07), 2007, pp. 151-162.
R. Majumdar and K. Sen, "Hybrid Concolic Testing," in Proc. 29th International Conference on Software Engineering (ICSE'07), 2007, pp. 416-426.
[CC:PE | pdf | ps]
G. R. s and K. Sen, "An Instrumentation Technique for Online Analysis of Multithreaded Programs," Special Issue of Concurrency and Computation: Practice and Experience (CC:PE), vol. 19, iss. 3, pp. 311-325, 2007.
K. Sen and G. Agha, "A Race-Detection and Flipping Algorithm for Automated Testing of Multi-Threaded Programs," in Proc. Haifa verification conference 2006 (HVC'06), 2006, pp. 166-182.
[CAV'06 | pdf | ps | tr]
K. Sen and M. Viswanathan, "Model Checking Multithreaded Programs with Asynchronous Atomic Methods," in Proc. 18th International Conference on Computer Aided Verification (CAV'06), 2006, pp. 300-314.
[CAV'06 | pdf | ps]
K. Sen and G. Agha, "CUTE and jCUTE : Concolic Unit Testing and Explicit Path Model-Checking Tools," in Proc. 18th International Conference on Computer Aided Verification (CAV'06), 2006, pp. 419-423.
[ | pdf | ps]
K. Sen, "Scalable Automated Methods for Dynamic Program Analysis," PhD Thesis , 2006.
K. Sen, M. Viswanathan, and G. Agha, "Model-Checking {M}arkov Chains in the presence of Uncertainties," in Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), 2006, pp. 394-410.
[FASE'06 | pdf | tr]
K. Sen and G. Agha, "Automated Systematic Testing of Open Distributed Programs," in Proc. International Conference on Fundamental Approaches to Software Engineering (FASE'06) (ETAPS'06 conference), 2006, pp. 339-356.
[ENTCS | pdf | ps]
G. Agha, J. Meseguer, and K. Sen, "{PM}aude: Rewrite-based Specification Language for Probabilistic Object Systems," Electronic Notes in Theoretical Computer Science, vol. 153, iss. 2, pp. 213-239, 2006.
[STTT | pdf | ps]
K. Sen, G. R. s, and G. Agha, "Online Efficient Predictive Safety Analysis of Multithreaded Programs," International Journal on Software Technology and Tools Transfer (STTT), vol. 8, iss. 3, pp. 248-260, 2006.
K. Sen, A. Vardhan, G. Agha, and G. R. and s, "Decentralized Runtime Analysis of Multithreaded Applications," in Proc. NSF Next Generation Software Program Workshop (NSFNGS'06) (Satellite Workshop of IPDPS'06), 2006.
K. Sen, D. Marinov, and G. Agha, "{CUTE}: A Concolic Unit Testing Engine for {C}," in Proc. 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05), 2005, pp. 263-272.
ACM SIGSOFT Distinguished Paper Award
P. Godefroid, N. Klarlund, and K. Sen, "{DART}: Directed Automated Random Testing," in Proc. ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI'05), 2005, pp. 213-223.
K. Sen, M. Viswanathan, and G. Agha, "On Statistical Model Checking of Stochastic Systems," in Proc. 17th International Conference on Computer Aided Verification (CAV'05), 2005, pp. 266-280.
G. Agha, C. Gunter, M. Greenwald, S. Khanna, J. Meseguer, K. Sen, and P. Thati, "Formal Modeling and Analysis of {DoS} Using Probabilistic Rewrite Theories," in Proc. International Workshop on Foundations of Computer Security (FCS'05) (Affiliated with LICS'05), 2005.
[TCS | pdf | ps]
C. Artho, H. Barringer, A. Goldberg, K. Havelund, S. Khurshid, M. Lowry, C. Pasareanu, G. R. s, K. Sen, W. Visser, and R. Washington, "Combining Test Case Generation and Runtime Verification," Theoretical Computer Science, vol. 336, iss. 2--3, pp. 209-234, 2005.
K. Sen, M. Viswanathan, and G. Agha, "{VESTA}: A Statistical Model Checker and Analyzer for Probabilistic Systems," in Proc. 2nd International Conference on Quantitative Evaluation of Systems (QEST'05), 2005, pp. 251-252.
A. Vardhan, K. Sen, M. Viswanathan, and G. Agha, "Using Language Inference to Verify omega-regular Properties," in Proc. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), 2005, pp. 45-60.
K. Sen, G. R. s, and G. Agha, "Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions," in Proc. 7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'05), 2005, pp. 211-226.
[QAPL'05 | pdf | ps]
G. Agha, J. Meseguer, and K. Sen, "{PM}aude: Rewrite-based Specification Language for Probabilistic Object Systems," in Proc. 3rd International Workshop on Quantitative Aspects of Programming Languages (QAPL'05), 2005.
[FSTTCS'04 | pdf | ps | tr]
A. Vardhan, K. Sen, M. Viswanathan, and G. Agha, "Actively Learning to Verify Safety for FIFO Automata," in Proc. 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), 2004, pp. 494-505.
A. Vardhan, K. Sen, M. Viswanathan, and G. Agha, "Learning to Verify Safety Properties," in Proc. 6th International Conference on Formal Engineering Methods (ICFEM'04), 2004, pp. 274-289.
K. Sen, M. Viswanathan, and G. Agha, "Learning Continuous Time Markov Chains from Sample Executions," in Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST'04), 2004, pp. 146-155.
P. Naldurg, K. Sen, and P. Thati, "A Temporal Logic Based Approach to Intrusion Detection," in Proc. 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'04), 2004, pp. 359-376.
[CAV'04 | pdf | ps | slides | tr]
K. Sen, M. Viswanathan, and G. Agha, "Statistical Model Checking of Black-Box Probabilistic Systems," in Proc. 16th International Conference on Computer Aided Verification (CAV'04), 2004, pp. 202-215.
K. Sen, A. Vardhan, G. Agha, and G. R. and s, "Efficient Decentralized Monitoring of Safety in Distributed Systems," in Proc. 26th International Conference on Software Engineering (ICSE'04), 2004, pp. 418-427.
K. Sen, G. R. s, and G. Agha, "Online Efficient Predictive Safety Analysis of Multithreaded Programs," in Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), 2004, pp. 123-138.
K. Sen, A. Vardhan, G. Agha, and G. R. and s, "On Specifying and Monitoring Epistemic Properties of Distributed Systems," in Proc. 2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004, 2004, pp. 32-35.
G. R. s and K. Sen, "An Instrumentation Technique for Online Analysis of Multithreaded Programs," in Proc. International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), 2004.
H. Barringer, A. Goldberg, K. Havelund, and K. Sen, "Program Monitoring with LTL in EAGLE," in Proc. International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), 2004.
H. Barringer, A. Goldberg, K. Havelund, and K. Sen, "Rule-Based Runtime Verification," in Proc. 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), 2004, pp. 44-57.
K. Sen, G. R. s, and G. Agha, "{Runtime Safety Analysis of Multithreaded Programs}," in Proc. 9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'03), 2003, pp. 337-346.
K. Sen, G. R. s, and G. Agha, "Generating Optimal Linear Temporal Logic Monitors by Coinduction," in Proc. 8th Asian Computing Science Conference (ASIAN'03), 2003, pp. 260-75.
[ | pdf | ps]
K. Sen, "Predictive Safety Analysis of Concurrent Programs," Master's Dissertation , 2003.
N. Kumar, K. Sen, J. Meseguer, and G. Agha, "A Rewriting Based Model for Probabilistic Distributed Object Systems," in Proc. 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03), 2003, pp. 32-46.
[RV'03 | pdf | ps]
K. Sen and G. R. s, "{Generating Optimal Monitors for Extended Regular Expressions}," in Proc. 3rd International Workshop on Runtime Verification (RV'03), 2003.
[WRLA'02 | pdf | ps]
P. Thati, K. Sen, and N. M. Oliet, "An executable specification of asynchronous pi-calculus and may-testing in Maude 2.0," in Proc. International Workshop on Rewriting Logic and its Applications (WRLA'02), 2002.
[ | pdf | ps]
K. Sen and G. Agha, "Process Coordination and Ubiquitous Computing," , Marinescu, D. C. and Lee, C., Eds., CRC Press, 2002, pp. 201-213.
[ | pdf | ps]
K. Sen and V. Tandon, Properties of {OptL}, \#{L} and {UL} and their relation with {NL} class, 1999.

© 2009 by Koushik Sen