Grant Title Award Amount Duration Principal Investigator(s)
SI2 - SSE: A Next-Generation Decision Diagram Library $498,672 2017-01-01 to 2019-12-31 Andrew Miner, Gianfranco Ciardo (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)
SHF: Medium: RUI: Collaborative Research: Advanced Traceability for Composing Product Line Safety Cases $423,894 2015-07-01 to 2019-06-30 Robyn Lutz
CAREER: Analyzing Program Changes and Versions for Bug Detection and Diagnosis $136,130 2015-07-01 to 2019-06-30 Wei Le
AF:Small:Algorithmic Foundations for Evolutionary Tree Comparison and Assembly $429,998 2016-06-01 to 2019-05-31 Oliver Eulenstein
EAGER: Dexterous Robotic Cutting $308,828 2016-10-01 to 2018-09-30 Yan-Bin Jia
RI: Small: From Impact to Impulsive Manipulation $529,502 2014-07-15 to 2018-06-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)
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)
TC: Small: Secrecy-Preserving Reasoning: Foundations, Algorithms, and Software $450,895 2011-08-01 to 2015-07-31 Giora Slutzki
AF: Small: Algorithmic Foundations of Phylogenetic Tree Reconciliation $450,000 2010-08-01 to 2015-07-31 David Fernandez-Baca, Oliver Eulenstein (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)
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
Intrusion Detection in the Cloud $30,000 2015-02-04 Wensheng Zhang (Co-PI)
Secrecy-Preserving Query Answering $450,895 2011-01-01 to 2014-12-31 Vasant Honavar (Co-PI)
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
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
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
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
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)
EAGER: Decision Support System for Reasoning with Preferences $111,393 2011-08-01 to 2013-07-31 Samik Basu, Robyn Lutz (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
RI: Small: Robot Grasping of Deformable Objects $369,795 2009-07-15 to 2013-06-30 Yan-Bin Jia
SecCloud: Towards a Secure Cloud We Trust $25,000 2010-01-01 to 2012-12-31 Wensheng Zhang
Development and Integration of a Generic Mobile Computing Platform into Graduate and Undergraduate Curricula in Computer Science and Software Engineering $32,900 2011-01-01 to 2012-12-31 Ying Cai
Integration of quantitative genetics, statistics, and computational biology for animal genetic improvement $258,000 2009-01-01 to 2012-12-31 Leslie Miller (Co-PI)
Accommodating Individual Differences in Software Designed for Location-Based Survey Tasks $230,000 2008-01-01 to 2012-12-31 Leslie Miller (Co-PI)
Machine Learning Algorithms and Software for Collaborative Medical Decision Support $238,586 2010-01-01 to 2012-12-31 Vasant Honavar