SHF: Small: Dynamic Analysis on Code Fragments |
$485,993 |
2018-10-01 to 2021-09-30 |
Wei Le |
CSR: Small: Collaborative Research: Tuning Extreme-Scale Storage System Through Deep Learning |
$230,767 |
2018-10-01 to 2021-09-30 |
Forrest Sheng Bao |
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 |
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 |
CIF: Small: Taming Convergence and Delay in Stochastic Network Optimization with Hessian Information |
$317,896 |
2017-09-01 to 2019-06-30 |
Jia Liu |
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 |
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 |
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) |
A Model Checking based Framework for Analyzing Information-Propagation over Networks |
$124,701 |
2015-09-01 to 2017-08-31 |
Samik Basu |
AF: Small: Collaborative Research: Exploring New Approaches in Space-Bounded Computation |
$218,142 |
2014-09-01 to 2017-08-31 |
Pavan Aduri |
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) |
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) |
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 |
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) |