default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarlos A. Varela
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j15]Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos A. Varela:
Formal verification of timely knowledge propagation in airborne networks. Sci. Comput. Program. 239: 103184 (2025)- 2023
- [j14]Saswata Paul
, Gul Agha, Stacy Patterson, Carlos A. Varela:
Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. 19(4): 395-410 (2023) - [j13]Elkin Cruz-Camacho, Ahmad Amer, Fotis Kopsaftopoulos, Carlos A. Varela:
Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models. J. Aerosp. Inf. Syst. 20(1): 3-16 (2023) - 2022
- [c59]Lorson Blair, Carlos A. Varela, Stacy Patterson:
A Continuum Approach for Collaborative Task Processing in UAV MEC Networks. CLOUD 2022: 247-256 - [c58]Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos A. Varela, Fotis Kopsaftopoulos:
On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. DDDAS 2022: 44-52 - [i7]Lorson Blair, Carlos A. Varela, Stacy Patterson:
A Continuum Approach for Collaborative Task Processing in UAV MEC Networks. CoRR abs/2206.02950 (2022) - 2021
- [j12]Camilo Castellanos, Carlos A. Varela, Darío Correal:
ACCORDANT: A domain specific-model and DevOps approach for big data analytics architectures. J. Syst. Softw. 172: 110869 (2021) - [c57]Camilo Castellanos, Carlos A. Varela, Darío Correal:
Summary: A Domain Specific-Model and DevOps Approach for Big Data Analytics Architectures (short paper). ECSA (Companion) 2021 - [c56]Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM 2021: 249-267 - [c55]Saswata Paul, Stacy Patterson, Carlos A. Varela:
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. FMAS 2021: 73-91 - [i6]Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR abs/2103.14576 (2021) - 2020
- [c54]Anirban Das, Andrew Leaf, Carlos A. Varela, Stacy Patterson:
Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications. CLOUD 2020: 609-618 - [c53]Shabbir Ahmed, Ahmad Amer, Carlos A. Varela, Fotis Kopsaftopoulos:
Data-Driven State Awareness for Fly-by-Feel Aerial Vehicles via Adaptive Time Series and Gaussian Process Regression Models. DDDAS 2020: 57-65 - [c52]Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, Carlos A. Varela:
Towards Provably Correct Probabilistic Flight Systems. DDDAS 2020: 236-244 - [c51]Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, Carlos A. Varela:
Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. DDDAS 2020: 245-252 - [c50]Camilo Castellanos, Boris Pérez, Darío Correal, Carlos A. Varela:
A Model-Driven Architectural Design Method for Big Data Analytics Applications. ICSA Companion 2020: 89-94 - [i5]Anirban Das, Andrew Leaf, Carlos A. Varela, Stacy Patterson:
Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications. CoRR abs/2006.03720 (2020) - [i4]Camilo Castellanos, Carlos A. Varela, Darío Correal:
ACCORDANT: A Domain Specific Model and DevOpsApproach for Big Data Analytics Architectures. CoRR abs/2011.08268 (2020)
2010 – 2019
- 2019
- [j11]Shigeru Imai, Sida Chen, Wennan Zhu, Carlos A. Varela:
Dynamic data-driven learning for self-healing avionics. Clust. Comput. 22(Suppl 1): 2187-2210 (2019) - [j10]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:
A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade. ACM Comput. Surv. 51(5): 105:1-105:38 (2019) - [c49]Camilo Castellanos, Carlos A. Varela, Darío Correal:
Measuring performance quality scenarios in big data analytics applications: a DevOps and domain-specific model approach. ECSA (Companion) 2019: 165-172 - [c48]Camilo Castellanos, Boris Pérez, Carlos A. Varela, María-Del-Pilar Villamil, Darío Correal:
A Survey on Big Data Analytics Solutions Deployment. ECSA 2019: 195-210 - 2018
- [c47]Shigeru Imai, Stacy Patterson, Carlos A. Varela:
Uncertainty-Aware Elastic Virtual Machine Scheduling for Stream Processing Systems. CCGrid 2018: 62-71 - [c46]Shigeru Imai, Carlos A. Varela, Stacy Patterson:
A Performance Study of Geo-Distributed IoT Data Aggregation for Fog Computing. UCC Companion 2018: 278-283 - [p4]Sida Chen, Shigeru Imai, Wennan Zhu, Carlos A. Varela:
Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics. Handbook of Dynamic Data Driven Applications Systems 2018: 97-121 - 2017
- [c45]Shigeru Imai, Stacy Patterson, Carlos A. Varela:
Maximum Sustainable Throughput Prediction for Data Stream Processing over Public Clouds. CCGrid 2017: 504-513 - [c44]Carlos E. Gómez, Harold E. Castro, Carlos A. Varela:
Global Snapshot of a Distributed System Running on Virtual Machines. SBAC-PAD 2017: 169-176 - [i3]Travis Desell, Malik Magdon-Ismail, Heidi Jo Newberg, Lee A. Newberg, Boleslaw K. Szymanski, Carlos A. Varela:
A Robust Asynchronous Newton Method for Massive Scale Computing Systems. CoRR abs/1702.02204 (2017) - [i2]Saswata Paul, Frederick Hole, Alexandra Zytek, Carlos A. Varela:
Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies. CoRR abs/1711.00716 (2017) - [i1]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:
A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade. CoRR abs/1711.09123 (2017) - 2016
- [c43]Shigeru Imai, Stacy Patterson, Carlos A. Varela:
Elastic Virtual Machine Scheduling for Continuous Air Traffic Optimization. CCGrid 2016: 183-186 - [c42]Shigeru Imai, Stacy Patterson, Carlos A. Varela:
Cost-Efficient Elastic Stream Processing Using Application-Agnostic Performance Prediction. CCGrid 2016: 604-607 - 2015
- [c41]Shigeru Imai, Stacy Patterson, Carlos A. Varela:
Cost-Efficient High-Performance Internet-Scale Data Analytics over Multi-cloud Environments. CCGRID 2015: 793-796 - [c40]Matthew B. Hancock, Carlos A. Varela:
Augmenting Performance For Distributed Cloud Storage. CCGRID 2015: 1189-1192 - [c39]Shigeru Imai, Alessandro Galli, Carlos A. Varela:
Dynamic Data-driven Avionics Systems: Inferring Failure Modes from Data Streams. ICCS 2015: 1665-1674 - [c38]Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela:
Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015). SPLASH (Companion Volume) 2015: 99-100 - [e2]Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela:
Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh, PA, USA, October 26, 2015. ACM 2015, ISBN 978-1-4503-3901-8 [contents] - 2014
- [c37]Phillip Kuang, John Field, Carlos A. Varela:
Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing. AGERE!@SPLASH 2014: 81-93 - [c36]Travis J. Desell, Carlos A. Varela:
SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency. Concurrent Objects and Beyond 2014: 144-166 - [c35]Alessandro Ricci, Elisa Gonzalez Boix, Philipp Haller, Carlos A. Varela:
AGERE!: programming based on actors, agents, and decentralized control. SPLASH (Companion Volume) 2014: 69-70 - [e1]Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela:
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE! 2014, Portland, OR, USA, October 20, 2014. ACM 2014, ISBN 978-1-4503-2189-1 [contents] - 2013
- [c34]David R. Musser, Carlos A. Varela:
Structured reasoning about actor systems. AGERE!@SPLASH 2013: 37-48 - [c33]Shigeru Imai, Richard Klockowski, Carlos A. Varela:
Self-Healing Spatio-temporal Data Streams Using Error Signatures. CSE 2013: 957-964 - [c32]Richard Klockowski, Shigeru Imai, Colin L. Rice, Carlos A. Varela:
Autonomous Data Error Detection and Recovery in Streaming Applications. ICCS 2013: 2036-2045 - [c31]Shigeru Imai, Thomas Chestna, Carlos A. Varela:
Accurate Resource Prediction for Hybrid IaaS Clouds Using Workload-Tailored Elastic Compute Units. UCC 2013: 171-178 - 2012
- [c30]Shigeru Imai, Thomas Chestna, Carlos A. Varela:
Elastic Scalable Cloud Computing Using Application-Level Migration. UCC 2012: 91-98 - [c29]Shigeru Imai, Carlos A. Varela:
A Programming Model for Spatio-temporal Data Streaming Applications. ICCS 2012: 1139-1148 - 2011
- [j9]Gustavo Guevara, Travis J. Desell, Jason LaPorte, Carlos A. Varela:
Modular Visualization of Distributed Systems. CLEI Electron. J. 14(1) (2011) - [j8]Marco Aurélio Stelmar Netto, Christian Vecchiola, Michael Kirley, Carlos A. Varela, Rajkumar Buyya:
Use of run time predictions for automatic co-allocation of multi-cluster resources for iterative parallel applications. J. Parallel Distributed Comput. 71(10): 1388-1399 (2011) - [c28]Travis J. Desell, Malik Magdon-Ismail, Boleslaw K. Szymanski, Carlos A. Varela, Benjamin A. Willett, Matthew Arsenault, Heidi Jo Newberg:
Evolving N-Body Simulations to Determine the Origin and Structure of the Milky Way Galaxy's Halo Using Volunteer Computing. IPDPS Workshops 2011: 1888-1895 - [c27]Shigeru Imai, Carlos A. Varela:
Light-weight adaptive task offloading from smartphones to nearby computational resources. RACS 2011: 146-152 - [c26]Qingling Wang, Carlos A. Varela:
Impact of Cloud Computing Virtualization Strategies on Workloads' Performance. UCC 2011: 130-137 - 2010
- [c25]Travis J. Desell, David P. Anderson, Malik Magdon-Ismail, Heidi Jo Newberg, Boleslaw K. Szymanski, Carlos A. Varela:
An analysis of massively distributed evolutionary algorithms. IEEE Congress on Evolutionary Computation 2010: 1-8 - [c24]Travis J. Desell, Malik Magdon-Ismail, Boleslaw K. Szymanski, Carlos A. Varela, Heidi Jo Newberg, David P. Anderson:
Validating Evolutionary Algorithms on Volunteer Computing Grids. DAIS 2010: 29-41 - [c23]Wei-Jen Wang, Carlos A. Varela, Fu-Hau Hsu, Cheng-Hsien Tang:
Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations. GPC 2010: 244-255 - [c22]Ping Wang, Wei Huang, Carlos A. Varela:
Impact of virtual machine granularity on cloud computing workloads performance. GRID 2010: 393-400 - [p3]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:
Evolutionary Algorithms on Volunteer Computing Platforms: The MilkyWay@Home Project. Parallel and Distributed Computational Intelligence 2010: 63-90
2000 – 2009
- 2009
- [j7]Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela:
Malleable iterative MPI applications. Concurr. Comput. Pract. Exp. 21(3): 393-413 (2009) - [c21]Alexandre di Costanzo, Chao Jin, Carlos A. Varela, Rajkumar Buyya:
Enabling Computational Steering with an Asynchronous-Iterative Computation Framework. eScience 2009: 255-262 - [c20]Travis J. Desell, Malik Magdon-Ismail, Boleslaw K. Szymanski, Carlos A. Varela, Heidi Jo Newberg, Nathan Cole:
Robust Asynchronous Optimization for Volunteer Computing Grids. eScience 2009: 263-270 - [c19]Travis J. Desell, Anthony Waters, Malik Magdon-Ismail, Boleslaw K. Szymanski, Carlos A. Varela, Matthew Newby, Heidi Jo Newberg, Andreas Przystawik, David P. Anderson:
Accelerating the MilkyWay@Home Volunteer Computing Project with GPUs. PPAM (1) 2009: 276-288 - 2008
- [c18]Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela:
An asynchronous hybrid genetic-simplex search for modeling the Milky Way galaxy using volunteer computing. GECCO 2008: 921-928 - [c17]Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela:
Asynchronous genetic search for scientific modeling on large-scale heterogeneous environments. IPDPS 2008: 1-12 - 2007
- [j6]Travis J. Desell, Kaoutar El Maghraoui, Carlos A. Varela:
Malleable applications for scalable high performance computing. Clust. Comput. 10(3): 323-337 (2007) - [c16]Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela:
Dynamic Malleability in Iterative MPI Applications. CCGRID 2007: 591-598 - [c15]Travis J. Desell, Nathan Cole, Malik Magdon-Ismail, Heidi Jo Newberg, Boleslaw K. Szymanski, Carlos A. Varela:
Distributed and Generic Maximum Likelihood Evaluation. eScience 2007: 337-344 - [c14]Boleslaw K. Szymanski, Travis J. Desell, Carlos A. Varela:
The Effects of Heterogeneity on Asynchronous Panmictic Genetic Search. PPAM 2007: 457-468 - 2006
- [j5]Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela:
The Internet Operating System: Middleware for Adaptive Distributed Computing. Int. J. High Perform. Comput. Appl. 20(4): 467-480 (2006) - [c13]Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings, Jim Napolitano, Boleslaw K. Szymanski, Carlos A. Varela:
A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids. e-Science 2006: 105 - [c12]Wei-Jen Wang, Carlos A. Varela:
Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach. GPC 2006: 360-372 - [p2]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:
Approaches to Architecture-Aware Parallel Scientific Computation. Parallel Processing for Scientific Computing 2006: 33-58 - 2005
- [j4]Carlos A. Varela, Paolo Ciancarini, Kenjiro Taura:
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. Sci. Program. 13(4): 255-263 (2005) - [c11]John Field, Carlos A. Varela:
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL 2005: 195-208 - [c10]Kaoutar El Maghraoui, Boleslaw K. Szymanski, Carlos A. Varela:
An Architecture for Reconfigurable Iterative MPI Applications in Dynamic Environments. PPAM 2005: 258-271 - 2004
- [c9]Travis J. Desell, Kaoutar El Maghraoui, Carlos A. Varela:
Load Balancing of Autonomous Actors over Dynamic Networks. HICSS 2004 - [c8]Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, James D. Teresco, Carlos A. Varela:
Towards a middleware framework for dynamically reconfigurable scietific computing. High Performance Computing Workshop 2004: 275-301 - [c7]Travis J. Desell, Harihar Narasimha-Iyer, Carlos A. Varela, Abe Stephens:
OverView: A Framework for Generic Online Visualization of Distributed Systems. eTX 2004: 87-101 - [r1]Gul A. Agha, Carlos A. Varela:
Worldwide Computing Middleware. The Practical Handbook of Internet Computing 2004 - 2003
- [c6]Boleslaw K. Szymanski, Carlos A. Varela, John Cummings, Jim Napolitano:
Dynamically Reconfigurable Scientific Computing on Large-Scale Heterogeneous Grids. PPAM 2003: 419-430 - [c5]Kaoutar El Maghraoui, Joseph E. Flaherty, Boleslaw K. Szymanski, James D. Teresco, Carlos A. Varela:
Adaptive Computation over Dynamic and Heterogeneous Networks. PPAM 2003: 1083-1090 - 2002
- [c4]John Field, Carlos A. Varela:
Towards a Programming Model for Building Reliable Systems with Distributed State. FOCLASA 2002: 328-346 - 2001
- [b1]Carlos A. Varela:
Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination. University of Illinois Urbana-Champaign, USA, 2001 - [j3]Carlos A. Varela, Gul Agha:
Programming Dynamically Reconfigurable Open systems with SALSA. ACM SIGPLAN Notices 36(12): 20-34 (2001) - [p1]Gul Agha, Nadeem Jamali, Carlos A. Varela:
Agent Naming and Coordination: Actor Based Models and Infrastructures. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 225-246
1990 – 1999
- 1999
- [c3]Carlos A. Varela, Gul Agha:
A Hierarchical Model for Coordination of Concurrent Activities. COORDINATION 1999: 166-182 - 1998
- [j2]Carlos A. Varela, Gul Agha:
What after Java? From Objects to Actors. Comput. Networks 30(1-7): 573-577 (1998) - [c2]Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela:
Modular Heterogeneous System Development: A Critical Analysis of Java. Heterogeneous Computing Workshop 1998: 144-155 - 1996
- [j1]Carlos A. Varela, D. Nekhayev, P. Chandrasekharan, C. Krishnan, V. Govindan, D. Modgil, S. Siddiqui, D. Lebedenko, Marianne Winslett:
DB: Browsing Object-Oriented Databases over the Web. World Wide Web J. 1(1) (1996) - 1995
- [c1]Carlos A. Varela, D. Nekhayev, P. Chandrasekharan, C. Krishnan, V. Govindan, D. Modgil, S. Siddiqui, D. Lebedenko, Marianne Winslett:
DB: Browsing Object-Oriented Databases over the Web. WWW (Fall) 1995: 209-220
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
