Select Papers
Repairing Deep Neural Networks Fix Patterns and Challenges
ICSE '20
BCFA Bespoke Control Flow Analysis for CFA at Scale
ICSE '20
A Comprehensive Study on Deep Learning Bug Characteristics
ESEC-FSE '19
Large-scale Study of Substitutability in the Presence of Effects
FSE '18
Collective Program Analysis
ICSE '18
Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow
ICSE '18
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-based Specification Mining
OOPSLA '17
On Accelerating Ultra-Large-Scale Mining
ICSE '17 (NIER)
Capsule-Oriented Programming
ICSE '15 (NIER)
Boa: Ultra-Large-Scale Software Repository and Source-Code Mining
TOSEM '15
Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence
ICSE '15 (NIER)
First-Class Effect Reflection for Effect-Guided Programming
OOPSLA '16
Intensional Effect Polymorphism
ECOOP '15
Effectively Mapping Linguistic Abstractions for Message-passing Concurrency to Threads on the Java Virtual Machine
OOPSLA '15
Mining Preconditions of APIs in Large-scale Code Corpus
FSE '14
Mining Billions of AST Nodes to Study Actual and Potential Usage of Java Language Features
ICSE '14
Phase-based Tuning for Better Utilization of Performance-Asymmetric Multicore Processors
CGO '11
Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems
ESEC/FSE '09
News
Our paper on Bespoke Control Flow Analysis CFA at Scale is selected for ICSE'20
December 08, 2019
This work proposes bespoke control flow analysis (bcfa), a novel source code analysis technique for performing large scale source code analysis over the control flow...
Links: PapersOur paper on Repairing Deep Neural Networks is selected for ICSE'20
December 08, 2019
This work presents a comprehensive study of bug repair patterns for five DNN libraries The paper’s abstract: ``Significant interest in applying Deep Neural Network (DNN)...
Links: PapersSamantha-Syed Khairunnesa has successfully passed her PhD preliminary exam
December 06, 2019
Samantha-Syed Khairunnesa has successfully passed the PhD preliminary exam. The proposal abstract: ``Uncertainty is an integral part of ML programs, and, it is to be...
Links: Event LinkMd Johirul Islam defends MS thesis
September 30, 2019
Md Johirul Islam has successfully defended his Masters of Science thesis. The thesis abstract: ``Big data-driven transportation engineering has the potential to improve the utilization...
Links: Event LinkHamid Bagheri has successfully passed his PhD preliminary exam
September 25, 2019
Hamid Bagheri has successfully passed the PhD preliminary exam. The proposal abstract: ``Every day, many scientists around the world use NCBI’s non-redundant (NR) database to...
Links: Event LinkHamid Bagheri defends MS thesis
September 25, 2019
Hamid Bagheri has successfully defended his Masters of Science degree. The thesis abstract: ``Creating a scalable computational infrastructure to analyze the wealth of information contained...
Links: Event LinkBiswas Presenting Python Dataset at MSR 2019
May 25, 2019
Sumon Biswas will describe our brand new dataset at the MSR 2019 Conference. This work describes a new dataset that we have created to study...
Links: Papers2019 Midwest Big Data Summer School
May 20, 2019
Building on the inaugural 2016, 2017, and 2018 editions, the 2019 edition has started. This edition will be held from May 20-23, 2019 in Ames,...
Fulbright Award Leads to International Workshop
December 17, 2018
The J. William Fulbright Foreign Scholarship Board had selected Prof. Rajan for the 2018-19 U.S. Scholar Award. This award led to an international workshop on...
Prof. Hridesh Rajan receives 2018-19 Fulbright U.S. Scholar Award
March 07, 2018
The J. William Fulbright Foreign Scholarship Board has selected Prof. Rajan for the 2018-19 U.S. Scholar Award. According to the award letter "The Fulbright Program,...