Abstract
My research focuses on finding a better way to program massively distributed systems. Programming these systems is crucial as we move into a world where they are increasingly necessary. Unforunately, existing concurrency models in modern languages are very difficult for programmers to understand and to reason about. Many programmers have an extremely hard time writing and debugging concurrent programs, let alone massively distributed ones. Race conditions, in particular, are among the most challenging bugs to find, understand, and resolve.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ashley-Rollman, M.P., Lee, P., Goldstein, S.C., Pillai, P., Campbell, J.D.: A language for large ensembles of independently executing nodes. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 265–280. Springer, Heidelberg (2009)
Chu, D., Tavakoli, A., Popa, L., Hellerstein, J.: Entirely declarative sensor network systems. In: Proceedings of Very Large Data Bases (2006)
Dewey, D., Srinivasa, S.S., Ashley-Rollman, M.P., Rosa, M.D., Pillai, P., Mowry, T.C., Campbell, J.D., Goldstein, S.C.: Generalizing metamodules to simplify planning in modular robotic systems. In: Proceedings of IEEE/RSJ 2008 International Conference on Intelligent Robots and Systems IROS 2008, Nice, France (September 2008)
Funiak, S., Pillai, P., Ashley-Rollman, M.P., Campbell, J.D., Goldstein, S.C.: Distributed localization of modular robot ensembles. In: Proceedings of Robotics: Science and Systems (June 2008)
Goldstein, S.C., Mowry, T.C.: Claytronics: An instance of programmable matter. In: Wild and Crazy Ideas Session of ASPLOS, Boston, MA (October 2004)
Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking: language, execution and optimization. In: Proc. of the 2006 ACM SIGMOD int’l conf. on Management of data, pp. 97–108. ACM Press, New York (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ashley-Rollman, M.P. (2009). Research Summary: Logic Programming for Massively Distributed Systems. In: Hill, P.M., Warren, D.S. (eds) Logic Programming. ICLP 2009. Lecture Notes in Computer Science, vol 5649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02846-5_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-02846-5_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02845-8
Online ISBN: 978-3-642-02846-5
eBook Packages: Computer ScienceComputer Science (R0)