Select Papers

On Decomposing a Deep Neural Network into Modules

ESEC-FSE '20

Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness

ESEC-FSE '20

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

ACM SIGSOFT Distinguished Paper Award at ESEC/FSE 2020

August 20, 2020

PhD student Rangeet Pan and Hridesh Rajan have received an ACM SIGSOFT Distinguished Paper Award at the ACM Joint European Software Engineering Conference and Symposium...

Pan earns 2nd Place at the ACM Student Research Competition at the International Conference on Software Engineering (ICSE)

July 30, 2020

Graduate student Rangeet Pan earned second place at the ACM Student Research Competition at 42nd International Conference on Software Engineering (ICSE) 2020 for his work...

Alumni Mehdi Bagherzadeh receives EAPLS Best Paper Award

July 29, 2020

The EAPLS Best Paper Award 2020 is awarded to the paper “An Empirical Study on the Use and Misuse of Java 8 Streams”, by Raffi...

Md Johirul Islam defends PhD thesis

July 15, 2020

Md Johirul Islam has successfully defended his PhD thesis entitled “Towards Understanding the Challenges Faced by Machine Learning Software Developers and Enabling Automated Solutions”. The...

Links: Event Link
Our paper on decomposing a Deep Neural Network into Modules is selected for ESEC/FSE'20

May 19, 2020

This work presents takes the first step toward decomposing a monolithic deep neural network (DNN) into modules so that components of the deep neural network...

Links: Papers
Our paper on Empirical Study on Model Fairness is selected for ESEC/FSE'20

May 19, 2020

This work presents a comprehensive study of machine learning models to understand whether they exhibit bias. The paper’s abstract: ``Machine learning models are increasingly being...

Links: Papers
Lab launches data science infrastructure to advance COVID-19 research

March 30, 2020

As researchers and public-health experts join forces to battle COVID-19, computer scientists from Iowa State University have developed a data science infrastructure that will drastically...

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: Papers
Our 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: Papers
Samantha-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 Link