diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..2a9af73 --- /dev/null +++ b/Makefile @@ -0,0 +1,5 @@ +all: + jekyll clean + jekyll build + cd _site && tar -czvf site.tar.gz * + mv _site/site.tar.gz . diff --git a/css/style_overrides.css b/css/style_overrides.css index cde918e..a4723fc 100644 --- a/css/style_overrides.css +++ b/css/style_overrides.css @@ -82,7 +82,7 @@ body { } .pubtitle { - font-size: 1.075em; + font-size: 1.05em; color: black; font-weight: bold; } diff --git a/index.html b/index.html index 3edcee2..4c8df45 100644 --- a/index.html +++ b/index.html @@ -45,7 +45,7 @@

About Me

Welcome to my corner of the internet! I am a 4th year PhD student at the University of Pennsylvania advised by Prof. Mayur Naik. - 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.

@@ -80,8 +80,8 @@

Research

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 squirrel) uses data- - driven program synthesis techniques to characterize the errors in machine learning models in terms of + To this end, my framework, SQRL (pronounced squirrel) 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 here.

@@ -112,25 +112,25 @@

Publications

-

Recent Manuscripts

+
Recent Manuscripts
-
+
Interactive Code Generation via Test-Driven User-Intent Formalization
- Shuvendu K. Lahiri*, Aaditya Naik*, Georgios Sakkas*, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao + Shuvendu K. Lahiri*, Aaditya Naik*, Georgios Sakkas*, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao