BACK TO INDEX

Publications about 'concurrent programming'
Books and proceedings
  1. 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]


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


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


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


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


Articles in journal, book chapters
  1. 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]


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


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


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


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


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


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


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


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


Conference articles
  1. 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]


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


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


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


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


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


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


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


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


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


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


Internal reports
  1. 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]


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


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


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


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


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


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


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


  5. Mayuresh Kulkarni. A Calculus for Distributed Mobile Computing with Static Resource Access and Usage Control. Master's thesis, Rensselaer Polytechnic Institute, July 2005. Keyword(s): coordination models, concurrent programming. [Abstract] [bibtex-entry]


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


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


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


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



BACK TO INDEX




Disclaimer:

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.




Last modified: Mon Dec 18 15:00:23 2023
Author: led2.


This document was translated from BibTEX by bibtex2html