miniblog.

← Back to all posts
Jun 29, 2019 at 20:52
A transcript from a deeply insightful @strangeloop_stl 2018 talk: comparing software design to programs that generate programs. Deductive synthesis can give us insights on choosing abstractions, and counter-example guided synthesis is much like TDD!
My Strange Loop talk: You are a Program Synthesizer (video + transcript) | Path-Sensitive

Related Posts

Jan 30, 2023 at 00:34
Codeforces is a huge website with a wealth of well-defined programming problems: https://codeforces.com/help#q1 (Useful for program synthesis and other situations where you want a large problem set to play with.)
Help - Codeforces
Help - Codeforces
Codeforces. Programming competitions and contests, programming community
Jul 19, 2020 at 23:31
I've been enjoying using Jest to run my tests, using the workflow where it re-runs the files on any change. I wonder if it has the fuzzing/synthesis problem of running bad code though? I worry about writing `delete(".")` and it not waiting for me to finish `delete("./cache")`.
Jan 25, 2020 at 04:27
How do you do program synthesis when the user hasn't given enough examples? You find perturbation properties (e.g. change input => change output) to generate more examples!
Augmented Example-based Synthesis using Relational Perturbation Properties (POPL 2020 - Research Papers) - POPL 2020
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.