In a world where programming is largely based on using APIs, semantic code search emerges as a way to effectively learn how such APIs should be used. Towards this end, we present a formal framework for static specification mining that is able to handle code snippets and incomplete programs. Our framework analyzes code snippets and […]

Hila Peleg is a graduate student in the Computer Science department of Tel Aviv University, advised by Eran Yahav and Mooly Sagiv. She also holds a degree in literature. She is currently researching the mining of temporal specifications from large codebases.