Algorithms, Languages & Databases

Through his work, Tim hopes to dramatically accelerate genomic sequencing analysis, enabling the use of handheld genomic sequencers to produce actionable diagnostic data within minutes.

The Michigan Game Studios database, developed by lecturer Austin Yarger, helps organize the state’s rapidly growing scene.

How automated guarantees that our most complex programs are secure and trustworthy can save us time, money, and anxiety.

The new technique automatically constructs policies for applications that keep them from compromising other programs.

The award recognizes early career faculty who show great promise in developing future computing technologies.

His work is in complexity theory of distributed computing.

The Rising Star Award is based on an individual’s whole body of work in the first five years after the PhD.

A new secure code is needed to protect private information from the power of quantum computing.

Public policy and engineering team up to improve food access.

The system targets software that runs using concurrent execution, a widespread method for boosting performance, and proves whether a program will output what it’s supposed to.

“My research has the potential to democratize programming and make it possible for millions of people around the globe to automate otherwise tedious tasks using programming.”

Graphical online simulation could spur more targeted COVID-19 protection measures.

Researchers are working with the city on two key initiatives to address food availability for elderly and low-income populations.

The team will build high-quality datasets to enable automatic quality checking and fraud detection of the new coronavirus data.

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.

The team's new tool will combine of software and data to make gathering structured data dramatically easier.

Tang’s project will redesign data center systems to support large-scale use of hardware accelerators to meet future computational demand.

As a fungal infection ravages bat populations, the new game hopes to promote public awareness of ongoing research to combat the issue.

Using real-time fMRI readings, researchers linked spatial reasoning with CS problem solving.

Erie provided database repairs that were previously performed exclusively by human programmers.

Danai Koutra earned the award for her proposal to innovate the way we use networks to understand the world and speed up our technology.

Perez’s research focuses on analyzing speech patterns of patients with Huntington Disease.

The goal of the work was to identify seven things about who the subject was talking to just by analyzing text messages.

Chowdhury’s lab multiplied the number of jobs a GPU cluster can finish in a set amount of time

Graphs that are customized, stored locally, and able to change over time can enable faster and more accurate searching and digital assistants

Kasikci presents a method to improve a program’s ability to use data in a straightforward, efficient way

This conversational in-vehicle digital assistant can respond to drivers’ questions and commands in natural language

Researchers used hierarchical trees to provide a better idea of how concepts are represented and related in a collection of text.

Researchers have implemented a new way to diagnose software failures with a high degree of accuracy and efficiency.

New, preliminary research found automated speech test accurately diagnoses Huntington’s disease 81 percent of the time and tracks the disease’s progression.

System sniffs out fakes up to 76 percent of the time.

Foofah is a tool that can help to minimize the effort and required background knowledge needed to clean up data.

Jie Song devised a method to combine summarized datasets that group information by incompatible units.

The researchers identified movement between industry, academia, and government work, tracked the growth of important organizations, and built predictive models for career transitions and employer retention.

Even though we interact with different web services in different ways, there are clues in the data that can indicate trends and identify a unique profile.

Jason Mars, CEO of Ann Arbor startup Clinc, was named #2 in Bank Innovations’s “10 Most innovative CEOs in Banking 2017” list. Clinc is leading the pack for development of intelligent banking assistant software.

Verdict can make databases deliver answers more than 200 times faster while maintaining 99 percent accuracy.

Kurator is a hybrid intelligence system leveraging mixed-expertise crowds to help families curate their personal digital content, including videos and photos.

Researchers are working to design a successful movie that will attract the interest of a targeted demographic by leveraging user ratings, reviews, and product characteristics.

Researchers have developed a crowd-powered conversational assistant, Chorus, and deployed it to see how users and workers would interact together when mediated by the system.

The identified changes in social media behavior may point to real events and changes, some of which can benefit from intervention.

CSE students designed technology for a fellow student who returned after a decade away because of a brain hemorrhage.

Prof. Mower Provost’s research interests are in human-centered speech and video processing, multimodal interfaces design, and speech-based assistive technology.

Mywater-Flint is an app built to help with the Flint water crises funded by Google and developed by Michigan Engineers.

Still, it’s not guaranteed, as seen in Amazon’s same-day delivery service. Algorithm designers may not even realize a problem has crept in.

A frequent call market may help prevent ‘flash crashes.’

Prof. Emily Mower Provost is collaborating to develop new technologies that provide individuals with insight into how the disease changes over time.

Her primary research interests lie at the intersection of machine learning and healthcare.

Such tactics, even if effective in reducing crime, raise civil liberty concerns.

The Turing Award has honors the computer scientists and engineers who create the systems and underlying theoretical foundations that propel the information technology industry.

Protean Code is an enabling technology for dynamically recompiling native applications and rebalancing the use of Warehouse Scale Computers resources as demands dictate.