Analogy-Making as a Core Primitive in the Software Engineering Toolbox

September 14, 2020 ยท Entered Twilight ยท ๐Ÿ› SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software

๐ŸŒ… TWILIGHT: Old Age
Predates the code-sharing era โ€” a pioneer of its time

"Last commit was 5.0 years ago (โ‰ฅ5 year threshold)"

Evidence collected by the PWNC Scanner

Repo contents: .github, .gitignore, .pylintrc, AnalogyUtils.md, BUILD, LICENSE, README.md, TSLang.md, WORKSPACE, analogy_utils.py, examples, mapper.py, requirements.txt, runtime, tactic_utils.py, tests, ts_cpp, ts_lib.py, ts_utils.py

Authors Matthew Sotoudeh, Aditya V. Thakur arXiv ID 2009.06592 Category cs.SE: Software Engineering Cross-listed cs.AI, cs.PL Citations 1 Venue SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software Repository https://github.com/95616ARG/sifter โญ 1 Last Checked 2 months ago
Abstract
An analogy is an identification of structural similarities and correspondences between two objects. Computational models of analogy making have been studied extensively in the field of cognitive science to better understand high-level human cognition. For instance, Melanie Mitchell and Douglas Hofstadter sought to better understand high-level perception by developing the Copycat algorithm for completing analogies between letter sequences. In this paper, we argue that analogy making should be seen as a core primitive in software engineering. We motivate this argument by showing how complex software engineering problems such as program understanding and source-code transformation learning can be reduced to an instance of the analogy-making problem. We demonstrate this idea using Sifter, a new analogy-making algorithm suitable for software engineering applications that adapts and extends ideas from Copycat. In particular, Sifter reduces analogy-making to searching for a sequence of update rule applications. Sifter uses a novel representation for mathematical structures capable of effectively representing the wide variety of information embedded in software. We conclude by listing major areas of future work for Sifter and analogy-making in software engineering.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Software Engineering