Hi, you've reached the homepage of Daniel Balasubramanian. I'm a research scientist at the Institute for Software Integrated Systems.
I am the co-PI on a project called ISSTAC: Integrated Symbolic execution for Space-Time Analysis of Code. Our team is developing a cloud-based symbolic execution engine to find vulnerabilities in Java bytecode.
I also maintain a tool called Polyglot for analyzing Statechart models. I wrote a multithreaded symbolic execution engine that really improves the symbolic execution of these models.
Here's a picture of me visiting the hobbits.