Skip to Main content Open mobile menu Close mobile menu
New method ensures complex programs are bug-free without testing
  1. New method ensures complex programs are bug-free without testing

    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.

  2. Open-source software helps youth with disabilities develop scheduling independence

    The system can add more flexibility to task management apps to help learning users make informed decisions about their time.

  3. New remote voting risks and solutions identified

    The upcoming presidential election in the middle of a pandemic has many jurisdictions exploring new technologies. They’re not secure.

    The post New remote voting risks and solutions identified appeared first on Michigan Engineering News.

  4. Web app, dashboard from U-M to inform Michiganders’ return to work

    The web tools will help state officials identify potential hotspots as they reopen Michigan to business.

  5. ADA Center holds 2020 symposium with virtual attendance, highlighting new research into computer design

    The symposium highlighted new developments in computer architecture, and included a session on how the center’s research can contribute to limiting the impact of pandemics.

  6. IEEE security conference features six accepted papers from CSE researchers

    The projects impact voting systems, physical sensors, integrated circuit fabrication, and multiple microarchitectural side-channel vulnerabilities.

  7. Research on human biases in AI learning earns best student paper award

    The project, which received a best paper award, demonstrated that a certain bias in humans who train intelligent agents significantly reduced the effectiveness of the training.

  8. Get to know: Xinyu Wang

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

  9. How predictive modeling could help us reopen more safely

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

  10. Faster than COVID: a computer model that predicts the disease’s next move

    Predictive model could help care providers stay safe, anticipate patient needs.

    The post Faster than COVID: a computer model that predicts the disease’s next move appeared first on Michigan Engineering News.