Carlos A. Varela

According to our database, Carlos A. Varela authored at least 82 papers between 1996 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal verification of timely knowledge propagation in airborne networks.

Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos A. Varela

Sci. Comput. Program., 2025

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., December, 2023

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

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

Proceedings of the Dynamic Data Driven Applications Systems - 4th International Conference, 2022

A Continuum Approach for Collaborative Task Processing in UAV MEC Networks.

Lorson Blair, Carlos A. Varela, Stacy Patterson

Proceedings of the IEEE 15th International Conference on Cloud Computing, 2022

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

Formal Guarantees of Timely Progress for Distributed Knowledge Propagation.

Saswata Paul, Stacy Patterson, Carlos A. Varela

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model.

Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Summary: A Domain Specific-Model and DevOps Approach for Big Data Analytics Architectures (short paper).

Camilo Castellanos, Carlos A. Varela, Darío Correal

Proceedings of the ECSA 2021 Companion Volume, 2021

2020

ACCORDANT: A Domain Specific Model and DevOpsApproach for Big Data Analytics Architectures.

Camilo Castellanos, Carlos A. Varela, Darío Correal

CoRR, 2020

A Model-Driven Architectural Design Method for Big Data Analytics Applications.

Camilo Castellanos, Boris Pérez, Darío Correal, Carlos A. Varela

Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms.

Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, Carlos A. Varela

Proceedings of the Dynamic Data Driven Applications Systems, 2020

Towards Provably Correct Probabilistic Flight Systems.

Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, Carlos A. Varela

Proceedings of the Dynamic Data Driven Applications Systems, 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

Proceedings of the Dynamic Data Driven Applications Systems, 2020

Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications.

Anirban Das, Andrew Leaf, Carlos A. Varela, Stacy Patterson

Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

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, Ignacio Martín Llorente, Sabrina De Capitani di Vimercati, Pierangela Samarati, Dejan S. Milojicic, Carlos A. Varela, Rami Bahsoon, Marcos Dias de Assunção, Omer F. Rana, Wanlei Zhou, Hai Jin, Wolfgang Gentzsch, Albert Y. Zomaya, Haiying Shen

ACM Comput. Surv., 2019

Dynamic data-driven learning for self-healing avionics.

Shigeru Imai, Sida Chen, Wennan Zhu, Carlos A. Varela

Clust. Comput., 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

Proceedings of the 13th European Conference on Software Architecture, 2019

A Survey on Big Data Analytics Solutions Deployment.

Camilo Castellanos, Boris Pérez, Carlos A. Varela, María-Del-Pilar Villamil, Darío Correal

Proceedings of the Software Architecture - 13th European Conference, 2019

2018

Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics.

Sida Chen, Shigeru Imai, Wennan Zhu, Carlos A. Varela

Proceedings of the Handbook of Dynamic Data Driven Applications Systems., 2018

A Performance Study of Geo-Distributed IoT Data Aggregation for Fog Computing.

Shigeru Imai, Carlos A. Varela, Stacy Patterson

Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018

Uncertainty-Aware Elastic Virtual Machine Scheduling for Stream Processing Systems.

Shigeru Imai, Stacy Patterson, Carlos A. Varela

Proceedings of the 18th IEEE/ACM International Symposium on Cluster, 2018

2017

Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies.

Saswata Paul, Frederick Hole, Alexandra Zytek, Carlos A. Varela

CoRR, 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

Global Snapshot of a Distributed System Running on Virtual Machines.

Carlos E. Gómez, Harold E. Castro, Carlos A. Varela

Proceedings of the 29th International Symposium on Computer Architecture and High Performance Computing, 2017

Maximum Sustainable Throughput Prediction for Data Stream Processing over Public Clouds.

Shigeru Imai, Stacy Patterson, Carlos A. Varela

Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

2016

Cost-Efficient Elastic Stream Processing Using Application-Agnostic Performance Prediction.

Shigeru Imai, Stacy Patterson, Carlos A. Varela

Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

Elastic Virtual Machine Scheduling for Continuous Air Traffic Optimization.

Shigeru Imai, Stacy Patterson, Carlos A. Varela

Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

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

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Dynamic Data-driven Avionics Systems: Inferring Failure Modes from Data Streams.

Shigeru Imai, Alessandro Galli, Carlos A. Varela

Proceedings of the International Conference on Computational Science, 2015

Cost-Efficient High-Performance Internet-Scale Data Analytics over Multi-cloud Environments.

Shigeru Imai, Stacy Patterson, Carlos A. Varela

Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

Augmenting Performance For Distributed Cloud Storage.

Matthew B. Hancock, Carlos A. Varela

Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

2014

AGERE!: programming based on actors, agents, and decentralized control.

Alessandro Ricci, Elisa Gonzalez Boix, Philipp Haller, Carlos A. Varela

Proceedings of the SPLASH'14, 2014

SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency.

Travis J. Desell, Carlos A. Varela

Proceedings of the Concurrent Objects and Beyond, 2014

Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing.

Phillip Kuang, John Field, Carlos A. Varela

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013

Accurate Resource Prediction for Hybrid IaaS Clouds Using Workload-Tailored Elastic Compute Units.

Shigeru Imai, Thomas Chestna, Carlos A. Varela

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

Autonomous Data Error Detection and Recovery in Streaming Applications.

Richard Klockowski, Shigeru Imai, Colin L. Rice, Carlos A. Varela

Proceedings of the International Conference on Computational Science, 2013

Self-Healing Spatio-temporal Data Streams Using Error Signatures.

Shigeru Imai, Richard Klockowski, Carlos A. Varela

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

Structured reasoning about actor systems.

David R. Musser, Carlos A. Varela

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012

A Programming Model for Spatio-temporal Data Streaming Applications.

Shigeru Imai, Carlos A. Varela

Proceedings of the International Conference on Computational Science, 2012

Elastic Scalable Cloud Computing Using Application-Level Migration.

Shigeru Imai, Thomas Chestna, Carlos A. Varela

Proceedings of the IEEE Fifth International Conference on Utility and Cloud Computing, 2012

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

Modular Visualization of Distributed Systems.

Gustavo Guevara, Travis J. Desell, Jason LaPorte, Carlos A. Varela

CLEI Electron. J., 2011

Impact of Cloud Computing Virtualization Strategies on Workloads' Performance.

Qingling Wang, Carlos A. Varela

Proceedings of the IEEE 4th International Conference on Utility and Cloud Computing, 2011

Light-weight adaptive task offloading from smartphones to nearby computational resources.

Shigeru Imai, Carlos A. Varela

Proceedings of the Research in Applied Computation Symposium, 2011

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

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

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

Proceedings of the Parallel and Distributed Computational Intelligence, 2010

Impact of virtual machine granularity on cloud computing workloads performance.

Ping Wang, Wei Huang, Carlos A. Varela

Proceedings of the 2010 11th IEEE/ACM International Conference on Grid Computing, 2010

Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations.

Wei-Jen Wang, Carlos A. Varela, Fu-Hau Hsu, Cheng-Hsien Tang

Proceedings of the Advances in Grid and Pervasive Computing, 5th International Conference, 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

Proceedings of the Distributed Applications and Interoperable Systems, 2010

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

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009

Malleable iterative MPI applications.

Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela

Concurr. Comput. Pract. Exp., 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

Proceedings of the Parallel Processing and Applied Mathematics, 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

Proceedings of the Fifth International Conference on e-Science, 2009

Enabling Computational Steering with an Asynchronous-Iterative Computation Framework.

Alexandre di Costanzo, Chao Jin, Carlos A. Varela, Rajkumar Buyya

Proceedings of the Fifth International Conference on e-Science, 2009

2008

Asynchronous genetic search for scientific modeling on large-scale heterogeneous environments.

Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

An asynchronous hybrid genetic-simplex search for modeling the Milky Way galaxy using volunteer computing.

Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

2007

Malleable applications for scalable high performance computing.

Travis J. Desell, Kaoutar El Maghraoui, Carlos A. Varela

Clust. Comput., 2007

The Effects of Heterogeneity on Asynchronous Panmictic Genetic Search.

Boleslaw K. Szymanski, Travis J. Desell, Carlos A. Varela

Proceedings of the Parallel Processing and Applied Mathematics, 2007

Distributed and Generic Maximum Likelihood Evaluation.

Travis J. Desell, Nathan Cole, Malik Magdon-Ismail, Heidi Jo Newberg, Boleslaw K. Szymanski, Carlos A. Varela

Proceedings of the Third International Conference on e-Science and Grid Computing, 2007

Dynamic Malleability in Iterative MPI Applications.

Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela

Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

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

Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach.

Wei-Jen Wang, Carlos A. Varela

Proceedings of the Advances in Grid and Pervasive 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

Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

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, Luis G. Gervasio, Travis Desell, Kaoutar El Maghraoui

Proceedings of the Parallel Processing for Scientific Computing, 2006

2005

Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments.

Carlos A. Varela, Paolo Ciancarini, Kenjiro Taura

Sci. Program., 2005

An Architecture for Reconfigurable Iterative MPI Applications in Dynamic Environments.

Kaoutar El Maghraoui, Boleslaw K. Szymanski, Carlos A. Varela

Proceedings of the Parallel Processing and Applied Mathematics, 2005

Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments.

John Field, Carlos A. Varela

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

Worldwide Computing Middleware.

Gul A. Agha, Carlos A. Varela

Proceedings of the Practical Handbook of Internet Computing., 2004

OverView: A Framework for Generic Online Visualization of Distributed Systems.

Travis J. Desell, Harihar Narasimha-Iyer, Carlos A. Varela, Abe Stephens

Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, 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

Proceedings of the Grid Computing: The New Frontier of High Performance Computing [post-proceedings of the High Performance Computing Workshop, 2004

Load Balancing of Autonomous Actors over Dynamic Networks.

Travis J. Desell, Kaoutar El Maghraoui, Carlos A. Varela

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

2003

Dynamically Reconfigurable Scientific Computing on Large-Scale Heterogeneous Grids.

Boleslaw K. Szymanski, Carlos A. Varela, John Cummings, Jim Napolitano

Proceedings of the Parallel Processing and Applied Mathematics, 2003

Adaptive Computation over Dynamic and Heterogeneous Networks.

Kaoutar El Maghraoui, Joseph E. Flaherty, Boleslaw K. Szymanski, James D. Teresco, Carlos A. Varela

Proceedings of the Parallel Processing and Applied Mathematics, 2003

2002

Towards a Programming Model for Building Reliable Systems with Distributed State.

John Field, Carlos A. Varela

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

2001

Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination

Carlos A. Varela

PhD thesis, 2001

Programming Dynamically Reconfigurable Open systems with SALSA.

Carlos A. Varela, Gul Agha

ACM SIGPLAN Notices, 2001

Agent Naming and Coordination: Actor Based Models and Infrastructures.

Gul Agha, Nadeem Jamali, Carlos A. Varela

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

1999

A Hierarchical Model for Coordination of Concurrent Activities.

Carlos A. Varela, Gul Agha

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

What after Java? From Objects to Actors.

Carlos A. Varela, Gul Agha

Comput. Networks, 1998

Modular Heterogeneous System Development: A Critical Analysis of Java.

Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela

Proceedings of the Seventh Heterogeneous Computing Workshop, 1998

1996

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

World Wide Web J., 1996