DB: Browsing Object-Oriented Databases over the Web. - Carlos A. Varela; D. Nekhayev; P. Chandrasekharan; C. Krishnan; V. Govindan; D. Modgil; S. Siddiqui; D. Lebedenko; Marianne Winslett (WWW (Fall), 1995)

Modular Heterogeneous System Development: A Critical Analysis of Java. - Gul Agha; Mark Astley; Jamil A. Sheikh; Carlos A. Varela (Heterogeneous Computing Workshop, 1998)

What after Java? From Objects to Actors. - Carlos A. Varela; Gul Agha (Comput. Networks, 1998)

A Hierarchical Model for Coordination of Concurrent Activities. - Carlos A. Varela; Gul Agha (COORDINATION, 1999)

Agent Naming and Coordination: Actor Based Models and Infrastructures. - Gul Agha; Nadeem Jamali; Carlos A. Varela (Coordination of Internet Agents: Models, Technologies, and Applications, 2001)

Programming Dynamically Reconfigurable Open systems with SALSA. - Carlos A. Varela; Gul Agha (ACM SIGPLAN Notices, 2001)

Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination - Carlos A. Varela (2001)

Towards a Programming Model for Building Reliable Systems with Distributed State. - John Field; Carlos A. Varela (FOCLASA, 2002)

Adaptive Computation over Dynamic and Heterogeneous Networks. - Kaoutar El Maghraoui; Joseph E. Flaherty; Boleslaw K. Szymanski; James D. Teresco; Carlos A. Varela (PPAM, 2003)

Dynamically Reconfigurable Scientific Computing on Large-Scale Heterogeneous Grids. - Boleslaw K. Szymanski; Carlos A. Varela; John Cummings; Jim Napolitano (PPAM, 2003)

Load Balancing of Autonomous Actors over Dynamic Networks. - Travis J. Desell; Kaoutar El Maghraoui; Carlos A. Varela (HICSS, 2004)

Towards a middleware framework for dynamically reconfigurable scietific computing. - Kaoutar El Maghraoui; Travis J. Desell; Boleslaw K. Szymanski; James D. Teresco; Carlos A. Varela (High Performance Computing Workshop, 2004)

OverView: A Framework for Generic Online Visualization of Distributed Systems. - Travis J. Desell; Harihar Narasimha-Iyer; Carlos A. Varela; Abe Stephens (eTX, 2004)

Worldwide Computing Middleware. - Gul A. Agha; Carlos A. Varela (The Practical Handbook of Internet Computing, 2004)

Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. - John Field; Carlos A. Varela (POPL, 2005)

An Architecture for Reconfigurable Iterative MPI Applications in Dynamic Environments. - Kaoutar El Maghraoui; Boleslaw K. Szymanski; Carlos A. Varela (PPAM, 2005)

Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. - Carlos A. Varela; Paolo Ciancarini; Kenjiro Taura (Sci. Program., 2005)

Approaches to Architecture-Aware Parallel Scientific Computation. - James D. Teresco; Joseph E. Flaherty; Scott B. Baden; Jamal Faik; Sébastien Lacour; Manish Parashar; Valerie E. Taylor; Carlos A. Varela; Xingfu Wu; Rick Stevens; Nicholas T. Karonis; Ian T. Foster; et al. (Parallel Processing for Scientific Computing, 2006)

A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids. - Wei-Jen Wang; Kaoutar El Maghraoui; John Cummings; Jim Napolitano; Boleslaw K. Szymanski; Carlos A. Varela (e-Science, 2006)

Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach. - Wei-Jen Wang; Carlos A. Varela (GPC, 2006)

The Internet Operating System: Middleware for Adaptive Distributed Computing. - Kaoutar El Maghraoui; Travis J. Desell; Boleslaw K. Szymanski; Carlos A. Varela (Int. J. High Perform. Comput. Appl., 2006)

Dynamic Malleability in Iterative MPI Applications. - Kaoutar El Maghraoui; Travis J. Desell; Boleslaw K. Szymanski; Carlos A. Varela (CCGRID, 2007)

Distributed and Generic Maximum Likelihood Evaluation. - Travis J. Desell; Nathan Cole; Malik Magdon-Ismail; Heidi Jo Newberg; Boleslaw K. Szymanski; Carlos A. Varela (eScience, 2007)

The Effects of Heterogeneity on Asynchronous Panmictic Genetic Search. - Boleslaw K. Szymanski; Travis J. Desell; Carlos A. Varela (PPAM, 2007)

Malleable applications for scalable high performance computing. - Travis J. Desell; Kaoutar El Maghraoui; Carlos A. Varela (Clust. Comput., 2007)

An asynchronous hybrid genetic-simplex search for modeling the Milky Way galaxy using volunteer computing. - Travis J. Desell; Boleslaw K. Szymanski; Carlos A. Varela (GECCO, 2008)

Asynchronous genetic search for scientific modeling on large-scale heterogeneous environments. - Travis J. Desell; Boleslaw K. Szymanski; Carlos A. Varela (IPDPS, 2008)

Enabling Computational Steering with an Asynchronous-Iterative Computation Framework. - Alexandre di Costanzo; Chao Jin 001; Carlos A. Varela; Rajkumar Buyya (eScience, 2009)

Robust Asynchronous Optimization for Volunteer Computing Grids. - Travis J. Desell; Malik Magdon-Ismail; Boleslaw K. Szymanski; Carlos A. Varela; Heidi Jo Newberg; Nathan Cole (eScience, 2009)

Accelerating the MilkyWay@Home Volunteer Computing Project with GPUs. - Travis J. Desell; Anthony Waters; Malik Magdon-Ismail; Boleslaw K. Szymanski; Carlos A. Varela; Matthew Newby; Heidi Jo Newberg; Andreas Przystawik; David P. Anderson (PPAM (1), 2009)

Malleable iterative MPI applications. - Kaoutar El Maghraoui; Travis J. Desell; Boleslaw K. Szymanski; Carlos A. Varela (Concurr. Comput. Pract. Exp., 2009)

An analysis of massively distributed evolutionary algorithms. - Travis J. Desell; David P. Anderson; Malik Magdon-Ismail; Heidi Jo Newberg; Boleslaw K. Szymanski; Carlos A. Varela (IEEE Congress on Evolutionary Computation, 2010)

Validating Evolutionary Algorithms on Volunteer Computing Grids. - Travis J. Desell; Malik Magdon-Ismail; Boleslaw K. Szymanski; Carlos A. Varela; Heidi Jo Newberg; David P. Anderson (DAIS, 2010)

Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations. - Wei-Jen Wang; Carlos A. Varela; Fu-Hau Hsu; Cheng-Hsien Tang (GPC, 2010)

Impact of virtual machine granularity on cloud computing workloads performance. - Ping Wang; Wei Huang; Carlos A. Varela (GRID, 2010)

Evolutionary Algorithms on Volunteer Computing Platforms: The MilkyWay@Home Project. - Nathan Cole; Travis J. Desell; Daniel Lombraña Gonzalez; Francisco Fernández de Vega; Malik Magdon-Ismail; Heidi Jo Newberg; Boleslaw K. Szymanski; Carlos A. Varela (Parallel and Distributed Computational Intelligence, 2010)

Evolving N-Body Simulations to Determine the Origin and Structure of the Milky Way Galaxy's Halo Using Volunteer Computing. - Travis J. Desell; Malik Magdon-Ismail; Boleslaw K. Szymanski; Carlos A. Varela; Benjamin A. Willett; Matthew Arsenault; Heidi Jo Newberg (IPDPS Workshops, 2011)

Light-weight adaptive task offloading from smartphones to nearby computational resources. - Shigeru Imai; Carlos A. Varela (RACS, 2011)

Impact of Cloud Computing Virtualization Strategies on Workloads' Performance. - Qingling Wang; Carlos A. Varela (UCC, 2011)

Modular Visualization of Distributed Systems. - Gustavo Guevara; Travis J. Desell; Jason LaPorte; Carlos A. Varela (CLEI Electron. J., 2011)

Use of run time predictions for automatic co-allocation of multi-cluster resources for iterative parallel applications. - Marco Aurélio Stelmar Netto; Christian Vecchiola; Michael Kirley; Carlos A. Varela; Rajkumar Buyya (J. Parallel Distributed Comput., 2011)

Elastic Scalable Cloud Computing Using Application-Level Migration. - Shigeru Imai; Thomas Chestna; Carlos A. Varela (UCC, 2012)

A Programming Model for Spatio-temporal Data Streaming Applications. - Shigeru Imai; Carlos A. Varela (ICCS, 2012)

Structured reasoning about actor systems. - David R. Musser; Carlos A. Varela (AGERE!@SPLASH, 2013)

Self-Healing Spatio-temporal Data Streams Using Error Signatures. - Shigeru Imai; Richard Klockowski; Carlos A. Varela (CSE, 2013)

Autonomous Data Error Detection and Recovery in Streaming Applications. - Richard Klockowski; Shigeru Imai; Colin L. Rice; Carlos A. Varela (ICCS, 2013)

Accurate Resource Prediction for Hybrid IaaS Clouds Using Workload-Tailored Elastic Compute Units. - Shigeru Imai; Thomas Chestna; Carlos A. Varela (UCC, 2013)

Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing. - Phillip Kuang; John Field; Carlos A. Varela (AGERE!@SPLASH, 2014)

SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency. - Travis J. Desell; Carlos A. Varela (Concurrent Objects and Beyond, 2014)

AGERE!: programming based on actors, agents, and decentralized control. - Alessandro Ricci; Elisa Gonzalez Boix; Philipp Haller; Carlos A. Varela (SPLASH (Companion Volume), 2014)

Augmenting Performance For Distributed Cloud Storage. - Matthew B. Hancock; Carlos A. Varela (CCGRID, 2015)

Cost-Efficient High-Performance Internet-Scale Data Analytics over Multi-cloud Environments. - Shigeru Imai; Stacy Patterson; Carlos A. Varela (CCGRID, 2015)

Dynamic Data-driven Avionics Systems: Inferring Failure Modes from Data Streams. - Shigeru Imai; Alessandro Galli; Carlos A. Varela (ICCS, 2015)

Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015). - Elisa Gonzalez Boix; Philipp Haller; Alessandro Ricci; Carlos A. Varela (SPLASH (Companion Volume), 2015)

Elastic Virtual Machine Scheduling for Continuous Air Traffic Optimization. - Shigeru Imai; Stacy Patterson; Carlos A. Varela (CCGrid, 2016)

Cost-Efficient Elastic Stream Processing Using Application-Agnostic Performance Prediction. - Shigeru Imai; Stacy Patterson; Carlos A. Varela (CCGrid, 2016)

Maximum Sustainable Throughput Prediction for Data Stream Processing over Public Clouds. - Shigeru Imai; Stacy Patterson; Carlos A. Varela (CCGrid, 2017)

Global Snapshot of a Distributed System Running on Virtual Machines. - Carlos E. Gómez; Harold E. Castro; Carlos A. Varela (SBAC-PAD, 2017)

A Robust Asynchronous Newton Method for Massive Scale Computing Systems. - Travis Desell; Malik Magdon-Ismail; Heidi Jo Newberg; Lee A. Newberg; Boleslaw K. Szymanski; Carlos A. Varela (CoRR, 2017)

Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies. - Saswata Paul; Frederick Hole; Alexandra Zytek; Carlos A. Varela (CoRR, 2017)

Uncertainty-Aware Elastic Virtual Machine Scheduling for Stream Processing Systems. - Shigeru Imai; Stacy Patterson; Carlos A. Varela (CCGrid, 2018)

A Performance Study of Geo-Distributed IoT Data Aggregation for Fog Computing. - Shigeru Imai; Carlos A. Varela; Stacy Patterson (UCC Companion, 2018)

Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics. - Sida Chen; Shigeru Imai; Wennan Zhu; Carlos A. Varela (Handbook of Dynamic Data Driven Applications Systems, 2018)

A Survey on Big Data Analytics Solutions Deployment. - Camilo Castellanos; Boris Pérez; Carlos A. Varela; María-Del-Pilar Villamil; Darío Correal (ECSA, 2019)

Measuring performance quality scenarios in big data analytics applications: a DevOps and domain-specific model approach. - Camilo Castellanos; Carlos A. Varela; Darío Correal (ECSA (Companion), 2019)

Dynamic data-driven learning for self-healing avionics. - Shigeru Imai; Sida Chen; Wennan Zhu; Carlos A. Varela (Clust. Comput., 2019)

A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade. - Rajkumar Buyya; Satish Narayana Srirama; Giuliano Casale; Rodrigo N. Calheiros; Yogesh Simmhan; Blesson Varghese; Erol Gelenbe; Bahman Javadi; Luis Miguel Vaquero; Marco A. S. Netto; Adel Nadjaran Toosi; Maria Alejandra Rodriguez; et al. (ACM Comput. Surv., 2019)

Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications. - Anirban Das; Andrew Leaf; Carlos A. Varela; Stacy Patterson (CLOUD, 2020)

Data-Driven State Awareness for Fly-by-Feel Aerial Vehicles via Adaptive Time Series and Gaussian Process Regression Models. - Shabbir Ahmed; Ahmad Amer; Carlos A. Varela; Fotis Kopsaftopoulos (DDDAS, 2020)

Towards Provably Correct Probabilistic Flight Systems. - Elkin Cruz-Camacho; Saswata Paul; Fotis Kopsaftopoulos; Carlos A. Varela (DDDAS, 2020)

Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. - Saswata Paul; Fotis Kopsaftopoulos; Stacy Patterson; Carlos A. Varela (DDDAS, 2020)

A Model-Driven Architectural Design Method for Big Data Analytics Applications. - Camilo Castellanos; Boris Pérez; Darío Correal; Carlos A. Varela (ICSA Companion, 2020)

ACCORDANT: A Domain Specific Model and DevOpsApproach for Big Data Analytics Architectures. - Camilo Castellanos; Carlos A. Varela; Darío Correal (CoRR, 2020)

Summary: A Domain Specific-Model and DevOps Approach for Big Data Analytics Architectures (short paper). - Camilo Castellanos; Carlos A. Varela; Darío Correal (ECSA (Companion), 2021)

Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. - Saswata Paul; Gul A. Agha; Stacy Patterson; Carlos A. Varela (NFM, 2021)

Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. - Saswata Paul; Stacy Patterson; Carlos A. Varela (FMAS, 2021)

ACCORDANT: A domain specific-model and DevOps approach for big data analytics architectures. - Camilo Castellanos; Carlos A. Varela; Darío Correal (J. Syst. Softw., 2021)

A Continuum Approach for Collaborative Task Processing in UAV MEC Networks. - Lorson Blair; Carlos A. Varela; Stacy Patterson (CLOUD, 2022)

On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. - Peiyuan Zhou; Saswata Paul; Airin Dutta; Carlos A. Varela; Fotis Kopsaftopoulos (DDDAS, 2022)

Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models. - Elkin Cruz-Camacho; Ahmad Amer; Fotis Kopsaftopoulos; Carlos A. Varela (J. Aerosp. Inf. Syst., 2023)

Eventual consensus in Synod: verification using a failure-aware actor model. - Saswata Paul; Gul Agha; Stacy Patterson; Carlos A. Varela (Innov. Syst. Softw. Eng., 2023)

Formal verification of timely knowledge propagation in airborne networks. - Saswata Paul; Chris McCarthy; Stacy Patterson; Carlos A. Varela (Sci. Comput. Program., 2025)