Grant Title Award Amount Duration Principal Investigator(s)
CSR: Small: Collaborative Research: Tuning Extreme-Scale Storage System Through Deep Learning $230,767 2018-10-01 to 2021-09-30 Forrest Sheng Bao
SHF: Small: Dynamic Analysis on Code Fragments $485,993 2018-10-01 to 2021-09-30 Wei Le
Automated Collection and Coding of Online Campaign Advertising $529,776 2017-09-15 to 2020-08-31 David A. Peterson, Wallapak Tavanapong (Co-PI), Adisak Sukul (Co-PI), Olga Chyzh (Co-PI)
RI: Medium: Collaborative Research: Causal Inference: Identification, Learning, and Decision-Making $260,169 2017-08-01 to 2020-07-31 Jin Tian
SI2 - SSE: A Next-Generation Decision Diagram Library $498,672 2017-01-01 to 2019-12-31 Andrew Miner, Gianfranco Ciardo (Co-PI)
MRI: Acquisition of a HPC System: Computing for Sustainability $678,214 2017-10-01 to 2019-09-30 Arun Somani, Carolyn Lawrence-Dill (Co-PI), Hridesh Rajan (Co-PI), Baskar Ganapathysubramanian (Co-PI), Alberto Passalacqua (Co-PI)
CPS:Synergy: Safety-Aware Cyber-Molecular Systems $823,930 2015-09-15 to 2019-08-31 Robyn Lutz, James Lathrop (Co-PI), Jack Lutz (Co-PI), Eric Henderson (Co-PI)
Collaborative Research: Productivity Prediction of Microbial Cell Factories using Machine Learning and Knowledge Engineering $230,672 2017-10-05 to 2019-07-31 Forrest Sheng Bao
CAREER: Analyzing Program Changes and Versions for Bug Detection and Diagnosis $136,130 2015-07-01 to 2019-06-30 Wei Le
CIF: Small: Taming Convergence and Delay in Stochastic Network Optimization with Hessian Information $317,896 2017-09-01 to 2019-06-30 Jia Liu
SHF: Medium: RUI: Collaborative Research: Advanced Traceability for Composing Product Line Safety Cases $423,894 2015-07-01 to 2019-06-30 Robyn Lutz
AF:Small:Algorithmic Foundations for Evolutionary Tree Comparison and Assembly $429,998 2016-06-01 to 2019-05-31 Oliver Eulenstein
NeTS: Small: Toward Optimal, Efficient, and Holistic Networking Design for Massive-MIMO Wireless Networks $287,480 2016-08-16 to 2018-09-30 Jia Liu
EAGER: Dexterous Robotic Cutting $308,828 2016-10-01 to 2018-09-30 Yan-Bin Jia
SHF: Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise $750,125 2015-07-01 to 2018-06-30 Hridesh Rajan, Tien Nguyen (Co-PI)
RI: Small: From Impact to Impulsive Manipulation $529,502 2014-07-15 to 2018-06-30 Yan-Bin Jia
CI-EN: Boa: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale $1,426,917 2015-06-01 to 2018-05-31 Hridesh Rajan, Tien Nguyen (Co-PI)
Federated Plant Database Initiative for the Legumes $2,951,152 2015-08-12 to 2018-03-31 David Fernández-Baca
Building Research Community in Computational Communication & Journalism and Political Informatics $226,426 2014-01-01 to 2017-12-31 Johnny Wong (Co-PI)
AF: Small: Collaborative Research: Exploring New Approaches in Space-Bounded Computation $218,142 2014-09-01 to 2017-08-31 Pavan Aduri
A Model Checking based Framework for Analyzing Information-Propagation over Networks $124,701 2015-09-01 to 2017-08-31 Samik Basu
AF: Small: Algorithms in Phylogenetics $400,000 2015-08-15 to 2017-07-31 David Fernandez-Baca
Midwest Verification Day 2016 $9,994 2016-11-15 to 2017-04-30 Andrew Miner, Gianfranco Ciardo (Co-PI), Samik Basu (Co-PI), Kristin Rozier (Co-PI)
Transgenic Approaches in Managing Sudden Death Syndrome in Soybean $1,071,736 2013-01-01 to 2016-12-31 Xiaoqiu Huang (Co-PI)
INSPIRE: Robust Molecular Programming: Advances in the Design and Verification of Reliable Self-Assembling Nanosystems $943,000 2012-10-01 to 2016-09-30 Jack Lutz, Eric Henderson (Co-PI), Robyn Lutz (Co-PI), James Lathrop (Co-PI)
TWC: Small: Building Efficient and Accountable Multi-User ORAM Systems for Protecting Data Access Patterns $100,000 2014-09-01 to 2016-08-31 Wensheng Zhang, Daji Qiao (Co-PI)
SHF: Small: Phase-Based Tuning for Better Utilization of Performance-Asymmetric Multicores $416,000 2011-08-01 to 2016-07-31 Hridesh Rajan
CAREER: On Mutualism of Modularity and Concurrency Goals $565,935 2009-06-22 to 2016-06-30 Hridesh Rajan
CAREER: A Computational Framework for Mapping Ligand Migration Channel Networks and Predicting Molecular Control Mechanisms $500,000 2010-03-01 to 2016-02-29 Guang Song
Building a Robust Joint Research Framework and a Living Lab at ISU to Support IBM's Global Technology Service Delivery $15,000 2009-01-01 to 2015-12-31 Carl K. Chang
SHF: Small: Collaborative Research: Formal Analysis of Distributed Interactions $164,966 2011-10-01 to 2015-09-30 Samik Basu
SHF:Small: Build Code Maintenance and Detecting, Testing, Locating Configuration and Build Errors $300,000 2013-09-01 to 2015-08-31 Tien Nguyen
EAGER: Boa: A Community Research Infrastructure for Mining Software Repositories $96,408 2013-09-01 to 2015-08-31 Hridesh Rajan, Tien Nguyen (Co-PI)
CSR: Small: Meta Analysis Directed Execution $116,000 2009-09-01 to 2015-07-31 Akhilesh Tyagi, Shashi Gadia (Co-PI), Arun Somani (Co-PI)
AF: Small: Algorithmic Foundations of Phylogenetic Tree Reconciliation $450,000 2010-08-01 to 2015-07-31 David Fernandez-Baca, Oliver Eulenstein (Co-PI)
TC: Small: Secrecy-Preserving Reasoning: Foundations, Algorithms, and Software $450,895 2011-08-01 to 2015-07-31 Giora Slutzki
Collaborative Research: Self-Sustainable Networking of Survivability-Heterogeneous Sensors $191,125 2011-07-15 to 2015-06-30 Wensheng Zhang
SHF: EAGER: Collaborative Research: Demonstrating the Feasibility of Automatic Program Repair Guided by Semantic Code Search $87,539 2014-07-01 to 2015-06-20 Kathryn Stolee
Towards Secure and Privacy-preserving Deployment and Access of Large-Scale Tactical Wireless Sensor Networks $464,177 2009-01-01 to 2014-12-31 Wensheng Zhang
Secrecy-Preserving Query Answering $450,895 2011-01-01 to 2014-12-31 Vasant Honavar (Co-PI)
AF:Small:Collaborative Research:Studies in nonuniformity, completeness, and reachability $198,601 2009-08-15 to 2014-07-31 Pavan Aduri
CAREER: Composition Approaches for the Analysis of Complex Systems $400,000 2006-08-01 to 2014-07-31 Andrew Miner
Development of an Assembly Program for Illumina Reads $103,297 2011-01-01 to 2013-12-31 Xiaoqui Huang
Equipment Supplement to CAREER: On Mutualism of Modularity and Concurrency Goals $20,573 2009-01-01 to 2013-12-31 Hridesh Rajan
Intergovernmental Personnel Act (IPA) Assignment $701,972 2010-01-01 to 2013-12-31 Vasant Honavar
Learning Classifiers from Autonomous, Semantically Heterogeneous, Distributed Data $527,000 2007-01-01 to 2013-12-31 Vasant Honavar
Collaborative Research: Phylogenetic Trees for Comparative Biology $800,000 2008-10-01 to 2013-09-30 David Fernández-Baca, Oliver Eulenstein (Co-PI)
Travel Support for Software Design and Productivity Summit $40,000 2011-08-01 to 2013-09-17 Robyn Lutz
EAGER: Collaborative Research: Modeling and Analysis of Molecular Programming and Nanoscale Self-Assembly $189,016 2011-09-01 to 2013-08-31 Jack Lutz, Robyn Lutz (Co-PI), James Lathrop (Co-PI), Ting Zhang (Co-PI), Eric Henderson (Co-PI)
SHF: Small: Collaborative Research: Balancing Expressiveness and Modular Reasoning for Aspect-oriented Programming $273,729 2010-08-15 to 2013-07-31 Hridesh Rajan