Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dummy #1

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Dummy #1

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
bd73228
Updates
aadityanaik Sep 17, 2023
45c8de2
Updates
aadityanaik Sep 17, 2023
b809606
Removed MDB manuscript
aadityanaik Nov 16, 2023
d118909
Added Makefile and reset base url
aadityanaik Nov 16, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion _config.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
title: "Aaditya Naik"
email: [email protected]
description: > # this means to ignore newlines until "baseurl:"
baseurl: "" # the base hostname & protocol for your site
baseurl: "https://www.seas.upenn.edu/~asnaik" # the base hostname & protocol for your site
navigation:
- name: About Me
link: /#about
Expand Down
2 changes: 1 addition & 1 deletion css/style_overrides.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@ body {
}

.pubtitle {
font-size: 1.075em;
font-size: 1.05em;
color: black;
font-weight: bold;
}
Expand Down
38 changes: 19 additions & 19 deletions index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ <h3>About Me</h3>

<p> Welcome to my corner of the internet! I am a 4th year PhD student at the <a href="https://www.upenn.edu">University of Pennsylvania</a>
advised by Prof. <a href="https://www.cis.upenn.edu/~mhnaik/">Mayur Naik</a>.
My research interests span Machine Learning, Software Engineering and Programming Languages.
My research interests span Programming Languages and Machine Learning.
Specifically, my research leverages techniques from program synthesis and analysis to build tools and frameworks to enable machine learning practitioners
effectively understand where their models fail, and ways to fix them.
My other research interests include developing program synthesis techniques to streamline software analysis, bug finding, and code generation.</p>
Expand Down Expand Up @@ -80,8 +80,8 @@ <h3>Research</h3>
<p>
My research aims to bridge this gap by developing novel techniques and tools to allow the systemic analysis
and debugging of machine learning models.
To this end, my framework, SQRL (pronounced <span style="font-style: italic;">squirrel</span>) uses data-
driven program synthesis techniques to characterize the errors in machine learning models in terms of
To this end, my framework, SQRL (pronounced <span style="font-style: italic;">squirrel</span>) uses data-driven
program synthesis techniques to characterize the errors in machine learning models in terms of
grounded concepts and relations intuitive to practitioners.
You can read more about SQRL in our blog post <a href="https://debugml.github.io/SQRL/" target="_blank">here</a>.
</p>
Expand Down Expand Up @@ -112,25 +112,25 @@ <h3>Publications</h3>

<div class="row">
<div class="col-md-12 pubdiv" >
<h4>Recent Manuscripts</h4>
<h5 style="font-weight: bold;">Recent Manuscripts</h5>
</div>

<div class="col-md-12 pubdiv">
<!-- <div class="col-md-12 pubdiv">
<span class="pubtitle">MDB: Interactively Querying Datasets and Models</span>
<div class="pubauths">
<span style="font-weight: bolder">Aaditya Naik</span>, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik
<span style="font-weight: bold">Aaditya Naik</span>, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik
</div>
<div class="publinks">
Submitted to NeurIPS 2023.
Submitted to <span style="font-weight: bold;">NeurIPS 2023</span>.
[
<a href="https://arxiv.org/abs/2308.06686" target="_blank">Paper</a>
]
</div>
</div>
</div> -->
<div class="col-md-12 pubdiv">
<span class="pubtitle">Interactive Code Generation via Test-Driven User-Intent Formalization</span>
<div class="pubauths">
Shuvendu K. Lahiri*, <span style="font-weight: bolder">Aaditya Naik*</span>, Georgios Sakkas*, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
Shuvendu K. Lahiri*, <span style="font-weight: bold">Aaditya Naik*</span>, Georgios Sakkas*, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
</div>
<div class="publinks">
Arxiv Preprint.
Expand All @@ -146,12 +146,12 @@ <h4>Recent Manuscripts</h4>
<br>
<div class="row">
<div class="col-md-12 pubdiv" >
<h4>Conference Papers</h4>
<h5 style="font-weight: bold;">Conference Papers</h5>
</div>
<div class="col-md-12 pubdiv">
<span class="pubtitle">Relational Query Synthesis ⨝ Decision Tree Learning</span>
<div class="pubauths">
<span style="font-weight: bolder">Aaditya Naik</span>, Aalok Thakkar, Adam Stein, Mayur Naik, Rajeev Alur
<span style="font-weight: bold">Aaditya Naik</span>, Aalok Thakkar, Adam Stein, Mayur Naik, Rajeev Alur
</div>
<div class="publinks">
Proceedings of <span style="font-weight: bold;">VLDB 2024</span>.
Expand All @@ -165,7 +165,7 @@ <h4>Conference Papers</h4>
<div class="col-md-12 pubdiv">
<span class="pubtitle">Do Machine Learning Models Learn Statistical Rules Inferred from Data?</span>
<div class="pubauths">
<span style="font-weight: bolder">Aaditya Naik</span>, Yinjun Wu, Mayur Naik, Eric Wong
<span style="font-weight: bold">Aaditya Naik</span>, Yinjun Wu, Mayur Naik, Eric Wong
</div>
<div class="publinks">
Proceedings of <span style="font-weight: bold;">ICML 2023</span>.
Expand All @@ -179,7 +179,7 @@ <h4>Conference Papers</h4>
<div class="col-md-12 pubdiv">
<span class="pubtitle">CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.</span>
<div class="pubauths">
Pardis Pashakhanloo, <span style="font-weight: bolder">Aaditya Naik</span>, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
Pardis Pashakhanloo, <span style="font-weight: bold">Aaditya Naik</span>, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
</div>
<div class="publinks">
Proceedings of <span style="font-weight: bold;">ICLR 2022</span>.
Expand All @@ -199,7 +199,7 @@ <h4>Conference Papers</h4>
<div class="col-md-12 pubdiv">
<span class="pubtitle">Sporq: An Interactive Environment for Exploring Code Using Query-by-Example.</span>
<div class="pubauths">
<span style="font-weight: bolder">Aaditya Naik</span>, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
<span style="font-weight: bold">Aaditya Naik</span>, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
</div>
<div class="publinks">
Proceedings of <span style="font-weight: bold;">UIST 2021</span>.
Expand All @@ -215,7 +215,7 @@ <h4>Conference Papers</h4>
<div class="col-md-12 pubdiv">
<span class="pubtitle">Example-Guided Synthesis of Relational Queries.</span>
<div class="pubauths">
Aalok Thakkar, <span style="font-weight: bolder">Aaditya Naik</span>, Nate Sands, Mukund Raghothaman, Mayur Naik, Rajeev Alur
Aalok Thakkar, <span style="font-weight: bold">Aaditya Naik</span>, Nate Sands, Mukund Raghothaman, Mayur Naik, Rajeev Alur
</div>
<div class="publinks">
Proceedings of <span style="font-weight: bold;">PLDI 2021</span>.
Expand All @@ -231,7 +231,7 @@ <h4>Conference Papers</h4>
<div class="col-md-12 pubdiv">
<span class="pubtitle">GenSynth: Synthesizing Datalog Programs without Language Bias.</span>
<div class="pubauths">
Jonathan Mendelson*, <span style="font-weight: bolder">Aaditya Naik*</span>, Mukund Ragothaman, Mayur Naik
Jonathan Mendelson*, <span style="font-weight: bold">Aaditya Naik*</span>, Mukund Ragothaman, Mayur Naik
</div>
<div class="publinks">
Proceedings of <span style="font-weight: bold;">AAAI 2021</span>.
Expand All @@ -254,7 +254,7 @@ <h4>Conference Papers</h4>
<div class="col-md-12 pubdiv">
<span class="pubtitle">Code2Inv: A Deep Learning Framework for Program Verification.</span>
<div class="pubauths">
Xujie Si*, <span style="font-weight: bolder">Aaditya Naik*</span>, Hanjun Dai, Mayur Naik, Le Song
Xujie Si*, <span style="font-weight: bold">Aaditya Naik*</span>, Hanjun Dai, Mayur Naik, Le Song
</div>
<div class="publinks">
Proceedings of <span style="font-weight: bold;">CAV 2020</span>.
Expand All @@ -278,14 +278,14 @@ <h4>Conference Papers</h4>
<br>
<div class="row">
<div class="col-md-12 pubdiv" >
<h4>Workshop Papers</h4>
<h5 style="font-weight: bold;">Workshop Papers</h5>
</div>

<div class="row">
<div class="col-md-12 pubdiv">
<span class="pubtitle">Learning to Walk over Relational Graphs of Source Code</span>
<div class="pubauths">
Pardis Pashakhanloo, <span style="font-weight: bolder">Aaditya Naik</span>, Hanjun Dai, Petros Maniatis, Mayur Naik
Pardis Pashakhanloo, <span style="font-weight: bold">Aaditya Naik</span>, Hanjun Dai, Petros Maniatis, Mayur Naik
</div>
<div class="publinks">
Deep Learning for Code (<a href="https://dl4c.github.io/" target="_blank">DL4C</a>) Workshop @ <a href="https://iclr.cc/" target="_blank" style="font-weight: bold;">ICLR 2022</a>
Expand Down