Daniel Brand
University/Research Lab: IBM T.J. Watson Research Center
Location: (Yorktown Heights, NY)
Personal Research Web Page: http://domino.research.ibm.com/comm/research.nsf/pages/r.da.html
Keywords: software robustness, static program analysis, dynamic analysis, defect detection, theorem proving, specification mining, software security, parallelization
Location: (Yorktown Heights, NY)
Personal Research Web Page: http://domino.research.ibm.com/comm/research.nsf/pages/r.da.html
Keywords: software robustness, static program analysis, dynamic analysis, defect detection, theorem proving, specification mining, software security, parallelization
Posted on: Monday, June 8th, 2009
Broad Research Area: Programming Languages / Compilers, Software Engineering
Research Interests:
Our team works on a project called BEAM for static analysis of software. It is centered around compiler emulation, data-flow analysis, theorem proving, pointer analysis, inter-procedural analysis. Today the tool is used inside IBM for defect detection.
In the immediate future we would like to push more into parallelization issues, security, specification mining and taking advantage of dynamic analysis.
In the distant future I am also interested in the general issues of software robustness and usability.
