Koushik Sen

Assistant Professor

Research Areas

• Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.
• Security (SEC)

Biography

He received his B.Tech in Computer Science and Engineering from the Indian Institute of Technology Kanpur, India and a M.S. and a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign. His paper on concolic testing won the ACM SIGSOFT Distinguished Paper Award at ESEC/FSE¿05. He received the C.L. and Jane W-S. Liu Award in 2004 for exceptional research promise, the C. W. Gear Outstanding Graduate Award in 2005, and the David J. Kuck Outstanding Ph.D. Thesis Award in 2007 from the UIUC Department of Computer Science.

Selected Publications

• K. Sen and M. Viswanathan, "Model checking multithreaded programs with asynchronous atomic methods," in Lecture Notes in Computer Science -- Computer Aided Verification, T. Ball and R. B. Jones, Eds., Vol. 4144, Berlin, Germany: Springer-Verlag, 2006, pp. 300-314.
• K. Sen, D. Marinov, and G. Agha, "CUTE: A Concolic Unit Testing Engine for C," in Proc. 10th European Software Engineering Conf. held jointly with the 13th ACM SIGSOFT Intl. Symp. on Foundations of Sofware Engineering, New York, NY: ACM Press, 2005, pp. 263-272.
• P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed Automated Random Testing," SIGPLAN Notices, vol. 40, no. 6, pp. 213-223, June 2005.
• A. Vardhan, K. Sen, M. Viswanathan, and G. Agha, "Using language inference to verify omega-regular properties," in Lecture Notes in Computer Science: Tools and Algorithms for the Construction and Analysis of Systems, N. Halbwachs and L. Zuck, Eds., Vol. 3440, Berlin, Germany: Springer-Verlag, 2005, pp. 45-60.
• K. Sen, M. Viswanathan, and G. Agha, "Statistical model checking of black-box probabilistic systems," in Lecture Notes in Computer Science: Computer Aided Verification, R. Alur and D. A. Peled, Eds., Vol. 3114, Berlin, Germany: Springer-Verlag, 2004, pp. 202-215.
• K. Sen, A. Vardhan, G. Agha, and G. Rosu, "Efficient decentralized monitoring of safety in distributed systems," in Proc. 26th Intl. Conf. on Software Engineering, Los Alamitos, CA: IEEE Computer Society, 2004, pp. 418-427.
• K. Sen, G. Rosu, and G. Agha, "Runtime safety analysis of multithreaded programs," in Proc. 9th European Software Engineering Conference (ESEC) held jointly with 11th ACM SIGSOFT Intl. Symp. on Foundations of Software Engineeering, New York, NY: ACM Press, 2003, pp. 337-346.