Skip to main content

LAMP: Laboratory for Molecular Programming

Laboratory for Molecular Programming


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

  • Jack and Robyn Lutz visited the National University of Singapore May 5-16, 2019.  Jack gave an invited talk, "Quantifying equidistribution: a survey of finite-state dimensions," as part of his two-week participation in the program, Equidistribution: Arithmetic, Computational and Probabilistic Aspects, hosted by the Institute of Mathematical Sciences at NUS.  Robyn visited David Rosenblum and gave the talk, “Designing Safe Programmed Molecular Systems,” in the NUS School of Computing Computer Science Seminar, May 8, 2019.

  • The paper "Runtime fault detection in programmed molecular systems," by Sam Ellis, Titus Klinge, Jim Lathrop, Jack Lutz, Robyn Lutz, Andy Miner, and Hugh Potter, appeared in ACM Transactions on Software Engineering and Methodology 28 (2019).

  • LAMP alum David Doty, now at the University of California-Davis, has received a National Science Foundation CAREER Award (2019-2024) for research on "Error-Free, Uniform and Composable Chemical Computation." Congratulations, Dave!

  • Robyn Lutz visited Georgia Tech Feb. 26, 2019 to discuss recent work by R. Mangal, Aditya Nori and Alex Orso on probabilistic robustness for neural networks.

  • Robyn Lutz gave a talk, "Describing 'Safe & Secure' for Programmed Molecular Systems," at the IFIP 2.9, Requirements Engineering meeting, Feb. 18-22, 2019.

  • Jack and Robyn Lutz visited Natasha Jonoska at the University of South Florida and discussed molecular programming research February 14-15, 2019. Robyn gave the talk "Describing 'Safe & Secure' for Programmed Molecular Systems" to the Jonoska research group.

  • The paper "Real-time Computability of Real Numbers by Chemical Reaction Networks," by Xiang Huang, Titus Klinge, Jim Lathrop, Xiaoyuan Li, and Jack Lutz, has appeared in Natural Computing 18(2019).

  • The group was well represented at the Midwest Verification Days workshop, held this year (its tenth) at the University of Iowa, September 28-29, 2018.   Hugh Potter gave the talk "Runtime fault detection in programmed molecular systems," reporting joint work with Sam Ellis, Titus Klinge, Jim Lathrop, Jack Lutz, Robyn Lutz, and Andy Miner.   Mikaela Cashman gave the talk "BioSIMP: using software testing techniques for sampling and inference in biological organisms," reporting joint work with Jennie Catlett, Myra Cohen, Nicole Buan, Zahmeeth Sakkaff, Max Pierobon, and Christine Kelley.   Josh Wallin gave the talk "Generating system-agnostic runtime verification benchmarks from MLTL formulas," reporting joint work with Kristin Rozier.

  • Robyn Lutz gave a keynote, "Software Engineering for Safety in Programmed Molecular Systems," at the 37th Int'l Conference on Computer Safety, Reliability, and Security, in Västerås, Sweden, Sept. 19, 2018.

  • Jack Lutz and Robyn Lutz gave a half-­day tutorial, "On Tap: Writing Requirements for Molecular Programs," at the 26th IEEE Int’l Conference on Requirements Engineering, in Banff, Canada, Aug. 21, 2018.

  • Jack Lutz gave the talk, "Algorithmic Randomness in Chemical Reaction Networks," at the 15th Int'l Conference on Computability and Complexity in Analysis, Lake Kochel, Germany, Aug. 5­-8, 2018. This is joint work with Ph.D. students Xiang Huang and Andrei Migunov.

  • Jack Lutz attended the workshop Computability Theory and its Applications at the Fields Institute, Waterloo, Ontario, CA, June 4­-8, 2018.

  • Adam Case, Jack Lutz, and Don Stull's paper, "Reachability Problems for Continuous Chemical Reaction Networks," appeared in Natural Computing 17 (2018).

  • Jack Lutz participated in the Association for Symbolic Logic North American Annual Meeting in Macomb, IL, May 16-­19, 2018.

Subscribe to RSS Feed