Skip to main content

LAMP: Laboratory for Molecular Programming

Laboratory for Molecular Programming

News

  • Michael Gerten presented the paper "ChemTest: An Automated Software Testing Framework for an Emerging Paradigm," by Michael C. Gerten, James I. Lathrop, Myra Cohen, and Titus H. Klinge, on September 23, 2020, at the Thirty-fifth IEEE/ACM International Conference on Automated Software Engineering.

  • The paper "ChemTest: An Automated Software Testing Framework for an Emerging Paradigm," by Michael C. Gerten, James I. Lathrop, Myra Cohen, and Titus H. Klinge, won an ACM SIGSOFT Distinguished Paper Award for the 35th IEEE/ACM International Conference on Automated Software Engineering (September 21-25, 2020).

  • Hugh Potter presented the paper "Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks," by James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley, on September 17, 2020, at the Twenty-sixth International Conference on DNA Computing and Molecular Programming.

  • Hugh Potter presented the paper "ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly," by Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, and Matthew R. Riley, on September 16, 2020, at the Twenty-sixth International Conference on DNA Computing and Molecular Programming.

  • Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, and Matthew R. Riley released ALCH beta software binaries via this LAMP website.  This software helps users compile and simulate programs on the network-controlled tile assembly model.

  • LAMP had the following two posters at the Twenty-sixth International Conference on DNA Computing and Molecular Programming. 1. Willem Fletcher, a LAMP collaborator at Carleton College) and Matt Rayman presented "New Insights on Real-Time CRN-Computable Numbers," by Willem Fletcher, Titus H. Klinge, James I. Lathrop, and Matthew Rayman. 2. Michael Gerten presented "A Software Testing Framework for Stochastic Chemical Reaction Network Programs," by Michael C. Gerten, James I. Lathrop, Myra B Cohen, and Titus H. Klinge.

  • Xiang Huang successfully defended his Ph.D. thesis, "Chemical Reaction Networks: Computability, Complexity, and Randomness," on August 19, 2020.  Dr. Huang was advised by Jack Lutz and has accepted a position as Assistant Professor of Computer Science at the University of Illinois Springfield.  Congratulations, Xiang!

  • The paper "Robust Biomolecular Finite Automata," by Titus H. Klinge, James I. Lathrop, and Jack H. Lutz, appeared in the May 16, 2020, issue of Theoretical Computer Science.

  • Mikaela Cashman successfully defended her Ph.D. thesis, "Interpretability of Configurable Software in the Biosciences," on May 6, 2020.  Dr. Cashman was advised by Myra Cohen and has accepted a position as a Postdoctoral Researcher at the Oak Ridge National Laboratory.  Congratulations, Mikaela!

  • Jack Lutz and Robyn Lutz spent the first half of their Spring, 2020, sabbatical visiting Erik Winfree and his molecular programming group at Caltech.  Jack and Robyn planned to spend the second half of the sabbatical at the University of Texas, but the COVID-19 crisis forced them to work from home in Ames instead.

  • Robyn Lutz gave the talk “Behavioral Modeling of Molecular Programs at Scale”, at the Annual meeting of IFIP (International Federation of Information Processing) 2.9, Working Group on Requirements Engineering, Panama City, Panama, Feb. 9-14, 2020.

  • Jack Lutz gave an invited talk, "Passing Hilbert's Final Test," in the AMS-ASL Special Session on Logic Facing Outward at the Joint Mathematics Meetings, January 15-18, 2020, in Denver, CO.

  • Robyn Lutz and Jack Lutz attended the NSF Cyber-Physical Systems Principal Investigators’ Meeting in Arlington, VA, Nov. 21-22, 2019. They presented the poster, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley, “Quorum Sensing and Verification in Chemical Reaction Networks.”

  • Robyn Lutz visited Tuba Yavuz and gave the talk “Designing Safe Programmed Molecular Systems,” in the ECE Seminar, University of Florida, Nov. 4, 2019.

  • Andrei Migunov presented the paper "Algorithmic Randomness in Continuous-time Markov Chains," by Xiang Huang, Jack H. Lutz, and Andrei N. Migunov, on September 26, 2019, at the Fifty-seventh Annual Allerton Conference on Communication, Control, and Computing.

  • Mikaela Cashman presented the paper "DNA as Features: Organic Software Product Lines," by Mikaela Cashman, Justin Firestone, Myra B. Cohen, Thammasak Thianniwet, and Wei Niu, at the 23rd International Systems and Software Product Line Conference (SPLC 2019, Paris, France, September 9-13, 2019).  The paper won the Best Student Paper Award at the conference.  Congratulations, Mikaela!

  • Sonia Moreno, Hugh Potter, and Narun Raman presented the poster "ALCH: An Imperative Language for the Chemical Reaction Network-Controlled Tile Assembly Model," by Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, and Matthew R. Riley, at the Twenty-fifth International Conference on DNA Computing and Molecular Programming in Seattle, WA, August 5-9, 2019.

  • Xiang Huang won the ISNSCE Best Presentation Award for his presentation of the paper "Real-Time Equivalence of Chemical Reaction Networks and Analog Computers," by Xiang Huang, Titus H. Klinge, and James I. Lathrop, at the Twenty-fifth International Conference on DNA Computing and Molecular Programming in Seattle, WA, August 5-9, 2019.  Congratulations, Xiang!

  • Robyn Lutz presented the paper "Robustness and Games Against Nature in Molecular Programming," by Jack H. Lutz, Neil Lutz, Robyn R. Lutz, and Matthew R. Riley, in the New Ideas and Emerging Results track at the Forty-first ACM/IEEE International Conference on Software Engineering in Montréal, CA, May 25-31, 2019.

  • Jack Lutz gave a two-hour invited tutorial, "Finite-State Information and Randomness," at the North American Annual Meeting of the Association for Symbolic Logic in New York, NY, May 20-23, 2019.

Subscribe to RSS Feed