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. 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]



3. 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]



4. 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]



5. 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. Saswata Paul. Formal Verification of Decentralized Coordination in Autonomous Multi-Agent Aerospace Systems. PhD thesis, Rensselaer Polytechnic Institute, 2022. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, autonomous systems, runtime verification, cyber physical systems. [Abstract] [bibtex-entry]



2. Shigeru Imai. Elastic Cloud Computing for QoS-Aware Data Processing. PhD thesis, Rensselaer Polytechnic Institute, 2018. Keyword(s): distributed computing, cloud computing, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



3. Travis Desell. Asynchronous Global Optimization for Massive-Scale Computing. PhD thesis, Rensselaer Polytechnic Institute, 2009. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



4. Kaoutar El Maghraoui. A Framework for the Dynamic Reconfiguration of Scientific Applications in Grid Environments. PhD thesis, Rensselaer Polytechnic Institute, 2007. Keyword(s): concurrent programming, distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



5. Wei-Jen Wang. Distributed Garbage Collection for Large-Scale Mobile Actor Systems. PhD thesis, Rensselaer Polytechnic Institute, 2006. Keyword(s): distributed computing, grid computing, internet programming languages, software agents. [Abstract] [bibtex-entry]



6. 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, 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]



2. 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]



3. 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]



4. 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]



5. 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]



6. 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]



7. 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]



8. 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]



9. 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]



10. 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]



11. 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]



12. 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]



13. 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]



14. 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]



15. 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]



16. 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]



17. 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]



18. 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]



19. 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. 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]



3. 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]



4. 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]



5. 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]



6. 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]



7. 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]



8. 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]



9. 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]



10. 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]



11. 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]



12. 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]



13. 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]



14. 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]



15. 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]



16. 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]



17. 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]



18. 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]



19. 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]



20. 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]



21. 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]



22. 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]



23. 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]



24. 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]



25. 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]



26. 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]



27. 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]



28. 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]



29. 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]



30. 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]



31. 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]



32. 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]



33. 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]



34. 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]



35. 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]



36. 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]



37. 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]



38. 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]



39. 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]



40. Kaoutar El Maghraoui, Alok Meghranjani, Tamar Eilam, Michael H. Kalantar, and Alexander V. Konstantinou. Model Driven Provisioning: Bridging the Gap Between Declarative Object Models and Procedural Provisioning Tools.. In Proc. of Middleware 2006, ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, Lecture Notes in Computer Science, pages 404-423, 2006. Springer. Keyword(s): distributed computing, middleware. [Abstract] [bibtex-entry]



41. 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]



42. 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]



43. 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]



44. 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]



45. Jon Purnell, Malik Magdon-Ismail, and Heidi Jo Newberg. A Probabilistic Approach to Finding Geometric Objects in Spatial Datasets of the Milky Way. In Foundations of Intelligent Systems, volume 3488/2005, pages 485-493, 2005. Springer Berlin / Heidelberg. Keyword(s): scientific computing, distributed computing. [Abstract] [bibtex-entry]



46. 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]



47. 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]



48. 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]



49. 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]



50. 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]



51. 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]



52. 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]



53. 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]



54. 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]



55. 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]



56. 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]



57. 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]



58. 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. 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]



6. 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]



7. 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]



8. 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]



9. 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]



10. 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]



11. 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. Andrew Wilkerson. Deadlock Freedom in Actor Languages. Master's thesis, Rensselaer Polytechnic Institute, December 2023. Keyword(s): deadlock, distributed computing, session types. [Abstract] [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. Matthew Hancock. Middleware Framework for Distributed Cloud Storage. Master's thesis, Rensselaer Polytechnic Institute, May 2015. Keyword(s): distributed computing, distributed cloud storage, cloud computing. [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. Ian W. Dunn. Proving Correctness of Actor Systems using FIFO Communication. Master's thesis, Rensselaer Polytechnic Institute, May 2014. Keyword(s): distributed computing, concurrent programming, internet programming languages, actor model, formal verification. [Abstract] [bibtex-entry]



9. Jonathan Goldszmidt. A Look Into Virtual Machine Malleability. Master's thesis, Rensselaer Polytechnic Institute, May 2014. Keyword(s): virtual machines malleability, distributed computing. [Abstract] [bibtex-entry]



10. Phillip Kuang. Implementation of the Transactor Model: Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing. Master's thesis, Rensselaer Polytechnic Institute, July 2014. Keyword(s): distributed computing, concurrent programming, coordination models, internet programming languages. [Abstract] [bibtex-entry]



11. Pratik Patel. Speeding Up and Augmenting Mobile Device Applications using Actors and Cloud Computing. Master's thesis, Rensselaer Polytechnic Institute, December 2014. Keyword(s): distributed computing, concurrent programming. [Abstract] [bibtex-entry]



12. Shigeru Imai. Task Offloading between Smartphones and Distributed Computational Resources. Master's thesis, Rensselaer Polytechnic Institute, May 2012. Keyword(s): distributed computing, mobile computing, cloud computing. [Abstract] [bibtex-entry]



13. Qingling Wang. Middleware for Autonomous Reconfiguration of Virtual Machines. Master's thesis, Rensselaer Polytechnic Institute, August 2011. Keyword(s): distributed computing, cloud computing, middleware. [Abstract] [bibtex-entry]



14. 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]



15. Travis Desell. Robust Asynchronous Optimization using Volunteer Computing Grids. The 5th Pan-Galactic BOINC Workshop, October 2009. Keyword(s): distributed computing, grid computing, middleware, scientific computing. [Abstract] [bibtex-entry]



16. Brian Boodman. Implementing and Verifying the Safety of the Transactor Model. Master's thesis, Rensselaer Polytechnic Institute, May 2008. Keyword(s): distributed computing, concurrent programming, coordination models, internet programming languages, formal verification. [Abstract] [bibtex-entry]



17. 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]



18. Travis Desell. Autonomic Grid Computing using Malleability and Migration: An Actor-Oriented Software Framework. Master's thesis, Rensselaer Polytechnic Institute, May 2007. Keyword(s): distributed computing, middleware, grid computing, internet programming languages. [Abstract] [bibtex-entry]



19. Ayse Morali. AcTrust: A Security Model for Trust-based Computing. Master Thesis. Technische Universität Darmstadt, April 2006. Keyword(s): internet programming languages, electronic commerce, cyber physical systems. [Abstract] [bibtex-entry]



20. Shailesh Kelkar. A Generic Framework for Distributed Computation. Master's thesis, Rensselaer Polytechnic Institute, July 2004. Keyword(s): distributed computing, grid computing. [Abstract] [bibtex-entry]



21. Camron Tolman. A Fault-Tolerant Home-Based Naming Service for Mobile Agents. Master's thesis, Rensselaer Polytechnic Institute, April 2003. Keyword(s): distributed computing, grid computing, middleware, software agents, concurrent programming. [Abstract] [bibtex-entry]



22. 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]



23. 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]



24. 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]



25. 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