Gabriel Moreno is a Senior Member of the Technical Staff at the Carnegie Mellon Software Engineering Institute (SEI). His research interests are centered around the development of theories, techniques, and tools to enable the development of software with predictable behavior. His work on predictability by construction focuses on achieving predictable timing behavior in component-based systems. Automated transformation from design into analysis model and the enforcement of theory assumptions with container component technology make the use of sound scheduling theory accessible to practitioners who are not necessarily performance experts. More recently, Gabriel has been focusing on the problem of resource allocation amongst selfish autonomous agents when the allocation decision depends on information that is privately held by the agents and, consequently, subject to strategic manipulation. In this case, the goal is to induce the behavior needed to predictably achieve a desired outcome such as the maximization of utility to all the agents. He's using computational mechanism design to tackle this kind of problems in both development and run time, for example, inducing truthful reports of developers' estimates and users' information needs.
Articles
An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors (with Dionisio de Niz), Proceedings of the 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012) (2012)
Power consumption is an increasing concern in real-time systems that operate on battery power or...
Architecture Evaluation without an Architecture: Experience with the Smart Grid (with Rick Kazman, Len Bass, and James Ivers), Proceedings of the International Conference on Software Engineering (ICSE) (2011)
This paper describes an analysis of some of the challenges facing one portion of the...
Designing for Incentives: Better Information Sharing for Better Software Engineering (with Mark Klein, David C. Parkes, and Kurt Wallnau), Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research (FoSER) (2010)
Software-reliant systems permeate all aspects of modern society. The resulting interconnectedness and associated complexity has...
Performance analysis of real-time component architectures: An enhanced model interchange approach (with Connie U. Smith), Performance Evaluation (2010)
Model interchange approaches support the analysis of software architecture and design by enabling a variety...
Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems (with Karthik Lakshmanan, Dionisio De Niz, and Ragunathan (Raj) Rajkumar), Proceedings of the International Conference on Distributed Computing Systems (ICDCS 2010) (2010)
Large-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed...
Technical Reports/Notes
Resource Allocation in Dynamic Environments (with Jeffrey Hansen, Scott Hissam, Craig Meyers, Daniel Plakosh, Joe Seibel, and Lutz Wrage), Technical Report CMU/SEI-2012-TR-011. Software Engineering Institute, Carnegie Mellon University (2012)
This technical report examines two challenges related to resource allocation that can negatively affect system...
Overview of the Lambda-* Performance Reasoning Frameworks (with Jeffery Hansen), Technical Report CMU/SEI-2008-TR-020. Software Engineering Institute, Carnegie Mellon University (2009)
The Predictable Assembly from Certifiable Code (PACC) Initiative at the Carnegie Mellon Software Engineering Institute...
Using Containers to Enforce Smart Constraints for Performance in Industrial Systems (with Scott A. Hissam and Kurt C. Wallnau), Technical Note CMU/SEI-2005-TN-040. Software Engineering Institute, Carnegie Mellon University (2005)
Today, software engineering is concerned less with individual programs than with large-scale networks of interacting...
Performance Property Theories for Predictable Assembly from Certifiable Components (PACC) (with Scott A. Hissam, Mark H. Klein, John Lehoczky, Paulo Merson, and Kurt C. Wallnau), Technical Report CMU/SEI-2004-TR-017. Software Engineering Institute, Carnegie Mellon University (2004)
This report develops a queueing-theoretic solution to predict, for a real-time system, the average-case latency...
Predictable Assembly of Substation Automation Systems: An Experiment Report (with Scott A. Hissam, John Hudak, James Ivers, Mark H. Klein, Magnus Larsson, Linda M. Northrop, Daniel Plakosh, Judith Stafford, Kurt C. Wallnau, and William G. Wood), Technical Report CMU/SEI-2002-TR-031. Software Engineering Institute, Carnegie Mellon University (2002)
The Predictable Assembly from Certifiable Components (PACC) Initiative at the Software Engineering Institute (SEI) is...