Research Summary: Logic Programming for Massively Distributed Systems

  • Michael P. Ashley-Rollman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5649)


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.


Sensor Network Logic Program Logic Programming Overlay Network Concurrent Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    Chu, D., Tavakoli, A., Popa, L., Hellerstein, J.: Entirely declarative sensor network systems. In: Proceedings of Very Large Data Bases (2006)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Goldstein, S.C., Mowry, T.C.: Claytronics: An instance of programmable matter. In: Wild and Crazy Ideas Session of ASPLOS, Boston, MA (October 2004)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Michael P. Ashley-Rollman
    • 1
  1. 1.Carnegie Mellon UniversityPittsburgh

Personalised recommendations