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 presenting the following paper at TLDI'09:

Static Extraction of Sound Hierarchical Runtime Object Graphs

I presented the following paper at PASTE'08:

A Field Study in Static Extraction of Runtime Architectures [Slides (PDF)]

I presented two formal 45-min research tool demonstrations at OOPSLA'08:

I finished in 3rd place at the ACM Student Research Competition at OOPSLA'08. My poster is entitled:

Static Extraction and Conformance Checking of the Runtime Architecture of Object-Oriented Systems

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