Large-scale Study of Substitutability in the Presence of Effects
Collective Program Analysis
Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-based Specification Mining
On Accelerating Ultra-Large-Scale Mining
ICSE '17 (NIER)
ICSE '15 (NIER)
Boa: Ultra-Large-Scale Software Repository and Source-Code Mining
Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence
ICSE '15 (NIER)
First-Class Effect Reflection for Effect-Guided Programming
Intensional Effect Polymorphism
Effectively Mapping Linguistic Abstractions for Message-passing Concurrency to Threads on the Java Virtual Machine
Mining Preconditions of APIs in Large-scale Code Corpus
Mining Billions of AST Nodes to Study Actual and Potential Usage of Java Language Features
Phase-based Tuning for Better Utilization of Performance-Asymmetric Multicore Processors
Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
Ptolemy: A Language with Quantified Typed, Events
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,...
Registration open for 2018 Midwest Big Data Summer School
February 19, 2018
Early registration is now open for the 2018 Midwest Big Data Summer School to be held from May 14-17, 2018 in Ames, Iowa on Iowa...
ACM Recognizes Dr. Hridesh Rajan as a Distinguished Member
November 08, 2017
The Association for Computing Machinery (ACM) has recognized Dr. Hridesh Rajan as one of 43 distinguished member for 2017. More details can be found here....
2017 Midwest Big Data Summer School, a success!
July 10, 2017
The 2017 Midwest Big Data Summer School held from July 10-14, 2017 in Ames, Iowa on Iowa State University campus was another successful edition. Over...
Dr. Zhen Yu joins as Postdoctoral Fellow
June 29, 2017
Dr. Zhen Yu has joined the Laboratory for Software Design as a Postdoctoral Fellow. Dr. Yu who prefers to go by Zhen obtained his Ph.D....
Registration open for 2017 Midwest Big Data Summer School
May 12, 2017
Early registration is now open for the 2017 Midwest Big Data Summer School to be held from July 10-14, 2017 in Ames, Iowa on Iowa...
Prof. Hridesh Rajan Named Kingland Professor
May 02, 2017
Prof. Hridesh Rajan, professor in the Department of Computer Science, was named Kingland Professor of Data Analytics. Rajan is the director of the Laboratory for...