Award Data

We propose to build a high-level Domain Specific Language (DSL) for graph processing. This DSL, Language For Processing Graphs (LPG), will be embedded in Python and can be compiled to multiple parallel architectures. By using a high-level architecturally-neutral DSL, we gain two things: (1) we can develop programs more quickly, and (2) our programs will not be tied to any specific parallel archi ...

A new class of high-performance, low-SWaP computational devices is emerging based on increasingly diverse architectures. This diversity is improving performance, but comes at the cost of increased programming complexity. Each architecture requires variances in programming environment and model, typically distinguished by the type of parallelism supported by the hardware, limiting software portabil ...

Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...

Graph analytics is a key component in identifying emerging trends and threats in many real-world applications. Large-scale graph analytics frameworks provide a convenient and highly scalable platform for developing algorithms to analyze large datasets. Although conceptually scalable, these techniques exhibit poor performance on modern computational hardware. Another model of graph computation has ...

In the proposed effort, we will leverage this extensive experience and capabilities to realize a frequency agile mmW radiometer that can cover the range of DC-110 GHz and can be scaled to DC-200 GHz under Phase II. Ours is a photonic system that multiplies and up-coverts a low-frequency reference signal onto an optical carrier (laser) using EO modulation, then uses the modulation sidebands to inj ...

The Defense Threat Reduction Agency (DTRA) and the U.S. Strategic Command Center for Combating Weapons of Mass Destruction (SCC-WMD) requires transformational materials technology to support the intelligence, surveillance, and reconnaissance (ISR) of personnel and materials associated with weapons of mass destruction (WMD) development, manufacturing, and proliferation. Voxtel, Inc. proposes to fa ...

Recent advances in computing have produced special-purpose hardware comprised of vector processors streamlined for high-performance computations. Development of these devices, such as graphics processing units (GPUs) and the Cell Broadband Engine (Cell Processor), has been advanced by the videogame industry. In an effort to increase flexibility and enter new markets, vendors have increased platf ...

Wide-area networks are essential to productivity in commercial enterprises and military organizations. Reliability is difficult to achieve because wide-area networks, such as the Internet, are built from many autonomously configured component networks. Today there exists a large gap between the intended design of a network and the implementation of that design. This is because complex network poli ...

Lattice Block Materials, or LBM for short, are a class of materials comprised of an open structure of ligaments arranged in a regular truss like structure that is three dimensional. A basic unit cell is comprised of a square based pyramid skeleton (just the corners, called nodes, and the edges, called ligaments). These cells are connected in all directions to form a larger lattice like structure ...

Vaporcor LLC is developing a very high altitude (~90 kft) aircraft propulsion engine capable of meeting the stability, reliability, and environmental requirements suitable for use on a VHALE aircraft with 12-20 hour endurance that must be stored for months. Vaporcor’s VHALE engine implements a closed loop Rankine thermodynamic cycle using super-critical CO2 (S-CO2) as the working fluid. The Ra ...