Leah Hoffmann

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 36

Top Topics

Predicting Future

Virtual Machine

Top Venues

Publications

Leah Hoffmann
Verifying Correctness. Commun. ACM 67 (3) (2024)
Leah Hoffmann
Specifying the Power and Limitations of Randomness. Commun. ACM 67 (6) (2024)
Leah Hoffmann
Achievement in Microarchitecture. Commun. ACM 67 (1) (2024)
Leah Hoffmann
Ulterior Motives. Commun. ACM 66 (12) (2023)
Leah Hoffmann
Still Networking. Commun. ACM 66 (6) (2023)
Leah Hoffmann
Considering the Impact of Technology on Society. Commun. ACM 66 (3) (2023)
Leah Hoffmann
How Many Ways Can You Teach a Robot? Commun. ACM 66 (9) (2023)
Leah Hoffmann
Finding an alternate way forward with AI. Commun. ACM 65 (12) (2022)
Leah Hoffmann
Advancing the ability of robots to help. Commun. ACM 65 (9) (2022)
Leah Hoffmann
Mining energy from 'empty' air. Commun. ACM 65 (3) (2022)
Leah Hoffmann
Learning new things and avoiding obstacles. Commun. ACM 65 (6) (2022)
Leah Hoffmann
Shaping the foundations of programming languages. Commun. ACM 64 (6) (2021)
Leah Hoffmann
Playing with, and against, computers. Commun. ACM 64 (9) (2021)
Leah Hoffmann
Exploring the promise of quantum computing. Commun. ACM 64 (12) (2021)
Leah Hoffmann
Bringing stability to wireless connections. Commun. ACM 64 (2) (2021)
Leah Hoffmann
Reinventing virtual machines. Commun. ACM 63 (4) (2020)
Leah Hoffmann
Seeing light at the end of the cybersecurity tunnel. Commun. ACM 63 (8) (2020)
Leah Hoffmann
Attaining the third dimension. Commun. ACM 63 (6) (2020)
Leah Hoffmann
Tackling the challenges of CS education. Commun. ACM 63 (11) (2020)
Leah Hoffmann
'Everything fails all the time'. Commun. ACM 63 (2) (2020)
Leah Hoffmann
Guiding computers, robots to see and think. Commun. ACM 62 (3) (2019)
Leah Hoffmann
RISCy beginnings. Commun. ACM 62 (12) (2019)
Leah Hoffmann
Reaching new heights with artificial neural networks. Commun. ACM 62 (6) (2019)
Leah Hoffmann
Inspired by the home of the future. Commun. ACM 62 (9) (2019)
Leah Hoffmann
Q&A: The network effect. Commun. ACM 61 (3) (2018)
Leah Hoffmann
Reaping the benefits of a diverse background. Commun. ACM 61 (10) (2018)
Leah Hoffmann
RISC management. Commun. ACM 61 (6) (2018)
Leah Hoffmann
Promoting common sense, reality, dependable engineering. Commun. ACM 61 (12) (2018)
Leah Hoffmann
Grooming the leaders of tomorrow. Commun. ACM 60 (12) (2017)
Leah Hoffmann
This is for everyone. Commun. ACM 60 (6) (2017)
Leah Hoffmann
All the pretty pictures. Commun. ACM 60 (9) (2017)
Leah Hoffmann
Out of bounds. Commun. ACM 60 (3) (2017)
Leah Hoffmann
Q&A: Hello, Underworld. Commun. ACM 59 (9) (2016)
Leah Hoffmann
Q&A: Finding New Directions in Cryptography. Commun. ACM 59 (6) (2016)
Leah Hoffmann
A view to the future. Commun. ACM 59 (12) (2016)
Leah Hoffmann
Q&A. Commun. ACM 59 (3) (2016)
Leah Hoffmann
Q&A: A Passion for Pairings. Commun. ACM 58 (9) (2015)
Leah Hoffmann
Q&A: The Path to Clean Data. Commun. ACM 58 (6) (2015)
Leah Hoffmann
Q&A. Commun. ACM 58 (3) (2015)
Leah Hoffmann
Q&A: Redefining Architectures. Commun. ACM 58 (12) (2015)
Leah Hoffmann
Q&A: RISC and reward. Commun. ACM 57 (3) (2014)
Leah Hoffmann
Q&A: Divide and conquer. Commun. ACM 57 (6) (2014)
Leah Hoffmann
Q&A. Commun. ACM 56 (3) (2013)
Leah Hoffmann
Looking back at big data. Commun. ACM 56 (4) (2013)
Leah Hoffmann
Q&A. Commun. ACM 56 (6) (2013)
Leah Hoffmann
Q&A. Commun. ACM 56 (9) (2013)
Leah Hoffmann
Q&A: Securing the Risk. Commun. ACM 56 (12) (2013)
Leah Hoffmann
Q&A. Commun. ACM 55 (12) (2012)
Leah Hoffmann
Data mining meets city hall. Commun. ACM 55 (6) (2012)
Leah Hoffmann
Q&A. Commun. ACM 55 (6) (2012)
Leah Hoffmann
Computer science and the three Rs. Commun. ACM 55 (10) (2012)
Leah Hoffmann
Q&A. Commun. ACM 55 (9) (2012)
Leah Hoffmann
Q&A. Commun. ACM 55 (3) (2012)
Leah Hoffmann
Open for business. Commun. ACM 55 (4) (2012)
Leah Hoffmann
Risky business. Commun. ACM 54 (11) (2011)
Leah Hoffmann
Q&A. Commun. ACM 54 (12) (2011)
Leah Hoffmann
Data optimization in developing nations. Commun. ACM 54 (5) (2011)
Leah Hoffmann
Q&A. Commun. ACM 54 (4) (2011)
Leah Hoffmann
Q&A. Commun. ACM 54 (9) (2011)
Leah Hoffmann
Q&A. Commun. ACM 54 (6) (2011)
Leah Hoffmann
Maurice Wilkes: the last pioneer. Commun. ACM 54 (2) (2011)
Leah Hoffmann
Q&A. Commun. ACM 53 (10) (2010)
Leah Hoffmann
Robin Milner: the elegant pragmatist. Commun. ACM 53 (6) (2010)
Leah Hoffmann
Amir Pnueli: ahead of his time. Commun. ACM 53 (1) (2010)
Leah Hoffmann
Q&A. Commun. ACM 53 (4) (2010)
Leah Hoffmann
Mine your business. Commun. ACM 53 (6) (2010)
Leah Hoffmann
Q&A - HP's running man. Commun. ACM 53 (1) (2010)
Leah Hoffmann
Q&A. Commun. ACM 53 (7) (2010)
Leah Hoffmann
Career opportunities. Commun. ACM 53 (11) (2010)
Leah Hoffmann
Problem solvers. Commun. ACM 52 (12) (2009)
Leah Hoffmann
Learning through games. Commun. ACM 52 (8) (2009)
Leah Hoffmann
Content control. Commun. ACM 52 (6) (2009)
Leah Hoffmann
Crowd control. Commun. ACM 52 (3) (2009)
Leah Hoffmann
Q&A - The networker. Commun. ACM 52 (10) (2009)
Leah Hoffmann
Implementing electronic medical records. Commun. ACM 52 (11) (2009)
Leah Hoffmann
Q&A - Liskov on Liskov. Commun. ACM 52 (7) (2009)
Leah Hoffmann
Making a difference. Commun. ACM 51 (12) (2008)
Leah Hoffmann
Wisdom from Randy Pausch. Commun. ACM 51 (9) (2008)
Leah Hoffmann
Q&A: A complex thinker. Commun. ACM 51 (10) (2008)
Leah Hoffmann
An inspiring legacy. Commun. ACM 51 (10) (2008)
Leah Hoffmann
Damage control. Commun. ACM 51 (11) (2008)
Leah Hoffmann
In search of dependable design. Commun. ACM 51 (7) (2008)