Home » Research (Page 2)
Category Archives: Research
Paper on refactoring imperative Deep Learning programs to graphs accepted at ASE ’23 NIER
Our paper entitled, “Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution” has been accepted to the New Ideas and Emerging Results (NIER) track at the IEEE/ACM 2023 International Conference on Automated Software Engineering (ASE)! Out of 70 papers, 25 were accepted, amounting to a 35.7% acceptance rate. The conference will take place later this year in Kirchberg, Luxembourg.
Congratulations to Tatiana, Mehdi, Nan, and Anita, and thank you for all of your hard work!
New doctoral student Benjamin Prud’homme starts Fall 2023
A new doctoral student, Benjamin Prud’homme, will join the team starting this Fall semester! Benjamin will enter the Ph.D. program in Computer Science at the CUNY Graduate Center as a CUNY Graduate Center Fellow (GCF).
Benjamin received his bachelor’s degree from Vassar College in 2022, where he was a double major in computer science and mathematics and did a correlate (minor) in music performance (classical guitar and voice). He has research experience in building and optimizing algorithms for working with simple temporal networks. His current interests lie at the intersection of software engineering, machine learning, and data science.
Benjamin is very excited to be pursuing his PhD in New York, where he has lived for the past 18 years! Benjamin has studied classical guitar since he was six years old, and plays guitar in various ensembles as well as a guitar orchestra. He also enjoys choral singing and has been a soloist with the Hudson Valley BachFest, the Vassar Chamber Singers, and the New Amsterdam Singers. In his free time, Benjamin enjoys working on pop/rock covers and watching/cheering on the New York Giants and Yankees, as well as the US Women’s National Soccer Team. Welcome to the team, Benjamin!
Paper on actor mutation testing accepted at ESE/FSE ’23
Our paper entitled, “μAkka: Mutation testing for actor concurrency in Akka using real-world bugs,” has been accepted without major revisions to the main technical research track at the 2023 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)! Out of 473 submissions, 60 were accepted without major revisions, amounting to a 12.68% acceptance rate. The conference will take place later this year in San Francisco. Congratulations to all the authors, especially Mohsen, for your hard work!
Former Ph.D. student Yiming Tang accepts tenure-track Assistant Professor position at RIT
Former Ph.D. student Yiming Tang will begin as a tenure-track Assistant Professor at the Rochester Institute of Technology (RIT) Software Engineering department starting in Fall 2023! Yiming was previously at Concordia University in Canada’s Department of Computer Science and Software Engineering (CSSE). RIT is a central research institution for Software Engineering. Congrats, Yiming, and welcome back to New York!
Talk at NEPLS at Harvard University
I gave a talk at the New England Programming Languages and Systems (NEPLS) symposium at Harvard University earlier this month.
Talk at University of Tokyo
On August 18, I visited Professor Shigeru Chiba at the Core Software Group of the Dept. of Creative Informatics Graduate School of Information Science and Technology at The University of Tokyo. I gave a talk about preliminary research in automated refactoring of Deep Learning software.
(more…)Visiting Tokyo Tech
Between August 10 to 24, 2022, I visited the Programming Research Group at the Department of Mathematical and Computing Science of the Tokyo Institute of Technology. I gave a seminar talk and discussed current research with the group members. A JSPS BRIDGE fellowship supported this visit, planned initially two years ago. The trip was postponed due to COVID-19 (three times, in fact), but I was happy to have the opportunity to visit Professor Masuhara and his lab.
(more…)Highlights of “Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study”
In this blog post, we summarize, using code examples, our recent empirical study on challenges in migrating imperative Deep Learning programs to graph execution.
(more…)NYU GSTEM students visit during the summer of 2022
Medha Belwadi and Pranavi Gollanapalli will join our research group this summer through the NYU GSTEM program. NYU GSTEM is a summer program for high school juniors that allows them to participate in research laboratories. The NYU Courant Institute of Mathematical Sciences offers the program and helps promote STEM to traditionally underrepresented groups, particularly females and minorities. Medha and Pranavi will be working on our recently funded NSF project on imperative Deep Learning system programming and evolution as part of the project’s broader impacts.
(more…)Fully-funded Ph.D. student position(s) in analysis and transformations of Deep Learning programs in New York City
I am currently seeking (potentially multiple, fully-funded) Ph.D. students interested in programming languages and software engineering research for an NSF-funded project on analysis and transformations for (imperative) Deep Learning (DL) programs. The project—based in the heart of New York City—focuses on enhancing the robustness, increasing run-time performance, and facilitating the long-lived evolution of DL systems, particularly, large, industrial DL systems. For more information on the project, please see the project announcement.
Potential research topics explored during the project may include (static/dynamic) program analysis and transformation (e.g., automated refactoring) and empirical software engineering. Successful candidates will be expected to work on projects that generally yield open-source developer tool research prototypes, plug-ins to popular IDEs, build systems, or static analyzers. Applicants may find additional information on the PI’s web page. They should also apply to the City University of New York (CUNY) Graduate Center (GC) Ph.D. program in Computer Science (deadline January 15) following a discussion with the PI.
Please see below for additional details on applying. Again, the Ph.D. program deadline is January 15.
(more…)