Ted Kremenek

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Zhongxing Xu, Ted Kremenek, Jian Zhang
A Memory Model for Static Analysis of C Programs. ISoLA (1) (2010)
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
A Factor Graph Model for Software Bug Finding. IJCAI (2007)
Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler
From Uncertainty to Belief: Inferring the Specification Within. OSDI (2006)
Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler
Correlation exploitation in error ranking. SIGSOFT FSE (2004)
Ted Kremenek, Dawson R. Engler
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. SAS (2003)
Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler
MECA: an extensible, expressive system and language for statically checking security properties. CCS (2003)
Paul C. Castro, Patrick Chiu, Ted Kremenek, Richard R. Muntz
A Probabilistic Room Location Service for Wireless Networked Environments. UbiComp (2001)