論文メモ。今日はプログラム合成を用いてプログラムを変換する手法について。 論文 UDF to SQL Translation through Compositional Lazy Inductive Synthesis OOPSLA2021 https://www.cs.utexas.edu/~isil/clis.pdf (preprint) 論文の概要 データベースシス…

論文投稿が終わってしばらく頭を休めていた。毎度のことながら論文書くのはしんどい。他人の成果物のあら探しをするのは簡単だが、いざ自分でアウトプットすると成果物を作り上げる行為のしんどさを思い出す。どんなことであれ自分でアウトプットする気概の…

久しぶりの論文メモ。今回はプログラム解析のネタ。2 つのプログラムが機能的に同値であるかどうか判定する技術について。プログラムの静的解析は自分の専門だったので、たまに論文読むと里帰りの気分を味わえる。 タイトル ARDiff: Scaling Program Equival…

明けましておめでとうございます。 年末年始にいろいろ論文読んだので簡単にメモしてゆく。 タイトル Modeling Black-Box Components with Probabilistic Synthesis GPCE 2020 [2010.04811] Modeling Black-Box Components with Probabilistic Synthesis htt…

けっこう有名だけど、ちゃんと読んだことなかった論文。手法 というプログラム合成の手法。 タイトル Synthesizing Data Structure Transformations from Input-Output Examples PLDI2015 Synthesizing data structure transformations from input-output ex…

タイトル BUSTLE: Bottom-up program-Synthesis Through Learning-guided Exploration arXiv, Submitted on 28 Jul 2020 [2007.14381] BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration 手法の入出力 手法の入力 入出力例の集合 論…

プログラムを自動生成する研究、とくに入出力例を用いたプログラム合成 (Programming by Example) に興味があるので、論文を読んでメモとして残してゆく。以下、水色のテキストは私の主観的なコメント。 タイトル Web Data Extraction using Hybrid Program …