Award Data

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 ...

A back-illuminated planar InGaAs photodiode tested to have 95% quantum effiiency (QE) at 1550 nm, area greater than 1 mm2, low capacitance (125 MHz) will be improved. Although the existing Phase I device exhibited bulk material dark current generation better than commercially available devices, the sidewall-generated dark current was found to dominate the noise equiva ...

The objective of this proposal is to establish the feasibility of developing an integrated decision support tool that transforms the current time-consuming and reactive (post-design) sustainability assessment into a real-time, proactive approach available in the early phases of product design. This tool, called Sustainability Integrated into Early Design (SIED), will define and capture lifecycle-w ...