Select Papers
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
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
ESOP '09
Ptolemy: A Language with Quantified Typed, Events
ECOOP '08
News
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...
Two Papers Selected to Appear at ICSE 2018
December 15, 2017
Our lab has had two papers selected to appear at the 40th International Conference on Software Engineering to be held at Gothenberg, Sweden from May...
Links: PapersGanesha Upadhyaya passes his PhD thesis defense
November 17, 2017
Ganesha Upadhyaya, a graduate student in the Dept. of Computer Science and a member of the Laboratory for Software Design successfully defended his PhD thesis...
Links: ThesisACM 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...
Nitin Tiwari passes his M.S. thesis defense
April 14, 2017
Nitin Tiwari, a graduate student in the computer science and a member of the Laboratory for Software Design successfully defended his Masters thesis today. His...
Links: Thesis