I am a Ph.D. candidate in the Ph.D. program in Software Engineering. My advisor is Professor Jonathan Aldrich. Previously, I worked in the industry as a software engineer.

I am interested in using software architectures, programming language type systems and program analysis techniques to specify and enforce high-level architectural intent in source code. The ultimate goal is to ensure the conformance of an implementation to its as-designed runtime architecture.

News!

I am giving two tool demonstrations at OOPSLA'08. I hope to see you there.

Static Extraction of Sound Hierarchical Representations of Runtime Object Graphs. This is our new and improved architectural extraction tool. So come see the new features.
Statically Checking the Structural Conformance of a Runtime Architecture. This is our new tool that specializes our tool for synchronizing architectural views to checking the conformance of as-built and as-designed runtime architectures.

Note: We are also looking for industrial partners who might be interested in evaluating our tools. We have already conducted one such field study.

Contact Information

Institute for Software Research
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213

Email: mabiantoATcs.cmu.edu
Office: DOH 4301-C
Phone: (412) 268-1964