(actually i’m really curious what #programsynthesis people’s favorite venues to publish at are — i feel like i see papers on it across all the PL confs, but idk which ones are most receptive to work that isn’t really doing “PL” innovation, rather improving synthesis methods or demonstrating & extending their use for novel applications)

not that the world really needs more computer science conferences, but i keep wondering if there’s appetite for one focused on procedural generation/generative computation, i.e. the union of PCG, generative art, program synthesis, &c.

mostly, it would really help to have a name for this field that people don’t mistake for consisting entirely of text2image statistical models

#generativeArt #genartclub #generativeAI #procgen #proceduralcontentgeneration #programsynthesis #logicprogramming

#ChatGPT, #Codex, and similar models can do program synthesis. I think we in the #GeneticProgramming community aren't quite admitting this to ourselves! If a GP system could do one-tenth of the #ProgramSynthesis ChatGPT can do, it would win a best paper award at #GECCO, #EuroGP, or #GPTP. Should we just give up?

Updated some new thoughts regarding the TerpreT problem and my naive solution

https://luxxxlucy.github.io/projects/2021_terpret/index.html

The original TerpreT paper(https://arxiv.org/abs/1608.04428)
discussed solving program induction by gradient based optimization(after making the program differentiable by relaxation ).

#probprog #programsynthesis #neuralnetwork #deeplearning #NeuroSymbolic

Here's some information about me. I'm a researcher with a background in #ProgrammingLanguages and more recently I've been interested in #Spreadsheets and using #ArtificialIntelligence to generate programs (#ProgramSynthesis). I work at #MicrosoftResearch. In my spare time I enjoy #Travelling, #Hiking, #Photography, #Birds, and list to podcasts like #NoSuchThingAsAFish.

"Computer-aided Concurrent Programming" by Roopsha Samanta (@roopshasamanta) #PWLConf 2018 - https://buff.ly/2q0S19s

#concurrency #programsynthesis #temporallogic #softwaredevelopment