"The programmer, like the poet, works only
slightly removed from pure thought-stuff. He
builds castles in the air, from air, creating by
exertion of the imagination."

Fred Brooks (The Mythical Man Month)

(( λ (x) (x x)) ( λ (x) (x x)))

Publications

Dissertation:

  • Marc L. Smith. View-Centric Reasoning about Parallel and Distributed Computation. PhD thesis, University of Central Florida, Orlando, FL 32816-2362, December 2000. Postscript and in the UCF institutional repository, STARS.

Journal:

  • Livingston Nicholas, Bernatskiy Anton, Livingston Kenneth, Smith Marc L., Schwarz Jodi, Bongard Joshua C., Wallach David, Long John H., “Modularity and Sparsity: Evolution of Neural Net Controllers in Physically Embodied Robots,” Frontiers in Robotics and AI, Vol. 3, 2016, doi: 10.3389/frobt.2016.00075, ISSN: 2296-9144.
  • Long, J.H. Jr., Bernatskiy, A., Bongard, J.C., Livingston, N., Schwarz, J., Smith, M.L., and Livingston, K.. “Robotic connectomes: Chasing evolvability with evolving, mobile robots.,” Integrative and Comparative Biology, v.56, 2016, p. e131.
  • Lois M. Banta, Erica J. Crespi, Ross H. Nehm, Jodi A. Schwarz, Susan Singer, Cathryn A. Manduca, Eliot C. Bush, Elizabeth Collins, Cara M. Constance, Derek Dean, David Esteban, Sean Fox, John McDaris, Carol Ann Paul, Ginny Quinan, Kathleen M. Raley-Susman, Marc L. Smith, Christopher S. Wallace, Ginger S. Withers, and Lynn Caporale, “Integrating Genomics Research throughout the Undergraduate Curriculum: A Collection of Inquiry-Based Genomics Lab Modules”, CBE Life Sciences Education, September 4, 2012. 11:203-208; doi:10.1187/cbe.11-12-0105
  • Shinichi Sunagawa, Emily C Wilson, Michael Thaler, Marc L Smith, Carlo Caruso, John R Pringle, Virginia M Weis, Mónica Medina and Jodi A Schwarz, “Generation and analysis of transcriptomic resources for a model system on the rise: the sea anemone Aiptasia pallida and its dinoflagellate endosymbiont,”BMC Genomics 2009, 10:258 (05 Jun 2009).
  • Marc L. Smith, Rebecca J. Parsons, and Charles E. Hughes. “View-Centric Reasoning for Linda and Tuple Space Computation,” IEE Proceedings-Software150(2), pp 71-84. Special Issue on Communicating Process Architectures 2002. April 2003.

Refereed Conference Proceedings:

  • Ari Larson, Anton Bernatskiy, Collin Cappelle, Ken Livingston, Nicholas Livingston, John Long, Jodi Schwarz, Marc Smith, and Josh Bongard. 2016. Recombination Hotspots Promote the Evolvability of Modular Systems. In Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion (GECCO ’16 Companion), Tobias Friedrich (Ed.). ACM, New York, NY, USA, 115-116. DOI: https://doi.org/10.1145/2908961.2908990
  • Josh C. Bongard, Anton Bernatskiy, Ken Livingston, Nicholas Livingston, John Long, and Marc Smith. 2015. Evolving Robot Morphology Facilitates the Evolution of Neural Modularity and Evolvability. In Proceedings of the 2015 on Genetic and Evolutionary Computation Conference (GECCO ’15), Sara Silva (Ed.). ACM, New York, NY, USA, 129-136. DOI=10.1145/2739480.2754750 http://doi.acm.org/10.1145/2739480.2754750
  • Jan Bækgaard Pedersen and Marc L. Smith, “ProcessJ: A Possible Future of Process- Oriented Design,” in Communicating Process Architectures 2013: Proceedings of the 35th WoTUG Technical Meeting (CPA 2013), Open Channel Publishing, Ltd., Edinburgh Napier University. August 25-28, 2013.
  • Neil Brown and Marc L. Smith, “Relating and Visualising CSP, VCR and Structural Traces,” in Concurrent Systems Engineering Series (Peter H. Welch, et al. Eds.) IOS Press, Amsterdam, 2009. Communicating Process Architectures (CPA 2009), Technische Universiteit Eindhoven. November 1-4, 2009. pp. 89-103. PDF
  • Neil Brown and Marc L. Smith, “Representation and Implementation of CSP and VCR Traces,” in Concurrent Systems Engineering Series (Peter H. Welch, et al. Eds.) IOS Press, Amsterdam, 2008. Communicating Process Architectures (CPA 2008), University of York (York, England). September 7-10, 2008. pp. 329-345. PDF
  • Mark Burgin and Marc L. Smith, “Compositions of Concurrent Processes,” in Concurrent Systems Engineering Series (Frederick R. M. Barnes, Jon M. Kerridge, Peter H. Welch, Eds.) IOS Press, Amsterdam, 2006. Communicating Process Architectures (CPA 2006), Napier University (Edinburgh, Scotland). September 17-20, 2006. pp. 281-296. PDF
  • Tiffani L. Williams and Marc L. Smith, “The Role of Diverse Populations in Phylogenetic Analysis,” The Genetic and Evolutionary Computation Conference, (GECCO 2006). Seattle, WA, July 8-12, 2006. PDF
  • Mark Burgin and Marc L. Smith, “From Sequential Processes to Grid Computation,” in Proceedings of the 2006 International Conference on Foundations of Computer Science (FCS’06), Edited by Hamid R. Arabnia and Mark Burgin, CSREA Press, Las Vegas, Nevada, USA, 26-29 June 2006. pp. 10-16. PDF
  • Marc L. Smith and Tiffani L. Williams, “Phylospaces: Reconstructing Evolutionary Trees in Tuple Space,” Fifth IEEE International Workshop on High Performance Computational Biology (HiCOMB 2006), Rhodes Island, Greece, April 25, 2006. PDF.
  • Tiffani L. Williams and Marc L. Smith, “Cooperative Rec-I-DCM3: A Population-Based Approach for Reconstructing Phylogenies,” 2005 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB’05). San Diego, CA. Nov. 14-15, 2005. PDF
  • Marc L. Smith. “A Unifying Theory of True Concurrency Based on CSP and Lazy Observation,” in Concurrent Systems Engineering Series (Roebbers, Welch, and Wood, Eds.) IOS Press, Amsterdam, 2005. Communicating Process Architectures (CPA 2005), Technische Universiteit Eindhoven (Eindhoven, the Netherlands. September 18-21, 2005. pp. 177-188. PDF
  • Marc L. Smith. “Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency,” in (FCS’05), Edited by Hamid R. Arabnia and Rose Joshua, CSREA Press, Las Vegas, Nevada, USA, 27-30 June 2005. pp. 118-124. PDF
  • Marc L. Smith. “Focusing on Traces to Link VCR and CSP,” in Concurrent Systems Engineering Series (East, Martin, Welch, Duce, and Green, Eds.) IOS Press, Amsterdam, 2004. (Presented at Communicating Process Architectures – 2004, Oxford Brookes University (Headington Campus, Oxford, UK). September 5-8, 2004. pp. 353-360. PDF .
  • Marc L. Smith, Charles E. Hughes, and Kyle W. Burke. “The Denotational Semantics of View-Centric Reasoning,” in Concurrent Systems Engineering Series(Broenink and Hilderink, Eds.) IOS Press, Amsterdam, 2003. (Presented at Communicating Process Architectures – 2003. The University of Twente (Enschede, the Netherlands). September 7-10, 2003. PDF.
  • Marc L. Smith and Charles E. Hughes. “A Characterization of Lazy and Eager Semantic Solutions to the Linda Predicates Ambiguity Problem,” Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA’03), Edited by Hamid R. Arabnia, CSREA Press, Las Vegas, Nevada, USA, 23-26 June 2003. PDF
  • Charles E. Hughes and Marc L. Smith. “Teaching Java Concurrency to CS vs IT Students: A Matter of Emphasis,” Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA’03), Edited by Hamid R. Arabnia, CSREA Press, Las Vegas, Nevada, USA, 23-26 June 2003. PDF
  • Marc L. Smith, Rebecca J. Parsons, and Charles E. Hughes. View-Centric Reasoning about Space-Based Middleware. IASTED International Conference on Information and Knowledge Sharing (IKS 2002). St. Thomas, US Virgin Islands. November 18-20, 2002. PDF .
  • Marc L. Smith, Rebecca J. Parsons, and Charles E. Hughes. ” View-Centric Reasoning for Linda and Tuple Space Computation,” in Concurrent Systems Engineering Series (Pascoe, Loader and Sunderam, Eds.) IOS Press, Amsterdam, 2002. (Presented at Communicating Process Architectures 2002, The University of Reading (England). September 15-18, 2002.) PDF .
  • Marc L. Smith, Rebecca J. Parsons, and Charles E. Hughes. View-Centric Reasoning in Modern Computing Systems. In Proceedings of the International Conference on Communications in Computing . Las Vegas, Nevada, USA. June 24-27, 2002. PDF .
  • Charles E. Hughes, J.Michael Moshell, Sean G. Hughes, and Marc L. Smith. “Cooperative Problem Solving among K-12 Students: The ExploreNet Project,”Proceedings of Frontiers in Education ‘92, Nov. 1992, pp. 522-526.

Abstracts:

  • Mark Burgin and Marc L. Smith, “Algebras of Actions in Concurrent Processes,” in Concurrent Systems Engineering Series (Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter H. Welch, Eds.) IOS Press, Amsterdam, 2007. Communicating Process Architectures 2007 (CPA 2007), University of Surrey (Guildford, UK). July 8-11, 2007. p. 505. PDF

Workshop papers:

  • Marc L. Smith. “TeachScheme! Lite: A Recipe for Teaching EoPL Without Prerequisites,” Proceedings of the TeachScheme! Anniversary Workshop, Brown University, Providence, RI, June 11-12, 2005. Edited by Richard Cobbe, NU-CCIS-05-05. College of Computer and Information Science, Northeastern University, Boston, MA. pp. 200-203.

Preprints:

  • Mark Burgin and Marc L. Smith, “Concurrent Composition and Algebras of Events, Actions, and Processes,” arXiv.org, arXiv:0803.3099v1, March 2008.

Book Review:

  • Mark Burgin, Super-Recursive Algorithms. Series: Monographs in Computer Science. Springer Verlag (2005). ISBN 0-387-95569-0. $79.95/{pound}61.50/{euro}79.95. 304 pp. Hardbound.
    Marc L. Smith, The Computer Journal 2006 49(6):762-763; doi: 10.1093/comjnl/bxl050. Online article.