Hardware & devices

Publication

The BBC micro:bit: from the U.K. to the world

Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale

Communications of the ACM | February 2020, Vol 63(3)

Project Project Project

Publication

Probing the Physical Limits of Reliable DNA Data Retrieval

Lee Organick, Yuan-Jyue Chen, Siena Dumas Ang, Randolph Lopez, Xiaomeng Liu, Karin Strauss, Luis Ceze

Nature Communications | January 2020, Vol 11(616)

Project

Publication

Optimizing databases by learning hidden parameters of solid state drives

Aarati Kakaraparthy, Jignesh M. Patel, Kwanghyun Park, Brian Kroth

Proceedings of VLDB | December 2019

Publication

Long Tail Hardware: Turning Device Concepts Into Viable Low Volume Products

Steve Hodges, Nicholas Chen

IEEE Pervasive Computing | December 2019, Vol 18(4): pp. 51-59

Project

Publication

PruneTrain: fast neural network training by dynamic sparse model reconfiguration

Sangkug Lym, Esha Choukse, Siavash Zangeneh, Wei Wen, Sujay Sanghavi, Mattan Erez

2019 IEEE International Conference on High Performance Computing, Data, and Analytics | November 2019

Publication

Eye-controlled, power wheelchair performs well for ALS patients.

Michael A. Elliott, Henrique Malvar, Lindsey L. Maassel, Jon Campbell, Harish S. Kulkarni, Irina Spiridonova, Noelle Sophy, Jay Beavers, Ann Paradiso, Chuck Needham, Jamie Rifley, Maggie Duffield, Jeremy Crawford, Becky Wood, Emily J. Cox, James M. Scanlan

Muscle & Nerve | October 2019, Vol 60(5): pp. 513-519

Video

High Throughput Computing in the Service of Scientific Discovery

October 30, 2019 | Miron Livny

For more than three decades we have been engaged in translating the potential of distributed computing into effective High Throughput Computing (HTC) software tools. The widely adopted HTCondor distributed resource and job management system that…

1:07:02

Video

HAMS: Smartphone-based Driver License Testing Automation

October 29, 2019 | Venkat Padmanabhan, Akshay Nambi, Shailesh Bagauli, Satish Sangameswaran

The HAMS project at Microsoft Research India has been used to automate driver license testing, by having a windshield-mounted smartphone use its front/rear camera and other sensors, to monitor the driver and their driving during…

0:01:56

Publication

Ohmic-Sticker: Force-to-Motion Type Input Device that Extends Capacitive Touch Surface

Kaori Ikematsu, Masaaki FUKUMOTO, Ichiro Shiio

UIST 2019 Conference Proceedings, pp.1021-1030 | October 2019

Microsoft Research Blog

The inner magic behind the Z3 theorem prover

October 16, 2019 | Nikolaj Bjørner, 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…

What’s Your Story: Weishung Liu | Microsoft Research Podcast

Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications

Inclusive Digital Maker Futures for Children via Physical Computing | Event

RASCAL: Novel robotics for scalable and highly available automated storage and retrieval

The BBC micro:bit: from the U.K. to the world

Probing the Physical Limits of Reliable DNA Data Retrieval

Optimizing databases by learning hidden parameters of solid state drives

Long Tail Hardware: Turning Device Concepts Into Viable Low Volume Products

PruneTrain: fast neural network training by dynamic sparse model reconfiguration

Eye-controlled, power wheelchair performs well for ALS patients.

High Throughput Computing in the Service of Scientific Discovery

HAMS: Smartphone-based Driver License Testing Automation

Ohmic-Sticker: Force-to-Motion Type Input Device that Extends Capacitive Touch Surface

The inner magic behind the Z3 theorem prover

Hardware & devices

Highlights