Microsoft Research Blog

Research Focus: Week of May 8, 2023

May 10, 2023
In this issue: Microsoft researchers win four more awards; AutoRXN automates calculations of molecular systems; LLM accelerator losslessly improves the efficiency of autoregressive decoding; a frequency domain approach to predict power system transients.
  1. Microsoft Research Focus 15 | Week of May 8, 2023

    Research Focus: Week of May 8, 2023 

    May 10, 2023

    In this issue: Microsoft researchers win four more awards; AutoRXN automates calculations of molecular systems; LLM accelerator losslessly improves the efficiency of autoregressive decoding; a frequency domain approach to predict power system transients.

  2. Microsoft Research - Research Focus 07 Week of January 9, 2023

    Research Focus: Week of January 9, 2023 

    January 11, 2023

    Welcome to Research Focus, a new series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Jan P. Unsleber, Hongbin Liu, Leopold Talirz, Thomas Weymuth, Maximilian Mörchen, Adam Grofe, Dave Wecker, Christopher J.…

  3. Microsoft researchers Nikolaj Bjørner (left) and Leonardo de Moura (center) received the 2019 Herbrand Award for Distinguished Contributions to Automated Reasoning in recognition of their work in advancing theorem proving. They’re pictured with Jürgen Giesl (right) of the award committee.

    The inner magic behind the Z3 theorem prover 

    October 16, 2019 | Nikolaj Bjørner and Leonardo de Moura

    It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in 2006, the design was motivated by two emerging use cases:…

  4. Burton Smith wearing a blue shirt

    Honoring Burton Smith, a creative visionary in computing 

    April 4, 2018

    Burton J. Smith, an internationally recognized leader in high performance computer architecture, a co-founder of Cray, Inc. and a Microsoft technical fellow who innovated in the field of parallel computing and devoted his life to helping others, died April 3 at Regional Hospital in Highline…

  5. What problems will we solve with a quantum computer? 

    July 5, 2017

    New paper suggests quantum computers will address problems that could have substantial scientific and economic impact With rapid recent advances in quantum technology, we have drawn ever closer to the threshold of quantum devices whose computational powers can exceed those of classical supercomputers. But when…

Explore More

Events & conferences

Events & conferences 

Meet our community of researchers, learn about exciting research topics, and grow your network

Podcasts

Podcasts 

Ongoing conversations at the cutting edge of research

Microsoft Research Forum

Microsoft Research Forum 

Join us for a continuous exchange of ideas about research in the era of general AI