Ted Kremenek

According to our database, Ted Kremenek authored at least 8 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A Memory Model for Static Analysis of C Programs.

Zhongxing Xu, Ted Kremenek, Jian Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

From uncertainty to bugs: inferring defects in software systems with static analysis, statistical methods, and probabilistic graphical models.

Ted Kremenek

PhD thesis, 2009

2007

A Factor Graph Model for Software Bug Finding.

Ted Kremenek, Andrew Y. Ng, Dawson R. Engler

Proceedings of the IJCAI 2007, 2007

2006

From Uncertainty to Belief: Inferring the Specification Within.

Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2004

Correlation exploitation in error ranking.

Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

2003

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.

Ted Kremenek, Dawson R. Engler

Proceedings of the Static Analysis, 10th International Symposium, 2003

MECA: an extensible, expressive system and language for statically checking security properties.

Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2001

A Probabilistic Room Location Service for Wireless Networked Environments.

Paul C. Castro, Patrick Chiu, Ted Kremenek, Richard R. Muntz

Proceedings of the Ubicomp 2001: Ubiquitous Computing, 2001