I am a Ph.D. candidate in the Ph.D. program in Software Engineering at Carnegie Mellon University. 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 help software architects and software engineers maintain intellectual control over the runtime architecture of their object-oriented systems.

Please see my research for a synopsis of the various projects and my publications. Also please refer to my software page.

News!

Getting ready to graduate. Stay tuned!

Taught a half-day tutorial at the SEI SATURN'09:

Practical Static Extraction and Conformance Checking of the Runtime Architecture of Object-Oriented Systems [Presentation (PDF)] [Handout (PDF)]

Presented the following paper at TLDI'09:

Static Extraction of Sound Hierarchical Runtime Object Graphs [Slides (PDF)]

Presented the following paper at PASTE'08:

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

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

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