[DBLP]

J. Galenson, P. Reames, R. Bodik, B. Hartmann, and K. Sen, "CodeHint: Dynamic and Interactive Synthesis of Code Snippets," in Proc. 36th International Conference on Software Engineering (ICSE'14), 2014, pp. 653-663.
[CACM | pdf]
C. Cadar and K. Sen, "Symbolic Execution for Software Testing: Three Decades Later," Communications of the ACM, vol. 56, iss. 2, pp. 82-90, 2013.
K. Sen, S. Kalasapur, T. Brutch, and S. Gibbs, "Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript," in Proc. 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), 2013.
W. Choi, G. Necula, and K. Sen, "Guided GUI Testing of Android Applications with Minimal Restart and Approximate Learning," in Proc. Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'13), 2013, pp. 623-640.
C. Rubio-Gonzalez, C. Nguyen, H. D. Nguyen, J. Demmel, W. Kahan, K. Sen, D. H. Bailey, C. Iancu, and D. Hough, "Precimonius: Tuning Assistant for Floating-Point Precision," in Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC'13), 2013.
K. Sen, S. Kalasapur, T. Brutch, and S. Gibbs, "Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript," in Proc. 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), 2013.
(Tool Paper)
T. Elmas, J. Burnim, G. Necula, and K. Sen, "CONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs," in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13), 2013.
C.-S. Park, K. Sen, and C. Iancu, "Scaling Data Race Detection for Partitioned Global Address Space Programs," in Proc. 27th International Conference on Supercomputing (ICS'13), 2013, pp. 47-58.
C.-S. Park, K. Sen, and C. Iancu, "Scaling Data Race Detection for Partitioned Global Address Space Programs (short paper)," in Proc. 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013, pp. 305-306.
J. Burnim, T. Elmas, G. Necula, and K. Sen, "CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration," in Proc. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar'12), 2012.
J. Burnim, T. Elmas, G. C. Necula, and K. Sen, "NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness (short paper)," in Proc. 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'12), 2012, pp. 329-330.
C.-S. Park and K. Sen, "Concurrent Breakpoints (short paper)," in Proc. 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'12), 2012, pp. 331-332.
P. Joshi, H. S. Gunawi, and K. Sen, "PREFAIL: A Programmable Failure-Injection Framework," in Proc. Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'11), 2011, pp. 171-188.
C.-S. Park, K. Sen, P. Hargrove, and C. Iancu, "Efficient Data Race Detection for Distributed Memory Parallel Programs," in Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC'11), 2011, p. 51.
K. Sen, "Concolic Testing and Constraint Satisfaction," in Proc. 14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11), 2011.
Invited Talk
N. Jalbert, C. Pereira, G. Pokam, and K. Sen, "RADBench: A Concurrency Bug Benchmark Suite," in Proc. 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar'11), 2011.
J. Burnim, T. Elmas, G. Necula, and K. Sen, "NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness," in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'11), 2011, pp. 401-414.
C. Cadar, P. Godefroid, S. Khurshid, C. Pasareanu, K. Sen, N. Tillmann, and W. Visser, "Symbolic Execution for Software Testing in Practice -- Preliminary Assessment," in Proc. Impact Project Focus Area in 33rd International Conference on Software Engineering (ICSE'11), 2011, pp. 1066-1071.
J. Burnim, G. Necula, and K. Sen, "Specifying and Checking Semantic Atomicity for Multithreaded Programs," in Proc. 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'11), 2011, pp. 79-90.
H. S. Gunawi, T. Do, P. Joshi, P. Alvaro, J. M. Hellerstein, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, K. Sen, and D. Borthakur, "FATE and DESTINI: A Framework for Cloud Recovery Testing," in Proc. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI'11), 2011.
J. Burnim, K. Sen, and C. Stergiou, "Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models," in Proc. International Conference on Tools and Algorithms for the Construction ana Analysis of Systems (TACAS'11), 2011, pp. 11-25.
J. Burnim and K. S. C. Stergiou, "Testing Concurrent Programs on Relaxed Memory Models," in Proc. International Symposium on Software Testing and Analysis (ISSTA'11), 2011.
P. Joshi, H. S. Gunawi, and K. Sen, "PreFail: Programmable and Efficient Failure Testing Framework," in Proc. Poster Sessions and Work-in-Progress Reports in 9th USENIX Conference on File and Storage Technologies (FAST/WIP'11), 2011.
A. Chander, D. Dhurjati, K. Sen, and D. Yu, "Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems," in Proc. IEEE International Conference on Software Testing, Verification and Validation (ICST'11), 2011, pp. 140-149.
J. Burnim and K. Sen, "Asserting and Checking Determinism for Multithreaded Programs," Communications of the ACM, vol. 53, iss. 6, pp. 97-105, 2010.
J. Burnim and K. Sen, "DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs," in Proc. 32nd International Conference on Software Engineering (ICSE'10), 2010.
IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice
P. Joshi, M. Naik, K. Sen, and D. Gay, "An Effective Dynamic Analysis for Detecting Generalized Deadlocks," in Proc. ACM SIGSOFT Eighteenth Symposium on the Foundations of Software Engineering (FSE'10), 2010.
N. Jalbert and K. Sen, "A Trace Simplification Technique for Effective Debugging of Concurrent Programs," in Proc. ACM SIGSOFT Eighteenth Symposium on the Foundations of Software Engineering (FSE'10), 2010.
J. Burnim, G. Necula, and K. and Sen, "Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications," in Proc. 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar'10), 2010.
H. S. Gunawi, T. Do, P. Joshi, J. M. Hellerstein, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and K. Sen, "Towards Automatically Checking Thousands of Failures with Micro-specifications," in Proc. 6th USENIX Workshop on Hot Topics in System Dependability (HotDep'10), 2010.
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, pp. 3-12.
ACM SIGSOFT Distinguished Paper Award. Invited to CACM Research Highlights.
[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.