Publications

Found 15 results

2009
Burnim, J., S. Juvekar, and K. Sen, "WISE: Automated Test Generation for Worst-Case Complexity", Proc. 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada, pp. 463-473, 2009.
Asanović, K., R. Bodik, J. Demmel, T. Keaveny, K. Keutzer, J. Kubiatowicz, N. Morgan, D. Patterson, K. Sen, J. Wawrzynek, et al., "A View of the Parallel Computing Landscape", Communications of the ACM, vol. 52, no. 10, 10/2009.
Naik, M., C-S. Park, K. Sen, and D. Gay, "Effective Static Deadlock Detection", 31st International Conference on Software Engineering, Vancouver (ICSE 09), Vancouver, Canada, ACM, 05/2009. Abstract
Burnim, J., N. Jalbert, C. Sterigou, and K. Sen, "Looper: Lightweight Detection of Infinite Loops at Runtime", Proc. 24th IEEE/ACM nternational Conference on Automated Software Engineering (ASE'09), 2009.
Joshi, P., C-S. Park, M. Naik, and K. Sen, "A randomized dynamic program analysis technique for detecting real deadlocks", Conference on Programming Language Design and Implementation (PLDI'09), Dublin, Ireland, ACM, pp. 110 - 120, 2009. Abstract
Joshi, P., M. Naik, C-S. Park, and K. Sen, "An Extensible Active Testing Framework for Concurrent Programs", Computer Aided Verification 2009 (CAV2009), Grenoble, France, Springer Berlin / Heidelberg, 2009. Abstract
Burnim, J., and K. Sen, "Asserting and Checking Determinism for Multithreaded Programs", 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, 2009. Abstract
2008
Chatterjee, K., K. Sen, and T. A. Henzinger, "Model-Checking omega-Regular Properties of Interval Markov Chains", Proc. 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08),, pp. 302-317, 2008.
Park, C. - S., and K. Sen, "Randomized Active Atomicity Violation Detection in Concurrent Programs", 16th International Symposium on Foundations of Software Engineering (FSE'08), Atlanta, GA, ACM, 11/2008. Abstract
Burnim, J., and K. Sen, "Heuristics for Scalable Dynamic Test Generation", 23rd IEE/ACM International Conference on Automated Software Engineering (ASE '08), L'Aquila, Italy, 09/2008.