Carlos A. Varela

91 papers A* 1A 2B 12C 5Misc 11Journal 22Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Concurrent Programming, Open Systems and Formal Methods - Essays Dedicated to Gul Agha to Celebrate His Scientific Career Concurrent Programming, Open Systems and Formal Methods José Meseguer, Carlos A. Varela, Nalini Venkatasubramanian
2026	—	`conf`	The AMST Language: Formal Verification and Execution of Actor Systems. Concurrent Programming, Open Systems and Formal Methods Carlos A. Varela
2025	J	`jnl`	Formal verification of timely knowledge propagation in airborne networks. Sci. Comput. Program. Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos A. Varela
2023	J	`jnl`	Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela
2023	J	`jnl`	Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models. J. Aerosp. Inf. Syst. Elkin Cruz-Camacho, Ahmad Amer, Fotis Kopsaftopoulos, Carlos A. Varela
2022	B	`conf`	A Continuum Approach for Collaborative Task Processing in UAV MEC Networks. CLOUD Lorson Blair, Carlos A. Varela, Stacy Patterson
2022	J	`jnl`	A Continuum Approach for Collaborative Task Processing in UAV MEC Networks. CoRR Lorson Blair, Carlos A. Varela, Stacy Patterson
2022	—	`conf`	On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. DDDAS Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos A. Varela, Fotis Kopsaftopoulos
2021	J	`jnl`	ACCORDANT: A domain specific-model and DevOps approach for big data analytics architectures. J. Syst. Softw. Camilo Castellanos, Carlos A. Varela, Darío Correal
2021	—	`conf`	Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. FMAS Saswata Paul, Stacy Patterson, Carlos A. Varela
2021	—	`conf`	Summary: A Domain Specific-Model and DevOps Approach for Big Data Analytics Architectures (short paper). ECSA (Companion) Camilo Castellanos, Carlos A. Varela, Darío Correal
2021	—	`conf`	Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela
2021	J	`jnl`	Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela
2020	—	`conf`	A Model-Driven Architectural Design Method for Big Data Analytics Applications. ICSA Companion Camilo Castellanos, Boris Pérez, Darío Correal, Carlos A. Varela
2020	J	`jnl`	ACCORDANT: A Domain Specific Model and DevOpsApproach for Big Data Analytics Architectures. CoRR Camilo Castellanos, Carlos A. Varela, Darío Correal
2020	—	`conf`	Data-Driven State Awareness for Fly-by-Feel Aerial Vehicles via Adaptive Time Series and Gaussian Process Regression Models. DDDAS Shabbir Ahmed, Ahmad Amer, Carlos A. Varela, Fotis Kopsaftopoulos
2020	—	`conf`	Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. DDDAS Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, Carlos A. Varela
2020	B	`conf`	Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications. CLOUD Anirban Das, Andrew Leaf, Carlos A. Varela, Stacy Patterson
2020	J	`jnl`	Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications. CoRR Anirban Das, Andrew Leaf, Carlos A. Varela, Stacy Patterson
2020	—	`conf`	Towards Provably Correct Probabilistic Flight Systems. DDDAS Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, Carlos A. Varela
2019	J	`jnl`	A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade. ACM Comput. Surv. 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
2019	B	`conf`	A Survey on Big Data Analytics Solutions Deployment. ECSA Camilo Castellanos, Boris Pérez, Carlos A. Varela, María-Del-Pilar Villamil, Darío Correal
2019	J	`jnl`	Dynamic data-driven learning for self-healing avionics. Clust. Comput. Shigeru Imai, Sida Chen, Wennan Zhu, Carlos A. Varela
2019	—	`conf`	Measuring performance quality scenarios in big data analytics applications: a DevOps and domain-specific model approach. ECSA (Companion) Camilo Castellanos, Carlos A. Varela, Darío Correal
2018	—	`conf`	A Performance Study of Geo-Distributed IoT Data Aggregation for Fog Computing. UCC Companion Shigeru Imai, Carlos A. Varela, Stacy Patterson
2018	—	`ch.`	Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics. Handbook of Dynamic Data Driven Applications Systems Sida Chen, Shigeru Imai, Wennan Zhu, Carlos A. Varela
2018	B	`conf`	Uncertainty-Aware Elastic Virtual Machine Scheduling for Stream Processing Systems. CCGrid Shigeru Imai, Stacy Patterson, Carlos A. Varela
2017	J	`jnl`	A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade. CoRR 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
2017	J	`jnl`	A Robust Asynchronous Newton Method for Massive Scale Computing Systems. CoRR Travis Desell, Malik Magdon-Ismail, Heidi Jo Newberg, Lee A. Newberg, Boleslaw K. Szymanski, Carlos A. Varela
2017	J	`jnl`	Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies. CoRR Saswata Paul, Frederick Hole, Alexandra Zytek, Carlos A. Varela
2017	C	`conf`	Global Snapshot of a Distributed System Running on Virtual Machines. SBAC-PAD Carlos E. Gómez, Harold E. Castro, Carlos A. Varela
2017	B	`conf`	Maximum Sustainable Throughput Prediction for Data Stream Processing over Public Clouds. CCGrid Shigeru Imai, Stacy Patterson, Carlos A. Varela
2016	B	`conf`	Cost-Efficient Elastic Stream Processing Using Application-Agnostic Performance Prediction. CCGrid Shigeru Imai, Stacy Patterson, Carlos A. Varela
2016	B	`conf`	Elastic Virtual Machine Scheduling for Continuous Air Traffic Optimization. CCGrid Shigeru Imai, Stacy Patterson, Carlos A. Varela
2015	B	`conf`	Augmenting Performance For Distributed Cloud Storage. CCGRID Matthew B. Hancock, Carlos A. Varela
2015	B	`conf`	Cost-Efficient High-Performance Internet-Scale Data Analytics over Multi-cloud Environments. CCGRID Shigeru Imai, Stacy Patterson, Carlos A. Varela
2015	Misc	`conf`	Dynamic Data-driven Avionics Systems: Inferring Failure Modes from Data Streams. ICCS Shigeru Imai, Alessandro Galli, Carlos A. Varela
2015	—	`ed.`	Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh, PA, USA, October 26, 2015 AGERE!@SPLASH Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela
2015	—	`conf`	Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015). SPLASH (Companion Volume) Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela
2014	—	`conf`	AGERE!: programming based on actors, agents, and decentralized control. SPLASH (Companion Volume) Alessandro Ricci, Elisa Gonzalez Boix, Philipp Haller, Carlos A. Varela
2014	—	`conf`	Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing. AGERE!@SPLASH Phillip Kuang, John Field, Carlos A. Varela
2014	—	`ed.`	Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE! 2014, Portland, OR, USA, October 20, 2014 AGERE!@SPLASH Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela
2014	—	`conf`	SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency. Concurrent Objects and Beyond Travis J. Desell, Carlos A. Varela
2013	Misc	`conf`	Accurate Resource Prediction for Hybrid IaaS Clouds Using Workload-Tailored Elastic Compute Units. UCC Shigeru Imai, Thomas Chestna, Carlos A. Varela
2013	Misc	`conf`	Autonomous Data Error Detection and Recovery in Streaming Applications. ICCS Richard Klockowski, Shigeru Imai, Colin L. Rice, Carlos A. Varela
2013	—	`conf`	Self-Healing Spatio-temporal Data Streams Using Error Signatures. CSE Shigeru Imai, Richard Klockowski, Carlos A. Varela
2013	—	`conf`	Structured reasoning about actor systems. AGERE!@SPLASH David R. Musser, Carlos A. Varela
2012	Misc	`conf`	A Programming Model for Spatio-temporal Data Streaming Applications. ICCS Shigeru Imai, Carlos A. Varela
2012	Misc	`conf`	Elastic Scalable Cloud Computing Using Application-Level Migration. UCC Shigeru Imai, Thomas Chestna, Carlos A. Varela
2011	—	`conf`	Evolving N-Body Simulations to Determine the Origin and Structure of the Milky Way Galaxy's Halo Using Volunteer Computing. IPDPS Workshops Travis J. Desell, Malik Magdon-Ismail, Boleslaw K. Szymanski, Carlos A. Varela, Benjamin A. Willett, Matthew Arsenault, Heidi Jo Newberg
2011	Misc	`conf`	Impact of Cloud Computing Virtualization Strategies on Workloads' Performance. UCC Qingling Wang, Carlos A. Varela
2011	—	`conf`	Light-weight adaptive task offloading from smartphones to nearby computational resources. RACS Shigeru Imai, Carlos A. Varela
2011	J	`jnl`	Modular Visualization of Distributed Systems. CLEI Electron. J. Gustavo Guevara, Travis J. Desell, Jason LaPorte, Carlos A. Varela
2011	J	`jnl`	Use of run time predictions for automatic co-allocation of multi-cluster resources for iterative parallel applications. J. Parallel Distributed Comput. Marco Aurélio Stelmar Netto, Christian Vecchiola, Michael Kirley, Carlos A. Varela, Rajkumar Buyya
2010	C	`conf`	Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations. GPC Wei-Jen Wang, Carlos A. Varela, Fu-Hau Hsu, Cheng-Hsien Tang
2010	B	`conf`	An analysis of massively distributed evolutionary algorithms. IEEE Congress on Evolutionary Computation Travis J. Desell, David P. Anderson, Malik Magdon-Ismail, Heidi Jo Newberg, Boleslaw K. Szymanski, Carlos A. Varela
2010	—	`ch.`	Evolutionary Algorithms on Volunteer Computing Platforms: The MilkyWay@Home Project. Parallel and Distributed Computational Intelligence 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
2010	—	`conf`	Impact of virtual machine granularity on cloud computing workloads performance. GRID Ping Wang, Wei Huang, Carlos A. Varela
2010	C	`conf`	Validating Evolutionary Algorithms on Volunteer Computing Grids. DAIS Travis J. Desell, Malik Magdon-Ismail, Boleslaw K. Szymanski, Carlos A. Varela, Heidi Jo Newberg, David P. Anderson
2009	—	`conf`	Accelerating the MilkyWay@Home Volunteer Computing Project with GPUs. PPAM (1) Travis J. Desell, Anthony Waters, Malik Magdon-Ismail, Boleslaw K. Szymanski, Carlos A. Varela, Matthew Newby, Heidi Jo Newberg, Andreas Przystawik, David P. Anderson
2009	—	`conf`	Enabling Computational Steering with an Asynchronous-Iterative Computation Framework. eScience Alexandre di Costanzo, Chao Jin, Carlos A. Varela, Rajkumar Buyya
2009	J	`jnl`	Malleable iterative MPI applications. Concurr. Comput. Pract. Exp. Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela
2009	—	`conf`	Robust Asynchronous Optimization for Volunteer Computing Grids. eScience Travis J. Desell, Malik Magdon-Ismail, Boleslaw K. Szymanski, Carlos A. Varela, Heidi Jo Newberg, Nathan Cole
2008	A	`conf`	An asynchronous hybrid genetic-simplex search for modeling the Milky Way galaxy using volunteer computing. GECCO Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela
2008	A	`conf`	Asynchronous genetic search for scientific modeling on large-scale heterogeneous environments. IPDPS Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela
2007	—	`conf`	Distributed and Generic Maximum Likelihood Evaluation. eScience Travis J. Desell, Nathan Cole, Malik Magdon-Ismail, Heidi Jo Newberg, Boleslaw K. Szymanski, Carlos A. Varela
2007	B	`conf`	Dynamic Malleability in Iterative MPI Applications. CCGRID Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela
2007	J	`jnl`	Malleable applications for scalable high performance computing. Clust. Comput. Travis J. Desell, Kaoutar El Maghraoui, Carlos A. Varela
2007	Misc	`conf`	The Effects of Heterogeneity on Asynchronous Panmictic Genetic Search. PPAM Boleslaw K. Szymanski, Travis J. Desell, Carlos A. Varela
2006	B	`conf`	A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids. e-Science Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings, Jim Napolitano, Boleslaw K. Szymanski, Carlos A. Varela
2006	—	`ch.`	Approaches to Architecture-Aware Parallel Scientific Computation. Parallel Processing for Scientific Computing 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
2006	C	`conf`	Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach. GPC Wei-Jen Wang, Carlos A. Varela
2006	J	`jnl`	The Internet Operating System: Middleware for Adaptive Distributed Computing. Int. J. High Perform. Comput. Appl. Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela
2005	Misc	`conf`	An Architecture for Reconfigurable Iterative MPI Applications in Dynamic Environments. PPAM Kaoutar El Maghraoui, Boleslaw K. Szymanski, Carlos A. Varela
2005	A*	`conf`	Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL John Field, Carlos A. Varela
2005	J	`jnl`	Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. Sci. Program. Carlos A. Varela, Paolo Ciancarini, Kenjiro Taura
2004	—	`conf`	Load Balancing of Autonomous Actors over Dynamic Networks. HICSS Travis J. Desell, Kaoutar El Maghraoui, Carlos A. Varela
2004	—	`conf`	OverView: A Framework for Generic Online Visualization of Distributed Systems. eTX Travis J. Desell, Harihar Narasimha-Iyer, Carlos A. Varela, Abe Stephens
2004	Misc	`conf`	Towards a middleware framework for dynamically reconfigurable scietific computing. High Performance Computing Workshop Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, James D. Teresco, Carlos A. Varela
2004	—	`ch.`	Worldwide Computing Middleware. The Practical Handbook of Internet Computing Gul A. Agha, Carlos A. Varela
2003	Misc	`conf`	Adaptive Computation over Dynamic and Heterogeneous Networks. PPAM Kaoutar El Maghraoui, Joseph E. Flaherty, Boleslaw K. Szymanski, James D. Teresco, Carlos A. Varela
2003	Misc	`conf`	Dynamically Reconfigurable Scientific Computing on Large-Scale Heterogeneous Grids. PPAM Boleslaw K. Szymanski, Carlos A. Varela, John Cummings, Jim Napolitano
2002	—	`conf`	Towards a Programming Model for Building Reliable Systems with Distributed State. FOCLASA John Field, Carlos A. Varela
2001	—	`ch.`	Agent Naming and Coordination: Actor Based Models and Infrastructures. Coordination of Internet Agents: Models, Technologies, and Applications Gul Agha, Nadeem Jamali, Carlos A. Varela
2001	J	`jnl`	Programming Dynamically Reconfigurable Open systems with SALSA. ACM SIGPLAN Notices Carlos A. Varela, Gul Agha
2001	—	`—`	Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination Carlos A. Varela
1999	C	`conf`	A Hierarchical Model for Coordination of Concurrent Activities. COORDINATION Carlos A. Varela, Gul Agha
1998	—	`conf`	Modular Heterogeneous System Development: A Critical Analysis of Java. Heterogeneous Computing Workshop Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela
1998	J	`jnl`	What after Java? From Objects to Actors. Comput. Networks Carlos A. Varela, Gul Agha
1996	J	`jnl`	DB: Browsing Object-Oriented Databases over the Web. World Wide Web J. Carlos A. Varela, D. Nekhayev, P. Chandrasekharan, C. Krishnan, V. Govindan, D. Modgil, S. Siddiqui, D. Lebedenko, Marianne Winslett
1995	—	`conf`	DB: Browsing Object-Oriented Databases over the Web. WWW (Fall) Carlos A. Varela, D. Nekhayev, P. Chandrasekharan, C. Krishnan, V. Govindan, D. Modgil, S. Siddiqui, D. Lebedenko, Marianne Winslett