4 papers:
ICSE-v2-2015-GulwaniMNP #live programming #named #programming #synthesis- StriSynth: Synthesis for Live Programming (SG, MM, FN, RP), pp. 701–704.
VISSOFT-2014-Noble #programming language- Livecoding the SynthKit: Little Bits as an Embodied Programming Language (JN), pp. 40–44.
PEPM-2013-CominiT #automation #equivalence #linear #named #term rewriting- TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems (MC, LT), pp. 67–70.
VLDB-2011-ArasuKL #constraints #declarative #generative #named #using- DataSynth: Generating Synthetic Data using Declarative Constraints (AA, RK, JL), pp. 1418–1421.
