An official website of the United States government
TSL Synthesis Synthesizer: Reconfigurable Signal Flows through Program Synthesis
- Award ID(s):
- 2105208
- PAR ID:
- 10323265
- Date Published:
- Journal Name:
- NIME 2021
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
While reactive synthesis and syntax-guided synthesis (SyGuS) have seen enormous progress in recent years, combining the two approaches has remained a challenge. In this work, we present the synthesis of reactive programs from Temporal Stream Logic modulo theories (TSL-MT), a framework that unites the two approaches to synthesize a single program. In our approach, reactive synthesis and SyGuS collaborate in the synthesis process, and generate executable code that implements both reactive and data-level properties. We present a tool, temos, that combines state-of-the-art methods in reactive synthesis and SyGuS to synthesize programs from TSL-MT specifications. We demonstrate the applicability of our approach over a set of benchmarks, and present a deep case study on synthesizing a music keyboard synthesizer.more » « less
-
Abstract Pyritides belong to the ribosomally synthesized and post‐translationally modified peptide class of natural products that were recently genome‐predicted and are structurally defined by unique pyridine‐containing macrocycles. Inspired by their biosynthesis, proceeding through peptide modification and cycloaddition to form the heterocyclic core, we report the chemical synthesis of pyritide A2 involving pyridine ring synthesis from an amino acid precursor through aza‐Diels–Alder reaction. This strategy permitted the preparation of the decorated pyridine core with an appended amino acid residue in two steps from a commercially available arginine derivative and secured pyritide A2 in ten steps. Moreover, the synthetic logic enables efficient preparation of different pyridine subunits associated with pyritides, allowing rapid and convergent access to this new class of natural products and analogues thereof.more » « less
-
In the preparation of organolithium reagents, the use of highly activated lithium metal surfaces is essential. Currently, commercially available sources provide high surface area lithium in the form of powders or dispersions. Our group has presented a new approach to synthesize lithium with clean and high surface areas up to 100 times greater than conventional Li-dispersion. Our method involves the use of liquid ammonia (NH3) to effectively clean the lithium surface, resulting in the controlled dendritic growth of lithium structures along the flask wall. This freshly synthesized and highly activated lithium exhibits consistency and reliability, enabling the scalable production of organolithium reagents, ranging from 0.1 mmol to 0.5 mole. Herein, we outline the procedure for applying 5 grams of Li-dendrites in the synthesis of (trimethylsilyl)methylchloride, highlighting the potential impact of our method on organometallic chemistry.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.21428/92fbeb44.6981f464
