The student’s project targets critical moments where the next instruction in a program is only available in a slower type of memory.
The student’s project targets critical moments where the next instruction in a program is only available in a slower type of memory.
Subarno Banerjee uses program analysis to improve software systems’ safety and security.
Goel designs algorithms that can automatically demonstrate the correctness of hardware systems.
Most programs in use today have to be completely rewritten at a very low level to reap the benefits of hardware acceleration. This system demonstrates how to make that translation automatic.
Researchers have demonstrated the ability to “unlearn” sensitive identifying data from audio used to train machine learning models.
A team at Michigan proposed an approach to generating realistic and high-fidelity stock market data to enable broader study of financial markets.
This round of funding strongly encourages pioneering work with the potential for major expansion.
Comparing graphs the team’s tool is up to an order of magnitude faster than competitive baselines.
Researchers designed three new systems to speed up code at several key bottlenecks.
Researchers plan to establish a framework for a national institute that would enable research using sensitive data, while preventing misuse and misinterpretation.