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

PDF

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...

 

PDF

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...

 

PDF

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...

 

Link

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...

 

PDF

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

Link

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...

 

PDF

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...

 

PDF

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...

 

PDF

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...

 

PDF

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...