Department of Computer Science: Current Research Funding

Current Research Funding

Aliaga, Daniel

Daniel Aliaga. A Tablet-PC Based Teaching Platform for Portable Mixed-Reality Concept. Microsoft Corporation. 1/21/2003.

Xiaohui Carol Song, Jacob R Carlson, Rao Govindaraju, Christoph M. Hoffmann, Devdutta Niyogi, Indrajeet Chaubey, and Daniel Aliaga. INTEROP: A Community-based Drought Information Network for Multidisciplinary Applications. National Science Foundation. 9/1/2008-8/31/2012.

Daniel Aliaga and Mikhail J. Atallah. RI: Small: A Computational Framework for Marking Physical Objects against Counterfeiting and Tampering. National Science Foundation. 9/1/2009-8/31/2012.

Daniel Aliaga. III: Medium: Collaborative Research:Intergrating Behavioral and Geometrical and Graphical Modeling to Simulate and Visualize Urban Areas. National Science Foundation. 9/1/2010-8/31/2013.

Daniel Aliaga and Bedrich Benes. Urban Simulation Visualization (for MTC/ABAG). University of California - Berkeley. 12/1/2010-8/31/2012.

Aref, Walid

Walid Aref. Microsoft Voluntary Support. Microsoft Corporation. 2/1/2008.

Mourad Ouzzani. III-COR-Small: Collaborative Research: Preference-And Context-Aware Query Processing for Location-Based Database Servers. National Science Foundation. 9/1/2008-8/31/2012.

Mourad Ouzzani and Ahmed K. Elmagarmid. III: Small: Commugrate-A Community-based Data Integration System. National Science Foundation. 9/1/2009-8/31/2012.

Aref Ghafoor, Walid Aref, and Ahmed K. Elmagarmid. TC: Medium: Security and Privacy Preserving Data Mining and Management for Distributed Domains. National Science Foundation. 4/15/2010-3/31/2014.

Aref Ghafoor, Walid Aref, and David Ebert. Development of a Real-Time Infectious Disease Surveillance and Response System for Paistan:Responding to Human Well-Being in Times of Threat. Defense Threat Reduction Agency. 7/1/2010-6/30/2013.

Walid Aref and Mourad Ouzzani. III: Small: On the Conceptual Evaluation and Optimization of Queries in Spatiotemporal Data Systems. National Science Foundation. 9/1/2011-8/31/2014.

Atallah, Mikhail J.

Mikhail J. Atallah. Techniques for Secure and Reliable Computational Outsourcing. Air Force Office of Scientific Research. 3/15/2009-11/30/2012.

Daniel Aliaga and Mikhail J. Atallah. RI: Small: A Computational Framework for Marking Physical Objects against Counterfeiting and Tampering. National Science Foundation. 9/1/2009-8/31/2012.

Mikhail J. Atallah. TC: Small: Collabortive Research: Privacy-Constrained Searching. National Science Foundation. 9/1/2009-8/31/2012.

Wojciech Szpankowski, Ruben Aguilar, Mikhail J. Atallah, Christopher Clifton, Supriyo Datta, Ananth Y. Grama, Suresh Jagannathan, Jennifer Neville, Yuan Qi, and Doraiswami Ramkrishna. Emerging Frontiers of Science of Information. National Science Foundation. 8/1/2010-7/31/2015.

Mikhail J. Atallah. Trusted Computation-Intensive Services in Cloud Computing Environments. Qatat National Research Fund. 9/1/2010-8/31/2013.

Bertino, Elisa

Elisa Bertino, Christopher Clifton, Ninghui Li, and Eugene Spafford. A Framework for Managing the Assured Information Sharing Lifecycle. MURI Program. 5/1/2008-4/30/2013.

Elisa Bertino and Lorenzo Martino. Secure Semantic Information Grid for NCES and Border Security Applications. University of Texas at Dallas. 5/15/2008-5/14/2012.

Elisa Bertino. Secure Sensor Semantic Web and Information Fusion Applications. University of Texas at Dallas. 8/15/2009-5/31/2013.

Eugene Spafford. NGIT Cybersecurity Research Consortium. Northrop Grumman. 9/1/2009-8/31/2012.

Sonia Fahmy, Elisa Bertino, and Hyo Sang Lim. NeTS: Medium: Collaborative Research: A Comprehensive Approach for Data Quality and Provenance in Sensor Networks. National Science Foundation. 6/1/2010-5/31/2013.

Elisa Bertino. TC: Small: Collaborative Protocols for Privacy-Preserving Scalable Record Matching and Ontology Alignment. National Science Foundation. 8/1/2010-7/31/2013.

Elisa Bertino and Athula,N Kulatunga. Cryptographic Key Management Systems (CKMS). Department of Energy. 10/1/2010-9/30/2013.

Stephen John Elliott, Elisa Bertino, and David Ebert. Biometric Uniqueness and Permanence Analysis. Homeland Security. 1/1/2011-12/31/2012.

Elisa Bertino and Gabriel Ghinita. TC Large: Collaborative Research Privacy-Enhanced Secure Data Provenance. National Science Foundation. 8/1/2011-7/31/2016.

Clifton, Christopher

Elisa Bertino, Christopher Clifton, Ninghui Li, and Eugene Spafford. A Framework for Managing the Assured Information Sharing Lifecycle. MURI Program. 5/1/2008-4/30/2013.

Christopher Clifton. TC: Large: Collaborative Research:Anonymizing Textual Data and its Impact on Utility. National Science Foundation. 9/1/2010-8/31/2014.

Christopher Clifton. Managing Private Data in the Cloud. Qatat National Research Fund. 12/1/2010-11/30/2013.

Christopher Clifton. Secure Printing from the Cloud. RICOH Co. Ltd.. 5/1/2011-3/31/2012.

Comer, Douglas E.

Douglas E. Comer. FIA: Collaborative Research: NEBULA: A future Internet that Supports Trustworthy Cloud Computing. National Science Foundation. 9/1/2010-8/31/2013.

Douglas E. Comer. Cisco Systems. Community Foundation Silicon Valley. 10/8/2010.

Elmagarmid, Ahmed K.

Mourad Ouzzani and Ahmed K. Elmagarmid. III: Small: Commugrate-A Community-based Data Integration System. National Science Foundation. 9/1/2009-8/31/2012.

Aref Ghafoor, Walid Aref, and Ahmed K. Elmagarmid. TC: Medium: Security and Privacy Preserving Data Mining and Management for Distributed Domains. National Science Foundation. 4/15/2010-3/31/2014.

Eugster, Patrick

Patrick Eugster. REU: CAREER: Pervasive Programming with Event Correlation. National Science Foundation. 1/15/2007-12/31/2012.

Patrick Eugster. CAREER: Pervasive Programming with Event Correlation. National Science Foundation. 1/15/2007-12/31/2012.

Patrick Eugster. CSR-PSCE, SM: Memory Management Innovations for Next-Generation SMP. National Science Foundation. 9/1/2008-8/31/2012.

Patrick Eugster. REU: CSR-PSCE, SM: Memory Management Innovations for Next-Generation SMP. National Science Foundation. 9/1/2008-8/31/2012.

Patrick Eugster and Xiangyu Zhang. CSR-DMSS, SM: A Holistic Approach to Reliable Pervasive Systems. National Science Foundation. 9/1/2008-8/31/2012.

Patrick Eugster. A Methodology for Developing Complex Event-Based Software. Defense Advanced Research Projects Agency. 4/20/2011-4/19/2012.

Patrick Eugster. TC: Small: Least Privilege Enforcement through Secure Memory Views. National Science Foundation. 8/15/2011-7/31/2014.

Patrick Eugster. Large-scale Cloud-based Data Analysis. Department of Defense. 4/1/2012-3/31/2014.

Fahmy, Sonia

Sonia Fahmy. Hewlett Packard. Hewlett Packard Co. 2/28/2006.

Sonia Fahmy. CT-ISG: Collaborative Research: Router Models & Downscaling Tools for Scalable Security Experiments. National Science Foundation. 10/1/2008-9/30/2012.

Eugene Spafford. NGIT Cybersecurity Research Consortium. Northrop Grumman. 9/1/2009-8/31/2012.

Sonia Fahmy. Scalable, Extensible, & Safe Monitoring of GENI Clusters. BBN Technologies. 10/1/2009-9/30/2012.

Sonia Fahmy. Routing and Addressing. Community Foundation Silicon Valley. 1/1/2011.

Gebremedhin, Assefaw

Alex Pothen and Assefaw Gebremedhin. Combinatorial Scientific Computing and Petascale Simulations Institute. Department of Energy. 8/15/2008-8/14/2012.

Grama, Ananth Y.

Ananth Y. Grama. Hierarchical Petascale Simulation Framework for Stress Corosion Cracking- Collaborative with USC. Department of Energy. 9/15/2006-9/14/2012.

and Ananth Y. Grama. VPR SIRG: J.Murthy, PRISM grant ~ 103080~. Purdue University. 3/1/2008-12/31/2013.

Jayathi Murthy, Muhammad A Alam, Anil Kumar Bajaj, Weinong W Chen, Ananth Y. Grama, Dimitrios Peroulis, and Alejandro H Strachan. PRISM: Center for Prediction of Reliability, Integrity and Survivability of Microsystems. Department of Energy. 4/15/2008-4/14/2013.

Tony Hosking. Microsoft: Language & Runtime Support. Microsoft Corporation. 6/16/2008.

Wojciech Szpankowski, Ananth Y. Grama, and Daisuke Kihara. Information Transfer in Biological Systems. National Science Foundation. 7/1/2008-6/30/2012.

Zhiyuan Li and Ananth Y. Grama. CPA-CPL: Compiler and Software Solutions for the Memory Bottleneck on Multicore. National Science Foundation. 8/1/2008-7/31/2012.

Ananth Y. Grama. Collaborative Research: EMT/BSSE: Petascale Simulations of DNA Dynamics and Self-Assembly. National Science Foundation. 9/15/2008-8/31/2012.

Ananth Y. Grama. Collaborative Research: CDI- Type II: Hierarchical Modularity in Evolution and Function. National Science Foundation. 10/1/2008-9/30/2012.

Suresh Jagannathan and Ananth Y. Grama. Eager Maps and Lazy Folds for Graph-Structured Applications. National Science Foundation. 2/1/2009-1/31/2013.

Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan. CPS: Medium: Robust Distributed Wind Power Engineering. National Science Foundation. 9/1/2011-8/31/2015.

Ananth Y. Grama. Collaborative Research: Probing Complex Dynamics of Small Interfering RNA(siRNA)Transfection by Petascale Simulations and Networks Analysis. National Science Foundation. 9/15/2011-8/31/2015.

Hambrusch, Susanne E.

Susanne E. Hambrusch. IPA - Susanne Hambrusch. National Science Foundation. 8/30/2010-8/29/2012.

Hoffmann, Christoph M.

William McCartney, John Campbell, Christoph M. Hoffmann, Zhaohui Hong, Ralph Robers, and Douglas Sharp. Northwest Indiana Computational Grid: A joint project at the University of Notre Dame, Purdue University-West Lafayette and Purdue University-Calumet. Department of Energy. 10/1/2006-9/30/2012.

Christoph M. Hoffmann and Xavier Tricoche. Intel gift. Intel Corporation. 9/1/2008.

, Christoph M. Hoffmann, James Lehman, Aman Yadav, John T. Korb, and A. G. Rud. Computer Science Pathways for Educators. National Science Foundation. 9/1/2009-8/31/2012.

Christoph M. Hoffmann. Shape Representation Ontologies: Formats, Semantics & Rapid Access. National Institute of standards and Technology. 8/1/2010-9/30/2012.

Xavier Tricoche and Christoph M. Hoffmann. Vol. Support - Intel. Intel Corporation. 9/15/2011.

Hosking, Tony

Tony Hosking. Ibm Eclipse Innovation Award. IBM. 1/1/2003.

Tony Hosking. Microsoft: Language & Runtime Support. Microsoft Corporation. 6/16/2008.

Jan Vitek and Tony Hosking. CPA-CPL Certified Garbage Collection for Highly Responsive Systems. National Science Foundation. 8/1/2008-7/31/2012.

Tony Hosking. ECOOP 2012 CONFERENCE. Assoc Internationale pour les Tech Objet. 4/1/2011.

Jagannathan, Suresh

Suresh Jagannathan. Distributed Storage System Research. NEC Laboratories America. 11/7/2002.

Suresh Jagannathan. Compiler Backend Expirement. Microsoft Corporation. 2/8/2005.

Tony Hosking. Microsoft: Language & Runtime Support. Microsoft Corporation. 6/16/2008.

Jan Vitek and Suresh Jagannathan. CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure. National Science Foundation. 9/15/2008-8/31/2012.

Suresh Jagannathan and Ananth Y. Grama. Eager Maps and Lazy Folds for Graph-Structured Applications. National Science Foundation. 2/1/2009-1/31/2013.

Suresh Jagannathan. CRI II-New: A Computational Infrastructure For Scalable Transactional Memory Abstraction in Managed Languages. National Science Foundation. 6/1/2010-5/31/2013.

Suresh Jagannathan. Samsung. Samsung. 2/7/2011.

Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan. CPS: Medium: Robust Distributed Wind Power Engineering. National Science Foundation. 9/1/2011-8/31/2015.

Kihara, Daisuke

Daisuke Kihara and Karthik Ramani. Surface Shape Based Screening of Large Protein Databases PHS-NIH NAT INST of General Medical Science. National Institutes of Health. 9/30/2005-8/31/2012.

Wojciech Szpankowski, Ananth Y. Grama, and Daisuke Kihara. Information Transfer in Biological Systems. National Science Foundation. 7/1/2008-6/30/2012.

Daisuke Kihara. Template-Based Protein Structure Prediction Beyond Sequence Homology. National Science Foundation. 7/1/2008-6/30/2013.

Killian, Charles

Charles Killian. CAREER: Analyzing Distributed Systems and Behavior Using Repeated Execution. National Science Foundation. 7/1/2011-6/30/2016.

Charles Killian. MaceKen: Productively Programming Bulletproof Scalable Data Center Applications. Hewlett Packard Co. 8/1/2011-7/31/2012.

Kompella, Ramana

Ramana Kompella. NECO: Architectural Support for Fault Management. National Science Foundation. 9/1/2008-8/31/2012.

Ramana Kompella. REU: NECO: Architectural Support for Fault Management. National Science Foundation. 9/1/2008-8/31/2012.

Ramana Kompella. Google Inc. Google Inc.. 5/17/2010.

Ramana Kompella. TC: Small: Collaborative Research: Predictive Blacklisting for Detecting Phishing Attacks. National Science Foundation. 8/1/2010-7/31/2013.

Ramana Kompella. NETSE: Small: Towards Better Modeling of Communication Activity Dynamics in Large-Scale Online Social Networks. National Science Foundation. 9/1/2010-8/31/2013.

Ramana Kompella. CAREER: Towards a High-Fidelity Knowledge Plane for Data-Center Networks. National Science Foundation. 2/1/2011-1/31/2016.

Ramana Kompella. CISCO. Community Foundation Silicon Valley. 2/7/2011.

Li, Ninghui

Elisa Bertino, Christopher Clifton, Ninghui Li, and Eugene Spafford. A Framework for Managing the Assured Information Sharing Lifecycle. MURI Program. 5/1/2008-4/30/2013.

Ninghui Li. TC: Medium: Collaborative Research: Techniques to Retrofit Legacy Code. National Science Foundation. 9/1/2009-8/31/2012.

Ninghui Li. CCS Workshops Organization Supplement. National Science Foundation. 9/1/2010-8/31/2012.

Ninghui Li. TC: Small: Provably Private Microdata Publishing. National Science Foundation. 9/1/2011-8/31/2014.

Li, Zhiyuan

Zhiyuan Li, Saurabh Bagchi, and Yung-Hsiang Lu. CT-ISG: Compiler-Enabled Adaptive Security Monitoring on Networked Embedded Systems. National Science Foundation. 7/1/2007-6/30/2012.

Zhiyuan Li. Parametric Compiler Optimization for Multi-Core Architectures. National Science Foundation. 8/1/2007-7/31/2012.

Zhiyuan Li and Ananth Y. Grama. CPA-CPL: Compiler and Software Solutions for the Memory Bottleneck on Multicore. National Science Foundation. 8/1/2008-7/31/2012.

Zhiyuan Li. CSR: Small: New Slicing Techniques for Program Parallelization. National Science Foundation. 9/1/2009-8/31/2012.

Greg Blaisdell, Zhiyuan Li, and Anastasios Lyrintzis. Realistic Simulation of Jet Engine Noise Using Petaflop Computing. National Science Foundation. 9/1/2009-8/31/2014.

Zhiyuan Li. Parallel Programming Model and Compiler Optimization Technology for Heterogenous Multi-Core Architecture LRB. Intel Corporation. 11/1/2009-10/31/2012.

Mathur, Aditya P.

Luo Si and Aditya P. Mathur. Google. Google Inc.. 8/24/2010.

Neville, Jennifer

William Cleveland, Jennifer Neville, and Bowei Xi. Stochastic Control of Multi-Scale Networks: Modeling, Analysis, and Algorithms. Army Research Office. 5/29/2008-11/28/2012.

Jennifer Neville, Stacey Connaughton, and James Tyler. Machine Learning Techniques to Model the Impact of Relational Communication on Distributed Team Effectiveness. National Science Foundation. 9/1/2008-8/31/2012.

Vishwanathan Swaminathan, Sergey Kirshner, and Jennifer Neville. RI: Small: Algorithms for Sampling Similar Graphs Using Subgraph Signatures. National Science Foundation. 9/1/2009-8/31/2012.

Ramana Kompella. NETSE: Small: Towards Better Modeling of Communication Activity Dynamics in Large-Scale Online Social Networks. National Science Foundation. 9/1/2010-8/31/2013.

Ramana Kompella. CISCO. Community Foundation Silicon Valley. 2/7/2011.

Cristina Nita-Rotaru and Jennifer Neville. Toward Intrusion Tolerant Clouds. John Hopkins University. 11/7/2011-11/16/2012.

Jennifer Neville. Career: Machine Learning Methods to Support Computational Social Science. National Science Foundation. 1/1/2012-12/31/2016.

Nita-Rotaru, Cristina

Cristina Nita-Rotaru. CAREER: Scalable, Robust and Secure Group-Oriented Services for Wireless Mesh Networks. National Science Foundation. 2/1/2006-5/31/2012.

Cristina Nita-Rotaru. REU supplement- Career. National Science Foundation. 6/1/2006-5/31/2012.

Cristina Nita-Rotaru. TC: Small: Collaborative Research: Mathematics of Infection Diffusion in Wirelenss Networks. National Science Foundation. 8/1/2009-7/31/2012.

Cristina Nita-Rotaru. NeTS: Medium: Collaborative Research: Secure Networking Using Network Coding. National Science Foundation. 9/1/2009-8/31/2013.

Cristina Nita-Rotaru. Verisign Voluntary Support. Verisign. 7/1/2011.

Cristina Nita-Rotaru and Jennifer Neville. Toward Intrusion Tolerant Clouds. John Hopkins University. 11/7/2011-11/16/2012.

Pandurangan, Gopal

Gopal Pandurangan. AF: Small: Collaborative Research: Algorithmic Problems in Protein Structure Studies. National Science Foundation. 9/1/2009-8/31/2012.

Park, Kihong

Kihong Park. NeTS: Small: Toward High-performance WLANs: Bridging the Physical Layer Divide. National Science Foundation. 8/1/2009-7/31/2012.

Pothen, Alex

Alex Pothen and Assefaw Gebremedhin. Combinatorial Scientific Computing and Petascale Simulations Institute. Department of Energy. 8/15/2008-8/14/2012.

Alex Pothen. Computational Science and Engineering, and Computational Life Sciences Educational Programs. US Department of Education. 8/15/2009-8/14/2012.

Prabhakar, Sunil K.

Sunil K. Prabhakar and Xiangyu Zhang. III: Small: Towards Scalable and Comprehensive Uncertain Data Management. National Science Foundation. 9/1/2009-8/31/2012.

Sunil K. Prabhakar. III: Ensuring Integrity and Authenticity of Outsourced Databases. National Science Foundation. 9/1/2010-8/31/2013.

Qi, Yuan

Yuan Qi. RI:Small: Relational Learning and Inference for Network Models. National Science Foundation. 9/1/2009-8/31/2012.

Yuan Qi. CDI Type I: Collaborative Research: Integration of Relational Learning with ab-initio methods for prediction of material properties. National Science Foundation. 1/1/2010-12/31/2012.

Yuan Qi. A temporal view of the Plasmodium-red blood cell interactome. National Institutes of Health. 4/1/2010-3/31/2014.

Yuan Qi. Career: Scalable Bayesian learning for multi-source and multi-aspect data. National Science Foundation. 1/1/2011-12/31/2015.

Yuan Qi. Development of Bayesian NGS Data Analysis Tools for Identifying Novel Somatic Spliing Isoforms Using Tumor Normal Paired RNA-Seq Data. Eli Lilly and Company. 11/1/2011-3/30/2012.

Rego, Vernon

Vernon Rego. CT-ISG: Dynamic Covert Channels: Generation and Detection of Hidden Messages. National Science Foundation. 9/1/2007-8/31/2012.

Sacks, Elisha P.

Elisha P. Sacks. AF: Medium: Collaborative Research: Approximate computational geometry via controlled linear perturbation. National Science Foundation. 9/1/2009-8/31/2012.

Sameh, Ahmed

and Ananth Y. Grama. VPR SIRG: J.Murthy, PRISM grant ~ 103080~. Purdue University. 3/1/2008-12/31/2013.

Ahmed Sameh. Support for Deaglan Halligan from Sandia National Labs. Sandia Labs. 1/1/2011-9/30/2012.

Ahmed Sameh. CSR: Large: Collaborative Research Kali: A System for Sequential Programming of Multicore Processors. National Science Foundation. 8/1/2011-7/31/2015.

Ahmed Sameh. Parallel Sparse Linear System and Eigenvalue Problem Solvers: From Multicore to Petascale Computing. Department of Defense. 9/15/2011-9/14/2014.

Si, Luo

Luo Si. CAREER: An Integrated and Utility Centric Framework for Federated Text Search. National Science Foundation. 7/1/2008-6/30/2013.

Luo Si. REU: CAREER: An Integrated and Utility-Centric Framework for Federated Text Search. National Science Foundation. 7/1/2008-6/30/2013.

Yan Ping Xin and Luo Si. R & D: Nurturing Multiplicative Reasoning in Students with Learning Disabilities in a Computerized Conceptual-Modeling Environment (NMRSD-CCME). National Science Foundation. 8/1/2008-7/31/2013.

Luo Si and Aditya P. Mathur. Google. Google Inc.. 8/24/2010.

Luo Si, Gerhard Klimeck, and Michael McLennan. III:Small Information Recommendation for Online Scientific Communities. National Science Foundation. 9/1/2010-8/31/2013.

Stephen Cooper and Luo Si. Adding an Intelligent Tutoring System to Alice. National Science Foundation. 9/1/2010-8/31/2013.

Christopher Clifton. TC: Large: Collaborative Research:Anonymizing Textual Data and its Impact on Utility. National Science Foundation. 9/1/2010-8/31/2014.

and Luo Si. Federal and State Technology Partnership Program (FAST). IN Economic Development Corporation. 1/1/2012-12/31/2013.

Luo Si. Cerias Voluntary Support. CERIAS. 2/28/2012.

Skeel, Robert

Robert Skeel and Carol Post. Transition Pathways for Biomolecular Systems: Theory and Computation. National Institutes of Health. 8/1/2007-7/31/2012.

Alex Pothen. Computational Science and Engineering, and Computational Life Sciences Educational Programs. US Department of Education. 8/15/2009-8/14/2012.

Robert Skeel. Collaborative Research: Advanced Methodology for Calculation of Pairwise Interactions. National Science Foundation. 3/1/2010-2/28/2013.

Spafford, Eugene

Elisa Bertino, Christopher Clifton, Ninghui Li, and Eugene Spafford. A Framework for Managing the Assured Information Sharing Lifecycle. MURI Program. 5/1/2008-4/30/2013.

Eugene Spafford. NGIT Cybersecurity Research Consortium. Northrop Grumman. 9/1/2009-8/31/2012.

Dongyan Xu and Eugene Spafford. An Integrated Architecture for Automatic Indication, Avoidance and Profiling of Kernal Rootkit Attacks. Air Force Office of Scientific Research. 4/1/2010-3/31/2013.

Melissa Dark, Eugene Spafford, and Victor Raskin. Preparing Cyber Security Leaders. National Science Foundation. 8/1/2010-7/31/2014.

and Eugene Spafford. REU Site: Multi-disiciplinary Information Assurance and Security. National Science Foundation. 2/1/2011-1/31/2014.

Szpankowski, Wojciech

Wojciech Szpankowski, Ananth Y. Grama, and Daisuke Kihara. Information Transfer in Biological Systems. National Science Foundation. 7/1/2008-6/30/2012.

Wojciech Szpankowski. Asymptotic Solutions To Recurrences & Functional Equations Arising In Computer Science. National Security Agency. 1/1/2011-12/31/2012.

Tricoche, Xavier

Christoph M. Hoffmann and Xavier Tricoche. Intel gift. Intel Corporation. 9/1/2008.

Xavier Tricoche. Collaborative Research: A Unified Dynamical Systems-Simulation-Visualization Approach to Modeling and Analyzing Granular Flow Phenomena. National Science Foundation. 9/1/2010-8/31/2013.

Xavier Tricoche and Christoph M. Hoffmann. Vol. Support - Intel. Intel Corporation. 9/15/2011.

Xavier Tricoche. Career: Efficient Structrals Analysis of Multivariante Fields for Scalable Visualization. National Science Foundation. 7/1/2012-6/30/2017.

Vitek, Jan

Jan Vitek. Software Engineering. Microsoft Corporation. 1/15/2002.

and Jan Vitek. CSR-EHS: High-Throughput Real-time Stream Processing in Java. National Science Foundation. 9/1/2007-6/30/2012.

Jan Vitek. Purdue International Summer School Award. Intel Corporation. 11/15/2007.

Jan Vitek. 2008 Trends in Currency Summer School. Microsoft Corporation. 11/15/2007.

Tony Hosking. Microsoft: Language & Runtime Support. Microsoft Corporation. 6/16/2008.

Jan Vitek and Tony Hosking. CPA-CPL Certified Garbage Collection for Highly Responsive Systems. National Science Foundation. 8/1/2008-7/31/2012.

Jan Vitek. REU: CPA-CPL Certified Garbage Collection For Highly Responsive Systems. National Science Foundation. 8/1/2008-7/31/2012.

Jan Vitek. REU: CPA-SEL-T: Collaborative Research: Unified Open Source Transactional. National Science Foundation. 9/15/2008-8/31/2012.

Jan Vitek and Suresh Jagannathan. CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure. National Science Foundation. 9/15/2008-8/31/2012.

Jan Vitek. SHF: Small: Collaborative Research: Verifying and Validating Safety Critical Java. National Science Foundation. 7/15/2009-6/30/2012.

Jan Vitek. Microsoft SHARDS. Microsoft Corporation. 3/11/2010.

Jan Vitek. Mozilla STOP Workshop. Mozilla Corporation. 5/1/2010.

Jan Vitek and Olga Vitek. SI2-SSE: A Traccing Virtual Machine for Statistical Computing. National Science Foundation. 9/15/2010-8/31/2013.

Tony Hosking. ECOOP 2012 CONFERENCE. Assoc Internationale pour les Tech Objet. 4/1/2011.

Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan. CPS: Medium: Robust Distributed Wind Power Engineering. National Science Foundation. 9/1/2011-8/31/2015.

Jan Vitek. Google: High- assurance JavaScript. Google Inc.. 2/13/2012.

Vitek, Olga

Jan Vitek and Olga Vitek. SI2-SSE: A Traccing Virtual Machine for Statistical Computing. National Science Foundation. 9/15/2010-8/31/2013.

Wagstaff, Samuel S.

Samuel S. Wagstaff. Compute Cluster Nodes for Factoring Integers. National Science Foundation. 7/1/2011-6/30/2012.

Xu, Dongyan

Daniel Aliaga. A Tablet-PC Based Teaching Platform for Portable Mixed-Reality Concept. Microsoft Corporation. 1/21/2003.

Eugene Spafford. NGIT Cybersecurity Research Consortium. Northrop Grumman. 9/1/2009-8/31/2012.

Dongyan Xu. Collaborative Research: II-New: OpenVMI: A Software Instrument for Virtual Machine Introspection. National Science Foundation. 9/1/2009-8/31/2012.

Dongyan Xu and Eugene Spafford. An Integrated Architecture for Automatic Indication, Avoidance and Profiling of Kernal Rootkit Attacks. Air Force Office of Scientific Research. 4/1/2010-3/31/2013.

Dongyan Xu and Xiangyu Zhang. TC: EAGER: Binary-based Data Structure Revelation for Memory Forensics. National Science Foundation. 9/1/2010-8/31/2012.

Dongyan Xu. Host Centric Intrusion Detection and Prevention. Army Research Lab. 6/8/2011-5/5/2013.

Xiangyu Zhang and Dongyan Xu. Safe, Reuse-Oriented Reverse Engineering of Functional Components from x86 Binaries. Defense Advanced Research Projects Agency. 10/24/2011-10/23/2014.

Xiangyu Zhang and Dongyan Xu. Extracting Functional Components from x86 Binaries. Telecordia Technologies. 12/7/2011-6/6/2015.

Yau, David

David Yau. Robust Detection and Localization of Low-level Radiation Sources. Oak Ridge National Laboratory. 1/1/2010-12/31/2013.

David Yau. NeTS: Medium: Collaborative Research: Building an Intelligent, Uncertainty-Resillient Detection and Tracking Sensor Network. National Science Foundation. 6/1/2010-5/31/2012.

David Yau. TC: Medium: Collaborative Research: Towards Formal, Risk Aware Authorization. National Science Foundation. 6/1/2010-5/31/2014.

Zhang, Xiangyu

Patrick Eugster and Xiangyu Zhang. CSR-DMSS, SM: A Holistic Approach to Reliable Pervasive Systems. National Science Foundation. 9/1/2008-8/31/2012.

Xiangyu Zhang. CAREER: Scalable Dynamic Program Reasoning. National Science Foundation. 2/15/2009-1/31/2014.

Sunil K. Prabhakar and Xiangyu Zhang. III: Small: Towards Scalable and Comprehensive Uncertain Data Management. National Science Foundation. 9/1/2009-8/31/2012.

Xiangyu Zhang. CSR: Small: Automated Software Failure Causal Path Computation. National Science Foundation. 9/1/2009-8/31/2012.

Eugene Spafford. NGIT Cybersecurity Research Consortium. Northrop Grumman. 9/1/2009-8/31/2012.

Dongyan Xu and Xiangyu Zhang. TC: EAGER: Binary-based Data Structure Revelation for Memory Forensics. National Science Foundation. 9/1/2010-8/31/2012.

Xiangyu Zhang and Dongyan Xu. Safe, Reuse-Oriented Reverse Engineering of Functional Components from x86 Binaries. Defense Advanced Research Projects Agency. 10/24/2011-10/23/2014.

Xiangyu Zhang and Dongyan Xu. Extracting Functional Components from x86 Binaries. Telecordia Technologies. 12/7/2011-6/6/2015.

Last Modified March 23, 2010