Ken Roe

roe@cs.jhu.edu

NEB 219

Who Am I?

I'm a first year graduate student. I started in the Fall of 2010. I decided to return to graduate school after working in Silicon Valley for many years. I spent many years experimenting with formal verification techniques as a hobby and decided it was time to return and make a career of the hobby.

Research

I am developing a static analysis tool for C programs. My initial goal is to build a tool that can eliminate many common memory allocation errors. Eventually, I would like to address many complex types of errors including those that arise from complex intricate interactions between data structures. A few years ago, I developed an SMT prover. See the talks and papers below for more details.

My advisor is Scott Smith

Side projects

I am an avid iPhone developer. Check out the folowing web site for more information: http://www.roemobiledevelopment.com. If you are thinking of getting into iPhone development, I will warn that you will most likely not get rich from it. Most likely you won't even make enough money to pay for the hours you put into app development.

Talks, Papers and Code

My CAV'06 talk

My CAV'06 paper on The Heuristic Theorem Prover The Heuristic Theorem Prover: Yet another SMT Modulo Theorem Prover (Tool Paper)

A Talk I gave at IBM.

A paper I submitted to ITC2011.

A Coq model that goes along with the ITC2011 paper.

CV

XSS attack game resources

Presentation

Web site