Research and Grants

CI-EN: Boa: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale

In today's software-centric world, ultra-large-scale software repositories, e.g., SourceForge, GitHub, and Google Code, with hundreds of thousands of projects each, are the new library of Alexandria. They contain an enormous corpus of software and information about software and software projects. Scientists and engineers alike are interested in analyzing this wealth of information to test important research hypotheses. Read more about CI-EN: Boa: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale

Category: 

CAREER: Strategies for Caching Information on Distributed Systems

Abstract:


Digital information has become an inseparable part of our daily life due to significant advances in affordable high-speed internetworking technologies, high performance computer and peripherals, and the World-Wide Web. The explosive growth of the Web has imposed a heavy demand on networking resources and Web servers, resulting in long delays when requesting remote Web services. Read more about CAREER: Strategies for Caching Information on Distributed Systems

Category: 

Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research

Abstract:


Title: CRD: Collab Rsch: JML Community Infr-Revitalizing Tools and Documentation to Aid Formal Methods Rsch


Project Proposed:


This collaborative project, revitalizing tools and documentations to aid formal methods research, aims to


  • Enhance JML's infrastructure including its type checker, runtime assertion checking compiler, and IDE support;
  • Make JML's software infrastructure more extensible; 
Category: 

A Model Checking based Framework for Analyzing Information-Propagation over Networks

In the age of globalization and informatization, the study of information propagation in the network of connected entities plays an important role in understanding and analyzing security and safety concerns. Entities in the network can be people, groups or computing devices, while the network is the relationship describing how one entity can influence or can be influenced by others. In epidemiology, the network of entities may correspond to the population groups and their spatial/proximity relationships. Read more about A Model Checking based Framework for Analyzing Information-Propagation over Networks

Category: 

Pages