Carnegie Mellon University

Dr. Marwan Abi-Antoun (CS 2010)

Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Dr. Marwan Abi-Antoun is currently a Senior Software Engineering at The Mathworks, where he is a part of MATLAB Coder development, the code generation capability for the MATLAB language, used by both MATLAB and Simulink products.

His thesis, "Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure", contributed the first approach to statically extract a sound, hierarchical, runtime architecture from Java code, requiring only annotations, rather than a radical programming language.

Publications

Abi-Antoun, M. and Aldrich, J. Static Extraction of Sound Hierarchical Runtime Object Graphs. In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), 2009. An earlier version appeared as Carnegie Mellon University Technical Report CMU-ISR-08-127, March 2008.

Abi-Antoun, M. and Aldrich, J. Static Conformance Checking of Runtime Architectural Structure. Carnegie Mellon University Technical Report CMU-ISR-08-132. September 2008. [This report supersedes the earlier technical reportCMU-ISRI-07-119]

Abi-Antoun, M. and Aldrich, J. A Field Study in Static Extraction of Runtime Architectures. In 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2008. An earlier version appeared as Carnegie Mellon University Technical Report CMU-ISR-08-133, June 2008.

Abi-Antoun, M. and Aldrich, J. Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems. Carnegie Mellon University Technical Report CMU-ISRI-07-119R, December 2007.

Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B. and Garlan, D. Differencing and Merging of Architectural Views. In Automated Software Engineering Journal, Special Issue on Selected Papers from Automated Software Engineering (ASE'06), 15(1), pp. 35--74, 2008. [Preprint (PDF)] [Published Link] Extended version of ASE'06 paper.

Abi-Antoun, M. and Aldrich, J. Compile-Time Views of Execution Structure Based on Ownership. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with the European Conference on Object-Oriented Programming (ECOOP), 2007.

Abi-Antoun, M. and Aldrich, J. Ownership Domains in the Real World. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with the European Conference on Object-Oriented Programming (ECOOP), 2007.

Abi-Antoun, M., Wang, D. and Torr, P. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security (Short Paper). International Conference on Automated Software Engineering (ASE), pp. 393–396, 2007. An extended version appeared as Carnegie Mellon University Technical Report CMU-ISRI-06-124.

Abi-Antoun, M. Making Frameworks Work: a Project Retrospective (Practitioner Report). In Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2007.

Abi-Antoun, M., Aldrich, J., and Coelho, W. A Case Study in Re-engineering to Enforce Architectural Control Flow and Data Sharing. In Journal of Systems and Software, 80(2), pp. 240--264, 2007. [Published Link]

Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B. and Garlan, D. Differencing and Merging of Architectural Views. In Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006. An earlier version appeared as Carnegie Mellon University Technical Report CMU-ISRI-05-128R, August 2005.

Abi-Antoun, M., and Coelho, W. A Case Study in Incremental Architecture-Based Re-engineering of a Legacy Application. In Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA-5), 2005.

Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B. and Nahas, N. Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (Position Paper). Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA-5), 2005.

Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B., Nahas, N., and Tseng, T. Improving System Dependability by Enforcing Architectural Intent. In Proceedings of the Workshop on Architecting Dependable Systems (WADS), 2005. Additional details available at: http://www.cs.cmu.edu/~mabianto/publications.html