Publications

Found 21 results

2013
2012
2010
Burnim, J., & Sen K. (2010).  DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs. 32nd International Conference on Software Engineering (ICSE'10). Abstract
2009
Burnim, J., Juvekar S., & Sen K. (2009).  WISE: Automated Test Generation for Worst-Case Complexity. Proc. 31st International Conference on Software Engineering (ICSE'09). 463-473.
Burnim, J., & Sen K. (2009).  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. Abstract
Naik, M., Park C. - S., Sen K., & Gay D. (2009).  Effective Static Deadlock Detection. 31st International Conference on Software Engineering, Vancouver (ICSE 09). Abstract