<a href='/contributing.html' class='ribbon'>Contribute to ML4Code</a>

<div class="sidebar">

<div class="container sidebar-sticky">

<div class="sidebar-about">

<h1>

<a href="/">

{{ site.title }}

</a>

</h1>

<p class="lead">{{ site.description }}</p>

</div>

<nav class="sidebar-nav">

<div class="sidebar-item"><p style="font-size: 12px">Search related work <input type='text' id='searchTarget' size="16"/> <button onClick="search();">Go</button></p></div>

<a class="sidebar-nav-item{% if page.url == "/papers.html" %} active{% endif %}" href="{% link papers.html %}">List of Papers</a>

<a class="sidebar-nav-item{% if page.url == "/tags.html" %} active{% endif %}" href="{% link tags.html %}">Papers by Tag</a>

<a class="sidebar-nav-item{% if page.url == "/tsne-viz.html" %} active{% endif %}" href="{% link tsne-viz.html %}">2D Map of Papers</a>

<a class="sidebar-nav-item{% if page.url == "/topic-viz.html" %} active{% endif %}" href="{% link topic-viz.html %}">Topic-based Explorer</a>

<a class="sidebar-nav-item{% if page.url == "/base-taxonomy/" %} active{% endif %}" href="{% link base-taxonomy/index.md %}">Core Taxonomy</a>

<a class="sidebar-nav-item{% if page.url == "/resources.html" %} active{% endif %}" href="{% link resources.md %}">Resources, Courses &#38; Events</a>

<a class="sidebar-nav-item{% if page.url == "/contributing.html" %} active{% endif %}" href="{% link contributing.markdown %}">Contributing</a>

</nav>

<div class="sidebar-item">

<p style="font-size: 12px">Contact <a href="https://miltos.allamanis.com">Miltos Allamanis</a> about this survey or website.

<span style="font-size: 9px">

Made with <a href="https://jekyllrb.com">Jekyll</a> and <a href="https://github.com/poole/hyde">Hyde</a>.

</span></p>

</div>

</div></div>

<script>

$("#searchTarget").keydown(function (e) {

if (e.keyCode == 13) {

search();

}

});

function search() {

try {

ga('send', 'event', 'search', 'search', $("#searchTarget").val());

} finally {

window.location = "{% link papers.html %}#" + $("#searchTarget").val();

}

}

</script>