1. Laurent Lefevre, Carlos A. Varela, George Pallis, Adel N. Toosi, Omer Rana, and Rajkumar Buyya, editors. 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, CCGrid 2020, Melbourne, Victoria, Australia, May 11-14, 2020, 2020. IEEE. Note: Due to COVID 19, the conference will now physically take place in 2021. Keyword(s): distributed computing, cloud computing. [bibtex-entry]



2. Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, and Carlos A. Varela, editors. Proceedings of the 5th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE 2015, Pittsburgh, PA, USA, October 25-30, 2015, 2015. ACM. Keyword(s): concurrent programming, programming languages. [Abstract] [bibtex-entry]



3. Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, and Carlos A. Varela, editors. Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE 2014, Portland, OR, USA, October 20-24, 2014, 2014. ACM. Keyword(s): concurrent programming, programming languages. [Abstract] [bibtex-entry]



4. Carlos A. Varela. Programming Distributed Computing Systems: A Foundational Approach. MIT Press, May 2013. Keyword(s): concurrent programming, distributed computing, cyber physical systems. [bibtex-entry]



5. Carlos A. Varela, Manish Parashar, and Gul Agha, editors. 5th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2012, Chicago, IL, USA, November 5-8, 2012, 2012. IEEE. Keyword(s): distributed computing, cloud computing. [bibtex-entry]



6. Carlos A. Varela, Nalini Venkatasubramanian, and Rajkumar Buyya, editors. 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2011, Newport Beach, CA, USA, May 23-26, 2011, 2011. IEEE. ISBN: 978-0-7695-4395-6. Keyword(s): distributed computing, cloud computing. [bibtex-entry]



7. Carlos A. Varela, Paolo Ciancarini, and Kenjiro Taura, editors. Scientific Programming Journal Special Issue on Dynamic Grids and Worldwide Computing, volume 13. IOS Press, Amsterdam, December 2005. Keyword(s): distributed computing, grid computing. [bibtex-entry]

1. C. Varela. Worldwide Computing with Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination. PhD thesis, U. of Illinois at Urbana-Champaign, 2001. Keyword(s): distributed computing, concurrent programming, grid computing, internet programming languages, coordination models, middleware, software agents. [Abstract] [bibtex-entry]

1. Saswata Paul, Chris McCarthy, Stacy Patterson, and Carlos Varela. Formal verification of timely knowledge propagation in airborne networks. Science of Computer Programming, 239, 2025. ISSN: 0167-6423. Keyword(s): Formal methods, Distributed systems, Autonomous systems, Probabilistic properties, Theorem proving, Proof library. [Abstract] [bibtex-entry]



2. Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos Varela, and Fotis Kopsaftopoulos. On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models, pages 44-52. Springer Nature Switzerland, Cham, 2024. ISBN: 978-3-031-52670-1. Keyword(s): AR models, CRLB, fly-by-feel, state awareness.. [Abstract] [bibtex-entry]



3. Elkin Cruz-Camacho, Ahmad Amer, Fotis Kopsaftopoulos, and Carlos A. Varela. Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models. Journal of Aerospace Information Systems, 20(1):3-16, 2023. Keyword(s): Formal verification, Agda, Safety envelopes, Runtime verification, dddas. [Abstract] [bibtex-entry]



4. Saswata Paul, Elkin Cruz, Airin Dutta, Ankita Bhaumik, Erik Blasch, Gul Agha, Stacy Patterson, Fotis Kopsaftopoulos, and Carlos Varela. Formal Verification of Safety-Critical Aerospace Systems. IEEE Aerospace and Electronic Systems Magazine, 38(5):72-88, 2023. Keyword(s): theorem proving, runtime verification, stochastic systems, distributed systems. [Abstract] [bibtex-entry]



5. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Eventual Consensus in Synod: Verification using a Failure-Aware Actor Model. Innovations in Systems and Software Engineering - A NASA Journal, 2022. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



6. Sida Chen, Shigeru Imai, Wennan Zhu, and Carlos A. Varela. Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics, pages 103-127. Springer International Publishing, Cham, 2022. ISBN: 978-3-030-74568-4. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]



7. Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, and Carlos Varela. Making Maximally Ethical Decisions via Cognitive Likelihood and Formal Planning, pages 127-142. Springer International Publishing, Cham, 2022. ISBN: 978-3-031-09823-9. [Abstract] [bibtex-entry]



8. Camilo Castellanos, Carlos A. Varela, and Dario Correal. ACCORDANT: A domain specific-model and DevOps approach for big data analytics architectures. Journal of Systems and Software, 172:110869, 2021. ISSN: 0164-1212. Keyword(s): Software architecture, Big data analytics deployment, DevOps, Domain-specific model, Quality scenarios, Performance monitoring. [Abstract] [bibtex-entry]



9. Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, and Carlos Varela. Making Maximally Ethical Decisions via Cognitive Likelihood & Formal Planning. Towards Trustworthy Artificial Intelligent Systems, ed. M. Ferreira (Springer), 2021. [Abstract] [bibtex-entry]



10. Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, and Carlos A. Varela. Towards Formal Correctness Envelopes for Dynamic Data-Driven Aerospace Systems. In Frederica Darema and Erik Blasch, editors, Handbook of Dynamic Data-Driven Application Systems. Springer, 2020. Note: Preprint. To appear. Keyword(s): dddas, data streaming, cyber physical systems, distributed computing, formal verification, air traffic management. [Abstract] [bibtex-entry]



11. S. Shelton, H. Newberg, J. Weiss, J. Bauer, M. Arsenault, L. Widrow, C. Rayment, R. Judd, T. Desell, M. Magdon-Ismail, M. Newby, C. Rice, B. Szymanski, J. Thompson, C. Varela, B. Willett, S. Ulin, and L. Newberg. An Algorithm for Reconstructing the Orphan Stream Progenitor with MilkyWay@home Volunteer Computing. pp 26, 2019. Note: Accepted May 2019, to appear. Keyword(s): distributed systems, cloud computing. [Abstract] [bibtex-entry]



12. Rajkumar Buyya, Satish Narayana Srirama, Giuliano Casale, Rodrigo Calheiros, Yogesh Simmhan, Blesson Varghese, Erol Gelenbe, Bahman Javadi, Luis Miguel Vaquero, Marco A. S. Netto, Adel Nadjaran Toosi, Maria Alejandra Rodriguez, Ignacio M. Llorente, Sabrina De Capitani di Vimercati, Pierangela Samarati, Dejan Milojicic, Carlos Varela, Rami Bahsoon, Marcos Dias de Assuncao, Omer Rana, Wanlei Zhou, Hai Jin, Wolfgang Gentzsch, Albert Zomaya, and Haiying Shen. A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade. ACM Computing Surveys, 51:1 - 38, November 2018. Keyword(s): distributed computing, concurrent programming. [Abstract] [bibtex-entry]



13. Shigeru Imai, Erik Blasch, Alessandro Galli, Wennan Zhu, Frederick Lee, and Carlos A. Varela. Airplane Flight Safety Using Error-Tolerant Data Stream Processing. IEEE Aerospace and Electronics Systems Magazine, 32(4):4-17, 2017. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



14. Shigeru Imai, Sida Chen, Wennan Zhu, and Carlos A. Varela. Dynamic Data-Driven Learning for Self-Healing Avionics. Cluster Computing, November 2017. ISSN: 1573-7543. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



15. Shigeru Imai, Pratik Patel, and Carlos A. Varela. Encyclopedia on Cloud Computing, chapter 50: Developing Elastic Software for the Cloud, pages 609-627. Wiley, 2016. Note: Invited book chapter. ISBN: 978-1-118-82197-8. Keyword(s): distributed computing, cloud computing, actor model. [Abstract] [bibtex-entry]



16. Travis Desell and Carlos A. Varela. SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency. In Concurrent Objects and Beyond, volume 8665 of Lecture Notes in Computer Science, pages 144-166. Springer Berlin Heidelberg, 2014. ISBN: 978-3-662-44470-2. Keyword(s): distributed computing, concurrent programming, programming languages, actor model. [Abstract] [bibtex-entry]



17. Matthew Newby, Nathan Cole, Heidi Jo Newberg, Travis Desell, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos Varela, Benjamin Willett, and Brian Yanny. A Spatial Characterization of the Sagittarius Dwarf Galaxy Tidal Tails. The Astronomical Journal, 145(163), May 2013. Keyword(s): scientific computing, distributed computing. [Abstract] [bibtex-entry]



18. Marco A.S. Netto, Christian Vecchiola, Michael Kirley, Carlos A. Varela, and Rajkumar Buyya. Use of run time predictions for automatic co-allocation of multi-cluster resources for iterative parallel applications. Journal of Parallel and Distributed Computing, 71(10):1388 - 1399, 2011. ISSN: 0743-7315. Keyword(s): concurrent programming, middleware, grid computing. [Abstract] [bibtex-entry]



19. Gustavo A. Guevara S., Travis Desell, Jason Laporte, and Carlos A. Varela. Modular Visualization of Distributed Systems. CLEI Electronic Journal, 14:1-17, April 2011. Note: Best papers from CLEI 2010. Keyword(s): distributed computing, distributed systems visualization, network topologies. [Abstract] [bibtex-entry]



20. Nathan Cole, Travis Desell, Daniel Lombranaa Gonzalez, Francisco Fernandez de Vega, Malik Magdon-Ismail, Heidi Newberg, and Boleslaw K. Szymanski, and Carlos A. Varela. Parallel and Computational Intelligence, chapter Evolutionary Algorithms on Volunteer Computing Platforms: The MilkyWay@Home Project, pages 64-90. Springer-Verlag Berlin Heidelberg, 2010. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



21. Kaoutar El Maghraoui, Travis Desell, Boleslaw K. Szymanski, and Carlos A. Varela. Malleable Iterative MPI Applications. Concurrency and Computation: Practice and Experience, 21(3):393-413, March 2009. Keyword(s): distributed computing, concurrent programming, middleware, grid computing, scientific computing. [Abstract] [bibtex-entry]



22. Nathan Cole, Heidi Newberg, Malik Magdon-Ismail, Travis Desell, Kristopher Dawsey, Warren Hayashi, Jonathan Purnell, Boleslaw Szymanski, Carlos A. Varela, Benjamin Willett, and James Wisniewski. Maximum Likelihood Fitting of Tidal Streams with Application to the Sagittarius Dwarf Tidal Tails. Astrophysical Journal, 683:750-766, 2008. Keyword(s): distributed computing, astroinformatics, grid computing, scientific computing. [Abstract] [bibtex-entry]



23. Travis Desell, Kaoutar El Maghraoui, and Carlos A. Varela. Malleable Applications for Scalable High Performance Computing. Cluster Computing, pp 323-337, June 2007. Keyword(s): distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



24. Kaoutar El Maghraoui, Travis Desell, Boleslaw K. Szymanski, and Carlos A. Varela. The Internet Operating System: Middleware for Adaptive Distributed Computing. International Journal of High Performance Computing Applications (IJHPCA), Special Issue on Scheduling Techniques for Large-Scale Distributed Platforms, 20(4):467-480, 2006. Keyword(s): distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



25. James D. Teresco, Joseph E. Flaherty, Scott B. Baden, Jamal Faik, Sébastien Lacour, Manish Parashar, Valerie E. Taylor, and Carlos A. Varela. Parallel Processing for Scientific Computing, chapter Approaches to Architecture-Aware Parallel Scientific Computation, pages 33-58. SIAM, December 2006. Keyword(s): distributed computing, grid computing, middleware, scientific computing. [Abstract] [bibtex-entry]



26. Carlos A. Varela, Paolo Ciancarini, and Kenjiro Taura. Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. Scientific Programming Journal, 13(4):255-263, December 2005. Note: Guest Editorial. Keyword(s): distributed computing, grid computing, middleware, internet programming languages. [bibtex-entry]



27. Kaoutar El Maghraoui, Travis Desell, Boleslaw K. Szymanski, James D. Teresco, and Carlos A. Varela. Towards a Middleware Framework for Dynamically Reconfigurable Scientific Computing. In L. Grandinetti, editor, Grid Computing and New Frontiers of High Performance Processing, volume 14 of Advances in Parallel Computing, pages 275-301. Elsevier, 2005. Keyword(s): concurrent programming, distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



28. Gul Agha and Carlos A. Varela. Worldwide Computing Middleware. In M. Singh, editor, Practical Handbook on Internet Computing. CRC Press, 2004. Note: Invited book chapter. Keyword(s): distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



29. J. Field and C. A. Varela. Toward a Programming Model for Building Reliable Systems with Distributed State. Electronic Notes in Theoretical Computer Science, 68(3):1-19, March 2003. Note: Invited journal paper. Keyword(s): distributed computing, concurrent programming, coordination models. [Abstract] [bibtex-entry]



30. Carlos A. Varela and Gul Agha. Programming Dynamically Reconfigurable Open Systems with SALSA. ACM SIGPLAN Notices. OOPSLA'2001 Intriguing Technology Track Proceedings, 36(12):20-34, December 2001. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]



31. G. Agha, N. Jamali, and C. A. Varela. Agent Naming and Coordination: Actor Based Models and Infrastructures. In A. Ominici, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents, chapter 9, pages 225-248. Springer-Verlag, 2001. Note: Invited book chapter. Keyword(s): distributed computing, concurrent programming, coordination models, software agents. [Abstract] [bibtex-entry]



32. C. Varela and G. Agha. What after Java? From Objects to Actors. Computer Networks and ISDN Systems: The International J. of Computer Telecommunications and Networking, 30:573-577, April 1998. Note: Proceedings of the Seventh International Conference on The World Wide Web (WWW7), Brisbane, Australia. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]



33. C. Varela, D. Nekhayev, P. Chandrasekharan, C. Krishnan, V. Govindan, D. Modgil, S. Siddiqui, D. Lebedenko, and M. Winslett. DB: Browsing Object-Oriented Databases over the Web. Proceedings of the Fourth International Conference on the World-Wide Web. World-Wide Web Journal, 1(1), December 1995. Keyword(s): distributed computing, databases and the web. [Abstract] [bibtex-entry]

1. Lorson Blair, Carlos A. Varela, and Stacy Patterson. A Continuum Approach for Collaborative Task Processing in UAV MEC Networks. In 2022 IEEE 15th International Conference on Cloud Computing (CLOUD), pages 247-256, 2022. Keyword(s): Edge Computing, Cloud Computing, Distributed Computing, Cyber Physical Systems. [Abstract] [bibtex-entry]



2. Ankita Bhaumik, Airin Dutta, Fotis Kopsaftopoulos, and Carlos A. Varela. Proving the Correctness of Multicopter Rotor Fault Detection and Identification Software. In The 40th AIAA/IEEE Digital Avionics Systems Conference (DASC 2021), October 2021. Keyword(s): fault detection, formal verification, multicopter, declarative programming, Dafny. [Abstract] [bibtex-entry]



3. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Verification of Eventual Consensus in Synod using a Failure-Aware Actor Model. In NASA Formal Methods, Cham, pages 249-267, 2021. Springer International Publishing. ISBN: 978-3-030-76384-8. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



4. Saswata Paul, Stacy Patterson, and Carlos Varela. Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. In Marie Farrell and Matt Luckcuck, editors, Proceedings Third Workshop on Formal Methods for Autonomous Systems, Virtual, 21st-22nd of October 2021, volume 348 of Electronic Proceedings in Theoretical Computer Science, pages 73-91, 2021. Open Publishing Association. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, formal verification, Athena, distributed systems, distributed computing, air traffic management. [Abstract] [bibtex-entry]



5. Shabbir Ahmed, Ahmad Amer, Carlos Varela, and Fotis Kopsaftopoulos. Data-Driven State Awareness for Fly-by-Feel Aerial Vehicles via Adaptive Time Series and Gaussian Process Regression Models. In Dynamic Data-Driven Application Systems (InfoSymbiotics/DDDAS 2020), Cambridge, MA, October 2020. [Abstract] [bibtex-entry]



6. Camilo Castellanos, Boris Pérez, Darìo Correal, and Carlos A Varela. A Model-Driven Architectural Design Method for Big Data Analytics Applications. In 2020 IEEE International Conference on Software Architecture Companion (ICSA-C), pages 89-94, November 2020. IEEE. Keyword(s): distributed computing, distributed systems. [Abstract] [bibtex-entry]



7. Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, and Carlos A. Varela. Towards Provably Correct Probabilistic Flight Systems. In Frederica Darema, Erik Blasch, Sai Ravela, and Alex Aved, editors, Dynamic Data Driven Application Systems, Cham, pages 236-244, 2020. Springer International Publishing. ISBN: 978-3-030-61725-7. Keyword(s): formal verification, runtime verification. [Abstract] [bibtex-entry]



8. Anirban Das, Andrew Leaf, Carlos A. Varela, and Stacy Patterson. Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications. In IEEE International Conference on Cloud Computing, Beijing, China, October 2020. Keyword(s): distributed computing, serverless computing, middleware. [Abstract] [bibtex-entry]



9. Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, and Carlos Varela. Ethical Reasoning for Autonomous Agents Under Uncertainty. In International Conference on Robot Ethics and Standards (ICRES) 2020, Taipei, Taiwan, September 2020. [Abstract] [bibtex-entry]



10. Sinclair Gurny, Jason Falvo, and Carlos A. Varela. Aircraft Weight Estimation During Takeoff Using Declarative Machine Learning. In The 39th AIAA/IEEE Digital Avionics Systems Conference (DASC 2020), October 2020. Keyword(s): cyber physical systems, avionics, machine learning, dddas. [Abstract] [bibtex-entry]



11. Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, and Carlos A. Varela. Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. In Frederica Darema, Erik Blasch, Sai Ravela, and Alex Aved, editors, Dynamic Data Driven Application Systems, Cham, pages 245-252, 2020. Springer International Publishing. ISBN: 978-3-030-61725-7. Keyword(s): dddas, formal verification, Athena, distributed systems, distributed computing, air traffic management, cyber physical systems, runtime verification. [Abstract] [bibtex-entry]



12. Saswata Paul, Stacy Patterson, and Carlos A. Varela. Collaborative Situational Awareness for Conflict-Aware Flight Planning. In The 39th AIAA/IEEE Digital Avionics Systems Conference (DASC 2020), October 2020. Keyword(s): cyber physical systems, formal verification, TLA, distributed systems, distributed computing, air traffic management, knowledge. [Abstract] [bibtex-entry]



13. E. Blasch, J. D. Ashdown, C. A. Varela, F. Kopsaftopoulos, and R. H. Newkirk. Dynamic Data Driven Analytics for Multi-domain Environments. In Next-Generation Sensor Systems and Applications Track at 2019 SPIE Defense + Commercial Sensing Conference, Baltimore, MD, April 2019. Keyword(s): data streaming, dddas, cyber physical systems. [Abstract] [bibtex-entry]



14. S. Breese, F. Kopsaftopoulos, and C. A. Varela. Towards Proving Runtime Properties of Data-Driven Systems Using Safety Envelopes. In The 12th International Workshop on Structural Health Monitoring, Stanford, CA, September 2019. Keyword(s): cyber physical systems, dddas, formal verification. [Abstract] [bibtex-entry]



15. Camilo Castellanos, Boris Perez, Carlos A. Varela, Maria del Pilar Villamil, and Dario Correal. A Survey on Big Data Analytics Solutions Deployment. In Software Architecture, Cham, pages 195-210, September 2019. Springer International Publishing. ISBN: 978-3-030-29983-5. Keyword(s): distributed computing, distributed systems. [Abstract] [bibtex-entry]



16. Camilo Castellanos, Carlos A. Varela, and Dario Correal. Measuring Performance Quality Scenarios in Big Data Analytics Applications: A DevOps and Domain-Specific Model Approach. In ECSA 2019 - International Workshop on Software Architecture Challenges in Big Data (SACBD), 2019. Keyword(s): distributed computing, distributed systems. [Abstract] [bibtex-entry]



17. Shigeru Imai, Frederick Hole, and Carlos A. Varela. Self-Healing Data Streams Using Multiple Models of Analytical Redundancy. In The 38th AIAA/IEEE Digital Avionics Systems Conference (DASC 2019), San Diego, CA, September 2019. Keyword(s): pilots, data streaming, dddas, cyber physical systems. [Abstract] [bibtex-entry]



18. Heidi Jo Newberg, Siddhartha Shelton, Eric Mendelsohn, Jake Weiss, Matthew Arsenault, Jacob S. Bauer, Travis Desell, Roland Judd, Malik Magdon-Ismail, Lee A. Newberg, Matthew Newby, Clayton Rayment, Colin Rice, Boleslaw K. Szymanski, Jeffery M. Thompson, Steve Ulin, Carlos Varela, Lawrence M. Widrow, and Benjamin A. Willett. Streams and the Milky Way dark matter halo. In , volume 14, pages 75-82, June 2019. Note: Publisher: Cambridge University Press. ISSN: 1743-9213, 1743-9221. Keyword(s): cosmology: dark matter, Galaxy: halo, methods: n-body simulations. [Abstract] [bibtex-entry]



19. Saswata Paul, Stacy Patterson, and Carlos A. Varela. Conflict-Aware Flight Planning for Avoiding Near Mid-Air Collisions. In The 38th AIAA/IEEE Digital Avionics Systems Conference (DASC 2019), San Diego, CA, September 2019. Note: Nominated for best student paper award. Keyword(s): cyber physical systems, athena, air traffic management, formal verification. [Abstract] [bibtex-entry]



20. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Uncertainty-Aware Elastic Virtual Machine Scheduling for Stream Processing Systems. In 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2018), Washington, DC, May 2018. Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



21. Shigeru Imai, Carlos A. Varela, and Stacy Patterson. A Performance Study of Geo-Distributed IoT Data Aggregation for Fog Computing. In 1st managed Fog-to-Cloud (mF2C) Workshop, Zurich, Switzerland, December 2018. Keyword(s): distributed computing, cloud computing. [Abstract] [bibtex-entry]



22. Saswata Paul, Frederick Hole, Alexandra Zytek, and Carlos A. Varela. Wind-Aware Trajectory Planning For Fixed-Wing Aircraft in Loss of Thrust Emergencies. In The 37th AIAA/IEEE Digital Avionics Systems Conference (DASC 2018), London, England, pages 558-567, September 2018. Keyword(s): dddas, data streaming, cyber physical systems, trajectory generation. [Abstract] [bibtex-entry]



23. Carlos Gomez, Harold Castro, and Carlos Varela. Global snapshot of a distributed system running on virtual machines. In International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) 2017, Campinas, Brazil, October 2017. Keyword(s): distributed computing, cloud computing, distributed systems. [Abstract] [bibtex-entry]



24. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Maximum Sustainable Throughput Prediction for Data Stream Processing over Public Clouds. In 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), Madrid, Spain, May 2017. Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



25. Saswata Paul, Frederick Hole, Alexandra Zytek, and Carlos A. Varela. Flight Trajectory Planning for Fixed Wing Aircraft in Loss of Thrust Emergencies. In Dynamic Data-Driven Application Systems (InfoSymbiotics/DDDAS 2017), Cambridge, MA, August 2017. Keyword(s): dddas, cyber physical systems, data streaming, trajectory generation. [Abstract] [bibtex-entry]



26. Sida Chen, Shigeru Imai, Wennan Zhu, and Carlos A. Varela. Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics. In Dynamic Data-Driven Application Systems (DDDAS 2016), Hartford, CT, August 2016. Note: Appears in Handbook of Dynamic Data-Driven Application Systems. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



27. Travis Desell and Carlos A. Varela. A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite. In Agere Workshop at ACM SPLASH 2015 Conference, October 2015. Keyword(s): distributed computing, concurrent programming, programming languages. [Abstract] [bibtex-entry]



28. Shigeru Imai, Alessandro Galli, and Carlos A. Varela. Dynamic Data-Driven Avionics Systems: Inferring Failure Modes from Data Streams. In Dynamic Data-Driven Application Systems (DDDAS 2015), Reykjavik, Iceland, June 2015. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]



29. P. Kuang, J. Field, and C. A. Varela. Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing. In Agere Workshop at ACM SPLASH 2014 Conference, October 2014. Keyword(s): distributed computing, programming languages. [Abstract] [bibtex-entry]



30. Shigeru Imai, Thomas Chestna, and Carlos A. Varela. Accurate Resource Prediction for Hybrid IaaS Clouds Using Workload-Tailored Elastic Compute Units. In 6th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2013), Dresden, Germany, December 2013. Keyword(s): distributed computing, distributed systems, cloud computing. [Abstract] [bibtex-entry]



31. Shigeru Imai, Richard Klockowski, and Carlos A. Varela. Self-Healing Spatio-Temporal Data Streams Using Error Signatures. In 2nd International Conference on Big Data Science and Engineering (BDSE 2013), Sydney, Australia, December 2013. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]



32. Richard S. Klockowski, Shigeru Imai, Colin Rice, and Carlos A. Varela. Autonomous Data Error Detection and Recovery in Streaming Applications. In Proceedings of the International Conference on Computational Science (ICCS 2013). Dynamic Data-Driven Application Systems (DDDAS 2013) Workshop, pages 2036-2045, May 2013. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]



33. David R. Musser and Carlos A. Varela. Structured Reasoning About Actor Systems. In Proceedings of the 2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2013, New York, NY, USA, pages 37-48, 2013. ACM. ISBN: 978-1-4503-2602-5. Keyword(s): programming languages, actor model, concurrent programming, formal verification. [Abstract] [bibtex-entry]



34. Shigeru Imai, Thomas Chestna, and Carlos A. Varela. Elastic Scalable Cloud Computing Using Application-Level Migration. In 5th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2012), Chicago, Illinois, USA, November 2012. Keyword(s): distributed computing, distributed systems, cloud computing. [Abstract] [bibtex-entry]



35. Shigeru Imai and Carlos A. Varela. A Programming Model for Spatio-Temporal Data Streaming Applications. In Dynamic Data-Driven Application Systems (DDDAS 2012), Omaha, Nebraska, pages 1139-1148, June 2012. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



36. Shigeru Imai and Carlos A. Varela. Programming Spatio-Temporal Data Streaming Applications with High-Level Specifications. In 3rd ACM SIGSPATIAL International Workshop on Querying and Mining Uncertain Spatio-Temporal Data (QUeST) 2012, Redondo Beach, California, USA, November 2012. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



37. Travis Desell, Malik Magdon-Ismail, Heidi Newberg, Lee A. Newberg, Boleslaw K. Szymanski, and Carlos A. Varela. A Robust Asynchronous Newton Method for Massive Scale Computing Systems. In International Conference on Computational Intelligence and Software Engineering (CiSE), Wuhan, China, December 2011. Keyword(s): distributed computing, distributed systems, scientific computing. [Abstract] [bibtex-entry]



38. Travis Desell, Benjamin A. Willet, Matthew Arsenault, Heidi Newberg, Malik Magdon-Ismail, Boleslaw Szymanski, and Carlos A. Varela. Evolving N-Body Simulations to Determine the Origin and Structure of the Milky Way Galaxy's Halo using Volunteer Computing. In IPDPS'11 Fifth Workshop on Desktop Grids and Volunteer Computing Systems (PCGrid 2011), 2011. Keyword(s): distributed computing, scientific computing. [Abstract] [bibtex-entry]



39. Shigeru Imai and Carlos A. Varela. Light-Weight Adaptive Task Offloading from Smartphones to Nearby Computational Resources. In Research in Applied Computation Symposium (RACS 2011), Miami, Florida, November 2011. Keyword(s): distributed computing, distributed systems. [Abstract] [bibtex-entry]



40. Qingling Wang and Carlos A. Varela. Impact of Cloud Computing Virtualization Strategies on Workloads' Performance. In 4th IEEE/ACM International Conference on Utility and Cloud Computing(UCC 2011), Melbourne, Australia, December 2011. Keyword(s): distributed computing, distributed systems, cloud computing. [Abstract] [bibtex-entry]



41. Travis Desell, David P. Anderson, Malik Magdon-Ismail, Heidi Newberg, Boleslaw Szymanski, and Carlos A. Varela. An Analysis of Massively Distributed Evolutionary Algorithms. In Proceedings of the 2010 International Conference on Evolutionary Computation (IEEE CEC 2010), Barcelona, Spain, pages 1-8, July 2010. Keyword(s): distributed computing, evolutionary algorithms, volunteer computing. [Abstract] [bibtex-entry]



42. Travis Desell, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos A. Varela, Heidi Newberg, and David P. Anderson. Validating Evolutionary Algorithms on Volunteer Computing Grids. In Proceedings of the 10th International Conference on Distributed Applications and Interoperable Systems, Amsterdam, Netherlands, pages 29-41, June 2010. Keyword(s): distributed computing, evolutionary algorithms, volunteer computing, validation, scientific computing. [Abstract] [bibtex-entry]



43. Gustavo A. Guevara, Travis Desell, Jason LaPorte, and Carlos A. Varela. Modular Visualization of Distributed Systems. In XXXVI Conferencia Latinoamericana de Informática, Asunción, Paraguay, October 2010. Keyword(s): distributed computing, distributed systems visualization. [Abstract] [bibtex-entry]



44. J. Vickers, H. Newberg, N. Cole, T. Desell, B. Szymanski, M. Magdon-Ismail, and C. Varela. The Effect of Orientation in Cross Sectional Studies. In American Astronomical Society Meeting Abstracts #215, volume 42 of Bulletin of the American Astronomical Society, pages #413.21, January 2010. Note: Provided by the SAO/NASA Astrophysics Data System. Keyword(s): distributed computing, astroinformatics. [Abstract] [bibtex-entry]



45. Ping Wang, Wei Huang, and Carlos A. Varela. Impact of Virtual Machine Granularity on Cloud Computing Workloads Performance. In Workshop on Autonomic Computational Science (ACS'2010), Brussels, Belgium, pages 393-400, October 2010. Keyword(s): distributed computing, cloud Computing, granularity, malleability, performance, virtual machine. [Abstract] [bibtex-entry]



46. Wei-Jen Wang, Carlos Varela, Fu-Hau Hsu, and Cheng-Hsien Tang. Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations. In Advances in Grid and Pervasive Computing, volume 6104 of Lecture Notes in Computer Science, Bologna, pages 244-255, May 2010. Springer Berlin / Heidelberg. Keyword(s): concurrent programming, actor model, garbage collection, internet programming languages. [Abstract] [bibtex-entry]



47. Nathan Cole, Heidi Jo Newberg, Malik Magdon-Ismail, Travis Desell, Carlos Varela, and Boleslaw Szymanski. A Study of the Sagittarius Tidal Stream Using Maximum Likelihood. In ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS XVIII, volume 411, Quebec, pages 221-225, November 2009. Keyword(s): distributed computing, scientific computing. [Abstract] [bibtex-entry]



48. Travis Desell, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos A. Varela, Heidi Newberg, and Nathan Cole. Robust Asynchronous Optimization for Volunteer Computing Grids. In Proceedings of the 5th IEEE International Conference on e-Science (eScience2009), Oxford, UK, pages 263-270, December 2009. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



49. Travis Desell, Anthony Waters, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos A. Varela, Matthew Newby, Heidi Newberg, Andreas Przystawik, and Dave Anderson. Accelerating the MilkyWay@Home volunteer computing project with GPUs. In Proceedings of the 8th International Conference on Parallel Processing and Applied Mathematics (PPAM 2009), Wroclaw, Poland, pages 13 pp., September 2009. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



50. Alexandre di Costanzo, Chao Jin, Carlos A. Varela, and Rajkumar Buyya. Enabling Computational Steering with an Asynchronous-Iterative Computation Framework. In Proceedings of the 5th IEEE International Conference on e-Science (eScience2009), Oxford, UK, pages 8 pp., December 2009. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



51. Nathan Cole, Heidi Jo Newberg, Malik Magdon-Ismail, Travis Desell, Boleslaw Szymanski, and Carlos Varela. Tracing the Sagittarius Tidal Stream with Maximum Likelihood. In CLASSIFICATION AND DISCOVERY IN LARGE ASTRONOMICAL SURVEYS, volume 1082, pages 216-220, October 2008. Keyword(s): distributed computing, scientific computing. [Abstract] [bibtex-entry]



52. Travis Desell, Boleslaw Szymanski, and Carlos A. Varela. An Asynchronous Hybrid Genetic-Simplex Search for Modeling the Milky Way Galaxy using Volunteer Computing. In Genetic and Evolutionary Computation Conference (GECCO 2008), Atlanta, Georgia, pages 921-928, July 2008. Keyword(s): distributed computing, astroinformatics, grid computing, scientific computing. [Abstract] [bibtex-entry]



53. Travis Desell, Boleslaw Szymanski, and Carlos A. Varela. Asynchronous Genetic Search for Scientific Modeling on Large-Scale Heterogeneous Environments. In Proceedings of the 17th International Heterogeneity in Computing Workshop (HCW/IPDPS'08), Miami, FL, pages 12 pp., April 2008. IEEE. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



54. Travis Desell, Nathan Cole, Malik Magdon-Ismail, Heidi Newberg, Boleslaw Szymanski, and Carlos A. Varela. Distributed and Generic Maximum Likelihood Evaluation. In 3rd IEEE International Conference on e-Science and Grid Computing (eScience2007), Bangalore, India, pages 337-344, December 2007. Note: Best paper (finalist) award. Keyword(s): distributed computing, scientific computing, grid computing, supercomputing, internet computing, distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



55. Kaoutar El Maghraoui, Travis Desell, Boleslaw K. Szymanski, and Carlos A. Varela. Dynamic Malleability in Iterative MPI Applications. In Proceedings of Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), Rio de Janeiro, Brazil, pages 591-598, May 2007. IEEE Computer Society. Note: Best paper award nominee. Keyword(s): concurrent programming, distributed computing, middleware, grid computing. [Abstract] [bibtex-entry]



56. Boleslaw Szymanski, Travis Desell, and Carlos A. Varela. The Effect of Heterogeneity on Asynchronous Panmictic Genetic Search. In Proc. of the Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM'2007), LNCS, Gdansk, Poland, pages 457-468, September 2007. Keyword(s): distributed computing, concurrent programming, scientific computing. [Abstract] [bibtex-entry]



57. Travis Desell, Kaoutar El Maghraoui, and Carlos A. Varela. Malleable Components for Scalable High Performance Computing. In Proceedings of the HPDC'15 Workshop on HPC Grid programming Environments and Components (HPC-GECO/CompFrame), Paris, France, pages 37-44, June 2006. IEEE Computer Society. Note: Best paper award. Keyword(s): distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



58. Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings, Jim Napolitano, Boleslaw K. Szymanski, and Carlos A. Varela. A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids. In Second IEEE International Conference on e-Science and Grid Computing, Amsterdam, Netherlands, pages 8 pp, December 2006. Keyword(s): distributed computing, grid computing, middleware, scientific computing. [Abstract] [bibtex-entry]



59. Wei-Jen Wang and Carlos A. Varela. Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach. In Proceedings of the First International Conference on Grid and Pervasive Computing (GPC 2006), volume 3947 of Lecture Notes in Computer Science, Taichung, Taiwan, pages 360-372, May 2006. Springer. Keyword(s): distributed computing, grid computing, internet programming languages. [Abstract] [bibtex-entry]



60. J. Field and C. A. Varela. Transactors: A Programming Model for Maintaining Globally Consistent Distributed State in Unreliable Environments. In ACM Conference on Principles of Programming Languages (POPL 2005), Long Beach, CA, pages 195-208, January 2005. Keyword(s): distributed computing, concurrent programming, coordination models. [Abstract] [bibtex-entry]



61. Kaoutar El Maghraoui, Boleslaw Szymanski, and Carlos A. Varela. An Architecture for Reconfigurable Iterative MPI Applications in Dynamic Environments. In R. Wyrzykowski, J. Dongarra, N. Meyer, and J. Wasniewski, editors, Proc. of the Sixth International Conference on Parallel Processing and Applied Mathematics (PPAM'2005), number 3911 of LNCS, Poznan, Poland, pages 258-271, September 2005. Keyword(s): concurrent programming, distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



62. Ayse Morali, Leonardo Varela, and Carlos A. Varela. An Electronic Marketplace: Agent-based Coordination Models for Online Auctions. In XXXI Conferencia Latinoamericana de Informática, Cali, Colombia, pages 573-586, October 2005. Keyword(s): electronic commerce, concurrent programming, software agents, cyber physical systems. [Abstract] [bibtex-entry]



63. Camron Tolman and Carlos A. Varela. A Fault-Tolerant Home-Based Naming Service For Mobile Agents. In XXXI Conferencia Latinoamericana de Informática, Cali, Colombia, October 2005. Keyword(s): distributed computing, grid computing, middleware, software agents. [Abstract] [bibtex-entry]



64. Travis Desell, H. Iyer, Abe Stephens, and Carlos A. Varela. OverView: A Framework for Generic Online Visualization of Distributed Systems. In Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS 2004), eclipse Technology eXchange (eTX) Workshop, volume 17, Barcelona, Spain, pages 87-101, March 2004. Keyword(s): distributed computing, distributed systems visualization, software agents, middleware. [Abstract] [bibtex-entry]



65. Travis Desell, Kaoutar El Maghraoui, and Carlos A. Varela. Load Balancing of Autonomous Actors over Dynamic Networks. In Proceedings of the Hawaii International Conference on System Sciences, HICSS-37 Software Technology Track, pages 1-10, January 2004. Keyword(s): distributed computing, grid computing, software agents, middleware. [Abstract] [bibtex-entry]



66. Kaoutar El Maghraoui, J. Flaherty, B. Szymanski, J. Teresco, and Carlos A. Varela. Adaptive Computation over Dynamic and Heterogeneous Networks. In Proc. of the Fifth International Conference on Parallel Processing and Applied Mathematics (PPAM'2003), number 3019 of LNCS, Czestochowa, Poland, pages 1083-1090, September 2003. Keyword(s): grid computing, middleware. [Abstract] [bibtex-entry]



67. B. Szymanski, Carlos A. Varela, J. Cummings, and J. Napolitano. Dynamically Reconfigurable Scientific Computing on Large-Scale Heterogeneous Grids. In Proc. of the Fifth International Conference on Parallel Processing and Applied Mathematics (PPAM'2003), volume 3019 of LNCS, Czestochowa, Poland, pages 419-430, September 2003. Note: Invited paper. Keyword(s): distributed computing, grid computing. [Abstract] [bibtex-entry]



68. Robin Toll and Carlos A. Varela. Mobility and Security in Worldwide Computing. In Proceedings of the 9th ECOOP Workshop on Mobile Object Systems, Darmstadt, Germany, July 2003. Keyword(s): distributed computing, grid computing, software agents, internet programming languages. [Abstract] [bibtex-entry]



69. J. Field and C. A. Varela. Toward a Programming Model for Building Reliable Systems with Distributed State. In Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures (affiliated with CONCUR), Brno, Czech Republic, pages 328-346, August 2002. Keyword(s): distributed computing, concurrent programming, coordination models. [Abstract] [bibtex-entry]



70. C. Varela and G. Agha. A Hierarchical Model for Coordination of Concurrent Activities. In P. Ciancarini and A. Wolf, editors, Third International Conference on Coordination Languages and Models (COORDINATION '99), LNCS 1594, Berlin, pages 166-182, April 1999. Springer-Verlag. Keyword(s): concurrent programming, coordination models. [Abstract] [bibtex-entry]



71. G. Agha, M. Astley, J. Sheikh, and C. A. Varela. Modular Heterogeneous System Development: A Critical Analysis of Java. In J. Antonio, editor, Proceedings of the Seventh Heterogeneous Computing Workshop (HCW '98), pages 144-155, March 1998. IEEE Computer Society. Keyword(s): distributed computing, internet programming languages, concurrent programming, coordination models. [Abstract] [bibtex-entry]



72. R. delaRosa, M. Franky, P. Figueroa, and C. A. Varela. Objetos Móviles en un Sistema Distribuido sobre el WWW. In XXIII Conferencia Latinoamericana de Informática, volume II, Valparaiso, Chile, pages 567-578, November 1997. Keyword(s): distributed computing, grid computing. [Abstract] [bibtex-entry]



73. N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mucke, and C. A. Varela. Alpha Shapes: Definitions and Software. In Proceedings of the 1st International Computational Geometry Software Workshop, February 1995. Keyword(s): distributed computing, computational geometry. [Abstract] [bibtex-entry]



74. C. Varela. Automating Database Provision for the World-Wide Web and Mosaic. In Proceedings of the Ninth International Symposium on Information Systems, Kobe, Japan, October 1994. Note: Invited speaker. Keyword(s): distributed computing, databases and the web. [bibtex-entry]



75. C. Varela and C. Hayes. Providing Data on the Web: From Examples to Programs. In Proceedings of the Second International Conference on the World-Wide Web, Chicago, U.S.A., October 1994. Keyword(s): distributed computing, databases and the web. [Abstract] [bibtex-entry]



76. C. Varela and C. Hayes. Zelig: Schema-Based Generation of Soft WWW Database Applications. In Proceedings of the First International Conference on the World-Wide Web, Geneva, Switzerland, May 1994. Keyword(s): distributed computing, databases and the web. [Abstract] [bibtex-entry]

1. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Verification of Eventual Consensus in Synod using a Failure-Aware Actor Model. Technical report, Rensselaer Polytechnic Institute, Department of Computer Science, 2021. Note: This report is an extended version of the NASA Formal Methods Symposium 2021 proceedings paper. Keyword(s): Synod, Paxos, actor model, formal verification, distributed computing, distributed systems, Athena, formal verification, Athena, distributed systems, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



2. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Maximum Sustainable Throughput Prediction for Large-Scale Data Streaming Systems. Technical report, Rensselaer Polytechnic Institute Department of Computer Science, November 2017. Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



3. David Musser and Carlos A. Varela. Human-Readable Machine-Checkable Abstract Reasoning about Actor Systems. Technical report 12-01, Rensselaer Polytechnic Institute Department of Computer Science, 2012. Keyword(s): actor model, concurrent programming, formal verification. [Abstract] [bibtex-entry]



4. Jason LaPorte and Carlos A. Varela. Organic and Hierarchical Concentric Layouts for Distributed System Visualization. Technical report, Rensselaer Polytechnic Institute Worldwide Computing Laboratory, 2008. Keyword(s): distributed computing, distributed systems visualization. [Abstract] [bibtex-entry]



5. C. A. Varela, G. Agha, W. Wang, T. Desell, K. E. Maghraoui, J. LaPorte, and A. Stephens. The SALSA Programming Language: 1.1.2 Release Tutorial. Technical report 07-12, Dept. of Computer Science, R.P.I., February 2007. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]



6. Wei-Jen Wang and Carlos A. Varela. A Non-Blocking Reference Listing Algorithm for Mobile Active Object Garbage Collection. Technical report 07-05, Dept. of Computer Science, R.P.I., February 2007. Keyword(s): distributed computing, grid computing, internet programming languages. [Abstract] [bibtex-entry]



7. Wei-Jen Wang and Carlos A. Varela. A Non-blocking Snapshot Algorithm for Distributed Garbage Collection of Mobile Active Objects. Technical report 06-15, Dept. of Computer Science, R.P.I., October 2006. Keyword(s): distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



8. Wei-Jen Wang and Carlos A. Varela. Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach. Technical report 06-04, Dept. of Computer Science, R.P.I., February 2006. Note: Extended Version of GPC'06 Paper. Keyword(s): distributed computing, grid computing, internet programming languages. [Abstract] [bibtex-entry]



9. Kaoutar El Maghraoui, Travis J. Desell, and Carlos A. Varela. Network Sensitive Reconfiguration of Distributed Applications. Technical report 05-03, Rensselaer Polytechnic Institute Department of Computer Science, 2005. Keyword(s): distributed computing, concurrent programming, grid computing, middleware. [Abstract] [bibtex-entry]



10. James D. Teresco, Joseph E. Flaherty, Scott B. Baden, Jamal Faik, Sébastien Lacour, Manish Parashar, Valerie E. Taylor, and Carlos A. Varela. Approaches to Architecture-Aware Parallel Scientific Computation. Technical report CS-04-09, Williams College Department of Computer Science, 2005. Note: Submitted to Proc. PP'04: Frontiers of Scientific Computing. Keyword(s): grid computing, scientific computing. [Abstract] [bibtex-entry]



11. J. Field and C. A. Varela. Transactors: A Programming Model for Maintaining Globally Consistent Distributed State in Unreliable Environments. Technical report 15, Rensselaer Polytechnic Institute Department of Computer Science, Troy, NY, December 2004. Note: Includes proofs of theorems in POPL'05 paper. Keyword(s): distributed computing, concurrent programming, coordination models. [Abstract] [bibtex-entry]



12. Kaoutar El Maghraoui, Carlos A. Varela, Boleslaw K. Szymanski, Joseph E. Flaherty, and James D. Teresco. A Middleware Framework for Dynamically Reconfigurable MPI Applications. Technical report CS-04-09, Williams College Department of Computer Science, 2004. Keyword(s): distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



13. Harihar N. Iyer, Abe Stephens, Travis Desell, and Carlos A. Varela. OverView - Dynamic Visualization of Java-Based Highly Reconfigurable Distributed Systems. Technical report, Rensselaer Polytechnic Institute Worldwide Computing Laboratory, August 2003. Keyword(s): distributed computing, distributed systems visualization. [Abstract] [bibtex-entry]

1. Carlos A. Varela. Too many airplane systems rely on too few sensors, April 2019. Note: Article published in TheConversation.com. Keyword(s): cyber physical systems, dddas. [bibtex-entry]



2. R. Buyya, S. Narayana Srirama, G. Casale, R. Calheiros, Y. Simmhan, B. Varghese, E. Gelenbe, B. Javadi, L. M. Vaquero, M. A. S. Netto, A. Nadjaran Toosi, M. A. Rodriguez, I. M. Llorente, S. De Capitani di Vimercati, P. Samarati, D. Milojicic, C. Varela, R. Bahsoon, M. Dias de Assuncao, O. Rana, W. Zhou, H. Jin, W. Gentzsch, A. Zomaya, and H. Shen. A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade, November 2017. Keyword(s): distributed computing, cloud computing. [Abstract] [bibtex-entry]



3. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Cost-Efficient Elastic Stream Processing Using Application-Agnostic Performance Prediction. 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2016), May 2016. Note: Doctoral symposium paper (best doctoral symposium paper award). Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



4. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Elastic Virtual Machine Scheduling for Continuous Air Traffic Optimization. 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2016), May 2016. Note: Short paper. Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



5. Stacy Patterson and Carlos A. Varela. Steering Complex Systems using a Dynamic, Data-Driven Modeling Approach. Streaming Technology Requirements, Application and Middleware (STREAM2016), March 2016. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



6. Matthew Hancock and Carlos A. Varela. Augmenting Performance For Distributed Cloud Storage. 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2015), May 2015. Note: Poster. Keyword(s): distributed computing, distributed cloud storage, cloud computing. [Abstract] [bibtex-entry]



7. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Cost-Efficient High-Performance Internet-Scale Data Analytics over Multi-Cloud Environments. 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2015), May 2015. Note: Doctoral symposium paper. Keyword(s): distributed computing, cloud computing. [Abstract] [bibtex-entry]



8. Carlos A Varela. Dynamic Data Driven Avionics Systems. Streaming Technology Requirements, Application and Middleware (STREAM2015), October 2015. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



9. Carlos A. Varela. Flexible Software Technology for Scalable Cloud Computing. NSF Workshop on the Science of Cloud Computing, Arlington, Virginia, U.S.A., March 17-18, 2011., March 2011. Keyword(s): distributed computing, cloud computing. [bibtex-entry]



10. C. Varela. Enabling Synchronous Computation on Volunteer Computing Grids. The 4th Pan-Galactic BOINC Workshop, September 2008. Note: Presentation video available. Keyword(s): distributed computing, grid computing, middleware, scientific computing. [bibtex-entry]



11. C. Varela. Worldwide Computing with Coordinated Adaptive Mobile Web Services. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002) Object-Oriented Web Services Workshop, November 2002. Note: Invited speaker. Keyword(s): distributed computing, cyber physical systems, grid computing, electronic commerce. [Abstract] [bibtex-entry]



12. C. Varela and G. Agha. Linguistic Support for Actors, First-Class Token-Passing Continuations and Join Continuations. Proceedings of the Midwest Society for Programming Languages and Systems Workshop, October 1999. Keyword(s): concurrent programming, internet programming languages. [bibtex-entry]



13. C. Varela. An Actor-Based Approach to World-Wide Computing. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 98), Doctoral Symposium, October 1998. Keyword(s): distributed computing, concurrent programming, grid computing, software agents. [Abstract] [bibtex-entry]



14. C. Varela. Tyba: A Simple HTTP Server Developed in Java. Zolar/Oracle Users Symposium, Tokyo, Japan, July 1996. Keyword(s): distributed computing, concurrent programming, internet programming languages. [bibtex-entry]



15. C. Varela. Browsing Databases over the World-Wide Web. Master's thesis, University of Illinois at Urbana-Champaign, 1995. Keyword(s): distributed computing, databases and the web. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html