Fabio A. Oliveira           

I lead a research organization in the Hybrid Cloud Platform Department at IBM's T.J. Watson Research Center. My organization's teams of scientists and engineers tackle problems in programmability, manageability, scalability, security, and compliance of cloud, multi-cloud, and edge computing environments.

Our multi-disciplinary nature, with combined expertise in the Computer Science areas of Systems, Programming Languages, Software Engineering, and Machine Learning & Artificial Intelligence, enables us to approach research problems from different perspectives, sometimes leading to results at the intersection of two or more of those disciplines.

My research interests span systems, distributed systems, and cloud computing. Before joining IBM Research, I earned a Ph.D. degree in Computer Science from Rutgers University.

When not working, there is a good chance you will find me running somewhere. I enjoy endurance sports, in particular, running long distances. Participating in quite a few races keeps me motivated to continue training.

Publications

Iter8: Online Experimentation in the Cloud.
M. Toslali, S. Parthasarathy, F. Oliveira, H. Huang, and A. K. Coskun.
Proceedings of the ACM Symposium on Cloud Computing (ACM SoCC), November 2021.

Topology-aware Continuous Experimentation in Microservice-based Applications.
G. Schermann, F. Oliveira, E. Wittern, and P. Leitner. 
Proceedings of the International Conference on Service-Oriented Computing (ICSOC), November 2020.

JACKPOT: Online Experimentation of Cloud Microservices.
M. Toslali, S. Parthasarathy, F. Oliveira, and A. K. Coskun.
Proceedings of the Workshop on Hot Topics in Cloud Computing (HotCloud), July 2020.

Opvis: Extensible, Cross-platform Operational Visibility and Analytics for Cloud.
F. Oliveira, S. Suneja, S. Nadgowda, P. Nagpurkar, and C. Isci.
Proceedings of the ACM/IFIP/USENIX Middleware Conference (Middleware), December 2017.

Context-based Analytics - Establishing Explicit Links between Runtime Traces and Source Code.
J. Cito, F. Oliveira, P. Leitner, P. Nagpurkar, and H. Gall.
Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE - SEIP), May 2017.

Delivering Software with Agility and Quality in a Cloud Environment.
F. Oliveira, T. Eilam, P. Nagpurkar, C. Isci, M. Kalantar, W. Segmuller, and E. Snible.
IBM Journal of Research and Development 60(2-3), March 2016.

Weaver: Language and Runtime for Software-defined Environments.
M. Kalantar, F. Rosenberg, J. Doran, T. Eilam, M. Elder, F. Oliveira, E. Snible, and T. Roth.
IBM Journal of Research and Development 58(2-3), 2014.

Testing Idempotence for Infrastructure as Code.
W. Hummer, F. Rosenberg, F. Oliveira, and T. Eilam.
Proceedings of the ACM/IFIP/USENIX Middleware Conference (Middleware), December 2013.
Best student paper award.

AESON: A Model-driven and Fault Tolerant Runtime for IaaS Clouds.
D. Jayasinghe, F. Oliveira, F. Rosenberg, T. Eilam, C. Pu.
Proceedings of the IEEE International Conference on Services Computing (IEEE SCC), June 2013.

Semantically-rich Composition of Virtual Images.
F. Oliveira, T. Eilam, M. Kalantar, F. Rosenberg.
Proceedings of the IEEE International Conference on Cloud Computing (IEEE CLOUD), June 2012.

Barricade: Defending Systems Against Operator Mistakes.
F. Oliveira, A. Tjang, R. Bianchini, R. P. Martin, and T. Nguyen.
Proceedings of EuroSys 2010 (EuroSys), April 2010.

Model-based Validation for Internet Services.
A. Tjang, F. Oliveira, R. Bianchini, R. P. Martin, and T. Nguyen.
Proceedings of IEEE Symposium on Reliable Distributed Systems (SRDS), September 2009.

HAL: Towards Operator-Proof Systems Management.
F. Oliveira, R. Bianchini, R. P. Martin, and T. Nguyen.
Abstract for poster at the 21st Symposium on Operating Systems Principles (SOSP), October 2007.

Blutopia: Stackable Storage for Cluster Management.
F. Oliveira, G. Guardiola, J. Patel, and E. V. Hensbergen.
Proceedings of the IEEE International Conference on Cluster Computing (IEEE Cluster), September 2007.

A: An Assertion Language for Distributed Systems.
A. Tjang, F. Oliveira, R. P. Martin, and T. Nguyen.
Proceedings of the Workshop on Linguistic Support for Modern Operating Systems (PLOS) - (co-located with ASPLOS XII), October 2006.

Understanding and Validating Database System Administration.
F. Oliveira, K. Nagaraja, R. Bachwani, R. Bianchini, R. P. Martin, and T. Nguyen.
Proceedings of the USENIX Annual Technical Conference (USENIX ATC), June 2006.

Model-Based Validation for Dealing with Operator Mistakes.
K. Nagaraja, A. Tjang, F. Oliveira, R. Bianchini, R. P. Martin, and T. Nguyen.
Abstract for poster at the Symposium on Operating Systems Principles (SOSP), October 2005.

Human-Aware Computer System Design.
R. Bianchini, R. P. Martin, K. Nagaraja, T. Nguyen, and F. Oliveira.
Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS), June 2005.

Understanding and Dealing with Operator Mistakes in Internet Services.
K. Nagaraja, F. Oliveira, R. Bianchini, R. P. Martin, and T. Nguyen.
Proceedings of the International Symposium on Operating Systems Design and Implementation (OSDI), December 2004.

DECK-SCI: High-Performance Communication and Multithreading for SCI Clusters.
F. Oliveira, C. Rose, R. Avila, M. Barreto, and P. Navaux.
Proceedings of the IEEE International Conference on Cluster Computing (IEEE Cluster), October 2001.

Low-latency and Zero-Copy Message Passing Protocols for SCI-based clusters.
F. Oliveira, R. Avila, M. Barreto, and P. Navaux.
Proceedings of the Symposium on Computer Architecture and High-performance Computing (SBAC-PAD), September 2001.

The Scalable Coherent Interface (SCI) as an Alternative for Cluster Interconnection.
C. Rose, F. Oliveira, R. Avila, M. Barreto, and P. Navaux.
Proceedings of the Symposium on Computer Architecture and High-performance Computing (SBAC-PAD), Septmeber 2001.

DECK: an Environment for Parallel Programming on Clusters of Multiprocessors.
M. Barreto, F. Oliveira, R. Avila, and P. Navaux.
Proceedings of the Symposium on Computer Architecture and High-performance Computing (SBAC-PAD), 2000.