Microsoft Research Special Projects

Evaluating the risk of data loss due to particle radiation damage in a DNA data storage system

Christopher N. Takahashi, David P. Ward, Carlo Cazzaniga, Christopher D. Frost, Paolo Rech, Kumkum Ganguly, Sean Blanchard, Steve Wender, Bichlien Nguyen, Jake Smith

Nature Communications | September 2024, Vol 15: pp. 8067

DOI Publication Publication Project

MedFuzz: Exploring the Robustness of Large Language Models in Medical Question Answering

Robert Osazuwa Ness, Hayden Helm, Katie Matton, Sheng Zhang, Junaid Bajwa, Carey E. Priebe, Eric Horvitz

June 2024

Publication

From Local to Global: A Graph RAG Approach to Query-Focused Summarization

Darren Edge, Ha Trinh, Newman Cheng, Joshua Bradley, Alex Chao, Apurva Mody, Steven Truitt, Jonathan Larson

April 2024

Preprint Project

Can Generalist Foundation Models Outcompete Special-Purpose Tuning? Case Study in Medicine

Harsha Nori, Yin Tat Lee, Sheng Zhang, Dean Carignan, Richard Edgar, Nicolo Fusi, Nicholas King, Jonathan Larson, Yuanzhi Li, Weishung Liu, Renqian Luo, Scott Mayer McKinney, Robert Osazuwa Ness, Hoifung Poon, Tao Qin, Naoto Usuyama, Chris White, Eric Horvitz

November 2023

Publication

Ghana 3D Telemedicine International MDT: A Proof-of-concept study

Spencer Fowers, Andrea Britto Mattos Lima, Thiago V. Spina, David Tittsworth, Amber Hoak, Ben Cutler, Christopher O'Dowd, Johnny Johnson

Journal of Plastic, Reconstructive, and Aesthetic Surgery | November 2023

Publication Project

Automated Interviewer or Augmented Survey? Collecting Social Data with Large Language Models

Alejandro Cuevas Villalba, Eva M. Brown, Jennifer V. Scurrell, Madeleine Daepp, Jason Entenmann

September 2023

Publication

Discovering a change point and piecewise linear structure in a time series of organoid networks via the iso-mirror

Tianyi Chen, Weiwei Yang, Chris White, Carey E. Priebe

Applied Network Science | July 2023

Publication Project

What Old-School Economics Doesn’t Get About Democracy

Peter Coy

NY Times | June 2023

Publication

Towards closing the data gap: A project-driven distributed energy resource dataset for the U.S. Grid

Rabab Haider, Yixing Xu, Weiwei Yang

AMC International conference on Future of Energy Systems | June 2023

Publication Github

Generative AI Questions the Ability of Humans to Maintain Self-Determination

Nikkei | May 2023

Publication

Plurality, Tokyo & Taipei

Noah

da0 | April 2023

Publication

There Is No A.I.

Jaron Lanier

New Yorker | April 2023

A Frequency Domain Approach to Predict Power System Transients

Wenqi Cui, Weiwei Yang, Baosen Zhang

IEEE Transactions on Power Systems | March 2023

Publication

Microsoft Cloud Supply Chain & Finance is a finalist in Alexander Hamilton Treasury Awards for its blockchain work

Yorke Rhodes

January 2023

Publication

Could Underwater Data Centers Make Cloud Computing Greener?

Spencer Fowers

MSR-TR-2022-33 | December 2022

Published by Wall Street Journal

Publication Project

Is Worldcoin a crypto-currency for the masses or your digital ID?

E. Glen Weyl, Edd Gent

December 2022

Publication

Web3: A more humane, egalitarian, and decentralized internet?

E. Glen Weyl, Molly White, Vlad Ginzburg

December 2022

Publication

A Causal AI Suite for Decision-Making

Emre Kiciman, Eleanor Dillon, Darren Edge, Adam Foster, Agrin Hilmkil, Joel Jennings, Chao Ma, Robert Osazuwa Ness, Nick Pawlowski, Amit Sharma, Cheng Zhang

NeurIPS 2022 Workshop on Causality for Real-world Impact | December 2022

Publication Project Project Project

COP27: Leading Technology Companies Launch “Ethereum Climate Platform” Initiative to Address Ethereum’s Former Proof of Work Carbon Emissions

ConsenSys

November 2022

Publication

Information decay and enzymatic information recovery for DNA data storage

Linda C. Meiser, Andreas L. Gimpel, Tejas Deshpande, Gabriela Libort, Weida D. Chen, Reinhard Heckel, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Communications Biology | October 2022

Publication Project

Participatory Development of a 3D Telemedicine system during Covid: the future of remote consultations

Spencer Fowers, Thiago V. Spina, Andrea Britto Mattos Lima, Ben Cutler, David Tittsworth, Wayne Chang, Amber Hoak, Johnny Johnson, Mike Shepperd, Whitney Hudson

Journal of Plastic, Reconstructive & Aesthetic Surgery | October 2022

Publication Video Project Project Project

Distance-based Positive and Unlabeled Learning for Ranking

Hayden S. Helm, Amitabh Basu, Carey E. Priebe, Jonathan Larson, Marah I Abdin, Piali Choudhury, Weiwei Yang, Chris White

Pattern Recognition | October 2022

Publication

Prospecting a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality

Michal Fabinger, Michael Freedman, E. Glen Weyl

September 2022

Publication

Reflecting on a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality

Michael Freedman, Michal Fabinger, E. Glen Weyl

RadicalxChange | September 2022

Publication

Biobased materials for sustainable printed circuit boards

Oladele A Ogunseitan , Julie M Schoenung, Johnny Lincoln, Bichlien Nguyen, Karin Strauss, Kali Frost, Eric Schwartz, Haoyang He, Maryam Ibrahim

Nature Reviews Materials | September 2022

Publication Project

Preserving DNA in Biodegradable Organosilica Encapsulates

Julian Koch, Ann-Christin Kerl, Natascha Schawalder, Anne M. Luescher, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Langmuir | September 2022

Publication Project

Plural Money, Socially-Provided Goods, and the Principal-Agent Problem

Matt Prewitt, E. Glen Weyl

RadicalxChange | September 2022

Publication

A Plural Decentralized Identity Frontier: Abstraction v. Composability Tradeoffs in Web3

Shrey Jain, Leon Erichsen, E. Glen Weyl

August 2022

Publication

Mental State Classification Using Multi-Graph Features

Guodong Chen, Hayden S. Helm, Kate Lytvynets, Weiwei Yang, Carey E. Priebe

Frontiers in Human Neuroscience | June 2022

Publication Project

Decentralized Society: Finding Web3’s Soul

E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin

May 2022

Publication

Eclipse: An End-to-End Platform for Low-Cost, Hyperlocal Environmental Sensing in Cities

Madeleine Daepp, Alex Cabral, Vaishnavi Ranganathan, Vikram Iyer, Scott Counts, Paul Johns, Asta Roseway, Charlie Catlett, Gavin Jancke, Darren Gehring, Chuck Needham, Curtis von Veh, Tracy Tran, Lex Story, Gabriele D’Amone, Bichlien Nguyen

2022 International Conference on Information Processing in Sensor Networks (IPSN) | May 2022

PDF Publication Project

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Sebastian Ullrich, Leonardo de Moura

2022 International Joint Conference on Automated Reasoning | April 2022

DOI Publication Project

A Tale of Two Mice: Sustainable Electronic Design and Prototyping

Vicente Arroyos, Maria L K Viitaniemi, Nicholas Keehn, Vaidehi Oruganti, Winston Saunders, Karin Strauss, Vikram Iyer, Bichlien Nguyen

CHI 2022 | April 2022

Publication Project

Integrating DNA Encapsulates and Digital Microfluidics for Automated Data Storage in DNA

Philipp L. Antkowiak, Julian Koch, Bichlien Nguyen, Wendelin J. Stark, Karin Strauss, Luis Ceze, Robert N. Grass

Small | February 2022

Publication

A Combinatorial PCR Method for Efficient, Selective Oligo Retrieval from Complex Oligo Pools

Claris Winston, Lee Organick, David Ward, Luis Ceze, Karin Strauss, Yuan-Jyue Chen

ACS Synthetic Biology | February 2022

Publication Project

Anhydrous calcium phosphate crystals stabilize DNA for dry storage

Philipp L. Antkowiak , Julian Koch, Przemyslaw Rzepka, Bichlien Nguyen, Karin Strauss, Wendelin Jan Stark, Robert N. Grass

Chemical Communications | February 2022

Publication Project

Synthetic DNA applications in information technology

Linda C. Meiser, Bichlien Nguyen, Yuan-Jyue Chen, Jeff Nivala, Karin Strauss, Luis Ceze, Robert N. Grass

Nature Communications | January 2022

Publication

Scaling DNA data storage with nanoscale electrode wells

Bichlien Nguyen, Christopher Takahashi, Gagan Gupta, Jake Smith, Richard Rouse, Paul Berndt, Sergey Yekhanin, David Ward, Siena Ang, Patrick Garvan, Hsing-Yeh Parker, Rob Carlson, Douglas Carmean, Luis Ceze, Karin Strauss

Science Advances | November 2021

Publication Project

Robust Digital Molecular Design of Binarized Neural Networks

Johannes Linder, Yuan-Jyue Chen, David Wong, Georg Seelig, Luis Ceze, Karin Strauss

Leibniz International Proceedings in Informatics (LIPIcs) | September 2021, Vol 205(DNA 27)

Publication DOI Project

Molecular-level similarity search brings computing to DNA data storage

Callista Bee, Yuan-Jyue Chen, Melissa Queen, David Ward, Xiaomeng Liu, Lee Organick, Georg Seelig, Karin Strauss, Luis Ceze

Nature Communications | August 2021, Vol 12(4764)

DOI Publication Project

The Lean 4 Theorem Prover and Programming Language

Leonardo de Moura, Sebastian Ullrich

2021 Conference on Automated Deduction | July 2021

DOI PDF Github Project

Dynamic Silos: Modularity in intra-organizational communication networks before and during the Covid-19 pandemic

Jonathan Larson, Tiona Zuzul, Emily Cox Pahnke, Neha Parikh Shah, Patrick Bourke, Nicholas Caurvina, Fereshteh Amini, Youngser Park, Joshua Vogelstein, Jeffrey Weston, Chris White, Carey E. Priebe

April 2021

Publication Project Project

rVNF: Reliable, scalable and performant cellular VNFs in the cloud

Antonios Katsarakis, Zhaowei Tan, Matthew Balkwill, Bozidar Radunovic, Andrew Bainbridge, Aleksandar Dragojevic, Boris Grot, Yongguang Zhang

MSR-TR-2021-7 | April 2021

Published by Microsoft

Publication Project Project

Zeus: Locality-aware Distributed Transactions

Antonios Katsarakis, Yijun Ma, Zhaowei Tan, Andrew Bainbridge, Matthew Balkwill, Aleksandar Dragojevic, Boris Grot, Bozidar Radunovic, Yongguang Zhang

Eurosys | April 2021

Publication Project Project

An Empirical Comparison of Preservation Methods for Synthetic DNA Data Storage

Lee Organick, Bichlien Nguyen, Rachel McAmis, Weida D. Chen, A. Xavier Kohll, Siena Dumas Ang, Robert Grass, Luis Ceze, Karin Strauss

Small Methods | January 2021

Publication Project

Architecting Datacenters for Sustainability: Greener Data Storage using Synthetic DNA

Bichlien Nguyen, Julie Sinistore, Jake Smith, Praneet S. Arshi, Lauren M. Johnson, Tim Kidman, T.J. diCaprio, Doug Carmean, Karin Strauss

Electronics Goes Green 2020 | September 2020

Publication Project

Orchard: Exploring Multivariate Heterogeneous Networks on Mobile Phones

Philipp Eichmann, Darren Edge, Nathan Evans, Bongshin Lee, Matthew Brehmer, Chris White

Computer Graphics Forum | June 2020

Publication Video Project

Design of a Privacy-Preserving Data Platform for Collaboration Against Human Trafficking

Darren Edge, Weiwei Yang, Harry Cook, Claire Galez-Davis, Hannah Darnton, Kate Lytvynets, Chris White

May 2020

Preprint PDF

Workgroup Mapping: Visual Analysis of Collaboration Culture

Darren Edge, Jonathan Larson, Nikolay Trandev, Neha Parikh Shah, Carolyn Buractaon, Nicholas Caurvina, Nathan Evans, Chris White

May 2020

Preprint PDF Project

Making Sense of Search: Using Graph Embedding and Visualization to Transform Query Understanding

Jonathan Larson, Darren Edge, Nathan Evans, Chris White

CHI | April 2020

Publication

News Provenance: Revealing News Text Reuse at Web-Scale in an Augmented News Search Experience

Nathan Evans, Darren Edge, Jonathan Larson, Chris White

CHI | April 2020

Publication

Outpacing the Virus: Digital Response to Containing the Spread of COVID-19 while Mitigating Privacy Risks

Vi Hart, Divya Siddarth, Bethan Cantrell, Lila Tretikov, Peter Eckersley, John Langford, Scott Leibrand, Sham Kakade, Steve Latta, Dana Lewis, Stefano Tessaro, E. Glen Weyl

Harvard Center for Ethics | April 2020

PDF Project

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

Sebastian Ullrich, Leonardo de Moura

IFL 2019 | March 2020

Publication Project

VAULT: Verifiable Audits Using Limited Transparency

Josh Benaloh, Philip B. Stark, Vanessa Teague

E-Vote-ID | October 2019

PDF

A New Consensus Protocol: Quadratic Voting With Multiple Alternatives

Jon X. Eguia, Nicole Immorlica, Katrina Ligett, E. Glen Weyl, Dimitrios Xefteris

February 2019

Publication

Timeline Storyteller: The Design & Deployment of an Interactive Authoring Tool for Expressive Timeline Narratives

Matthew Brehmer, Bongshin Lee, Nathalie Henry Riche, David Tittsworth, Kate Lytvynets, Darren Edge, Chris White

Computation+Journalism Symposium | February 2019

Publication Video Video Github Project

Trimming the Hairball: Edge Cutting Strategies for Making Dense Graphs Usable

Darren Edge, Jonathan Larson, Markus Mobius, Chris White

GTA³ 2.0: The 2nd IEEE Big Data Workshop on Graph Techniques for Adversarial Activity Analytics | December 2018

Publication

Using Web-Scale Graph Analytics to Counter Technical Support Scams

Jonathan Larson, Bryan Tower, Duane Hadfield, Darren Edge, Chris White

GTA³ 2.0: The 2nd IEEE Big Data Workshop on Graph Techniques for Adversarial Activity Analytics | December 2018

Publication

A Blueprint for a Better Digital Society

Jaron Lanier, E. Glen Weyl

Harvard Business Review | September 2018

PDF

Radical Markets

Eric A. Posner, E. Glen Weyl

Published by Princeton University Press | May 2018

ISBN: 9780691177502

Author's Version

Quadratic voting: How mechanism design can radicalize democracy

Steven P. Lalley, E. Glen Weyl

AEA Papers and Proceedings | May 2018

Publication

Bringing AI to BI: Enabling Visual Analytics of Unstructured Data in a Modern Business Intelligence Platform

Darren Edge, Jonathan Larson, Chris White

CHI 2018 Extended Abstracts | April 2018

Publication Publication Publication

Random Access in Large-Scale DNA Data Storage

Lee Organick, Siena Dumas Ang, Yuan-Jyue Chen, Randolph Lopez, Sergey Yekhanin, Konstantin Makarychev, Miklos Z Racz, Govinda Kamath, Parikshit Gopalan, Bichlien Nguyen, Christopher N Takahashi, Sharon Newman, Hsing-Yeh Parker, Cyrus Rashtchian, Kendall Stewart, Gagan Gupta, Robert Carlson, John Mulligan, Doug Carmean, Georg Seelig, Luis Ceze, Karin Strauss

Nature Biotechnology | March 2018, Vol 36(3)

Publication Project

Beyond Tasks: An Activity Typology for Visual Analytics

Darren Edge, Nathalie Henry Riche, Jonathan Larson, Chris White

Transactions on Visualization and Computer Graphics | January 2018, Vol 24(1): pp. 267-277

Publication Publication

Public Evidence from Secret Ballots

Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach

October 2017

DOI Publication Publication Publication Publication Publication

The Weakness of Cumulative Voting

Josh Benaloh

October 2017

DOI Publication Publication Publication Publication

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

ICFP 2017 | August 2017

DOI PDF Github Project

Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project

RoboCOP: A Robotic Coach for Oral Presentations

Ha Trinh, Reza Asadi, Darren Edge, Timothy Bickmore

Interactive, Mobile, Wearable, and Ubiquitous Technology (IMWUT) | June 2017

Publication

FourQ on embedded devices with strong countermeasures against side-channel attacks

Patrick Longa, Zhe Liu, Geovandro Pereira, Oscar Reparaz, Hwajeong Seo

MSR-TR-2017-18 | May 2017

Publication Project

Dunking the data center

Ben Cutler, Spencer Fowers

IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31

Publication Project

Quadratic voting and the public good: introduction

Eric A. Posner, E. Glen Weyl

Public Choice | February 2017, Vol 172: pp. 1-22

Publication

The Robustness of Quadratic Voting

E. Glen Weyl

October 2016

Publication

Efficient Algorithms for Supersingular Isogeny Diffie-Hellman

Craig Costello, Patrick Longa, Michael Naehrig

Advances in Cryptology – CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016

Publication Publication Project Project Project

SchnorrQ: Schnorr signatures on FourQ

Craig Costello, Patrick Longa

July 2016

Publication

Congruence Closure in Intensional Type Theory

Daniel Selsam, Leonardo de Moura

2016 International Joint Conference on Automated Reasoning | June 2016

DOI Publication Project

FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors

Patrick Longa

MSR-TR-2016-25 | May 2016

Publication Project

Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography

Patrick Longa, Michael Naehrig

MSR-TR-2016-23 | May 2016

Publication Project Project

Keys under doormats: mandating insecurity by requiring government access to all data and communications

Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner

Journal of Cybersecurity | November 2015

Publication Publication

The Lean Theorem Prover (System Description)

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

2015 Conference on Automated Deduction | July 2015

DOI PDF Publication Github Project

End-to-end verifiability

February 2014

Publication

Rethinking Voter Coercion: The Realities Imposed by Technology

Josh Benaloh

USENIX Journal of Election Technology and Systems (JETS) | August 2013

Publication

STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System

Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn

USENIX Journal of Election Technology and Systems (JETS) | August 2013

Publication

Benefit-Cost Analysis for Financial Regulation

Eric Posner, E. Glen Weyl, E. Glen Weyl

American Economic Review Papers and Proceedings | May 2013

Publication Publication

Verifiable Postal Voting

Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague

Proceedings of 21st International Workshop | March 2013

Publication

The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation

Josh Benaloh, Eric Lazarus

MSR-TR-2011-115 | October 2011

Publication

SOBA: Secrecy-preserving Observable Ballot-level Audit

Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark

Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE ’11) | August 2011

Publication

Administrative and Public Verifiability: Can We Have Both?

Josh Benaloh

Proceedings of the 2008 Electronic Voting Technology Workshop (EVT ’08) | June 2008

Publication

Evaluating the risk of data loss due to particle radiation damage in a DNA data storage system

Christopher N. Takahashi, David P. Ward, Carlo Cazzaniga, Christopher D. Frost, Paolo Rech, Kumkum Ganguly, Sean Blanchard, Steve Wender, Bichlien Nguyen, Jake Smith

Nature Communications | September 2024, Vol 15: pp. 8067

DOI Publication Publication Project

Could Underwater Data Centers Make Cloud Computing Greener?

Spencer Fowers

MSR-TR-2022-33 | December 2022

Published by Wall Street Journal

Publication Project

Biobased materials for sustainable printed circuit boards

Oladele A Ogunseitan , Julie M Schoenung, Johnny Lincoln, Bichlien Nguyen, Karin Strauss, Kali Frost, Eric Schwartz, Haoyang He, Maryam Ibrahim

Nature Reviews Materials | September 2022

Publication Project

Integrating DNA Encapsulates and Digital Microfluidics for Automated Data Storage in DNA

Philipp L. Antkowiak, Julian Koch, Bichlien Nguyen, Wendelin J. Stark, Karin Strauss, Luis Ceze, Robert N. Grass

Small | February 2022

Publication

Scaling DNA data storage with nanoscale electrode wells

Bichlien Nguyen, Christopher Takahashi, Gagan Gupta, Jake Smith, Richard Rouse, Paul Berndt, Sergey Yekhanin, David Ward, Siena Ang, Patrick Garvan, Hsing-Yeh Parker, Rob Carlson, Douglas Carmean, Luis Ceze, Karin Strauss

Science Advances | November 2021

Publication Project

An Empirical Comparison of Preservation Methods for Synthetic DNA Data Storage

Lee Organick, Bichlien Nguyen, Rachel McAmis, Weida D. Chen, A. Xavier Kohll, Siena Dumas Ang, Robert Grass, Luis Ceze, Karin Strauss

Small Methods | January 2021

Publication Project

Architecting Datacenters for Sustainability: Greener Data Storage using Synthetic DNA

Bichlien Nguyen, Julie Sinistore, Jake Smith, Praneet S. Arshi, Lauren M. Johnson, Tim Kidman, T.J. diCaprio, Doug Carmean, Karin Strauss

Electronics Goes Green 2020 | September 2020

Publication Project

Dunking the data center

Ben Cutler, Spencer Fowers

IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31

Publication Project

Evaluating the risk of data loss due to particle radiation damage in a DNA data storage system

Christopher N. Takahashi, David P. Ward, Carlo Cazzaniga, Christopher D. Frost, Paolo Rech, Kumkum Ganguly, Sean Blanchard, Steve Wender, Bichlien Nguyen, Jake Smith

Nature Communications | September 2024, Vol 15: pp. 8067

DOI Publication Publication Project

Information decay and enzymatic information recovery for DNA data storage

Linda C. Meiser, Andreas L. Gimpel, Tejas Deshpande, Gabriela Libort, Weida D. Chen, Reinhard Heckel, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Communications Biology | October 2022

Publication Project

Distance-based Positive and Unlabeled Learning for Ranking

Hayden S. Helm, Amitabh Basu, Carey E. Priebe, Jonathan Larson, Marah I Abdin, Piali Choudhury, Weiwei Yang, Chris White

Pattern Recognition | October 2022

Publication

Preserving DNA in Biodegradable Organosilica Encapsulates

Julian Koch, Ann-Christin Kerl, Natascha Schawalder, Anne M. Luescher, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Langmuir | September 2022

Publication Project

Integrating DNA Encapsulates and Digital Microfluidics for Automated Data Storage in DNA

Philipp L. Antkowiak, Julian Koch, Bichlien Nguyen, Wendelin J. Stark, Karin Strauss, Luis Ceze, Robert N. Grass

Small | February 2022

Publication

Anhydrous calcium phosphate crystals stabilize DNA for dry storage

Philipp L. Antkowiak , Julian Koch, Przemyslaw Rzepka, Bichlien Nguyen, Karin Strauss, Wendelin Jan Stark, Robert N. Grass

Chemical Communications | February 2022

Publication Project

Molecular-level similarity search brings computing to DNA data storage

Callista Bee, Yuan-Jyue Chen, Melissa Queen, David Ward, Xiaomeng Liu, Lee Organick, Georg Seelig, Karin Strauss, Luis Ceze

Nature Communications | August 2021, Vol 12(4764)

DOI Publication Project

Evaluating the risk of data loss due to particle radiation damage in a DNA data storage system

Christopher N. Takahashi, David P. Ward, Carlo Cazzaniga, Christopher D. Frost, Paolo Rech, Kumkum Ganguly, Sean Blanchard, Steve Wender, Bichlien Nguyen, Jake Smith

Nature Communications | September 2024, Vol 15: pp. 8067

DOI Publication Publication Project

Information decay and enzymatic information recovery for DNA data storage

Linda C. Meiser, Andreas L. Gimpel, Tejas Deshpande, Gabriela Libort, Weida D. Chen, Reinhard Heckel, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Communications Biology | October 2022

Publication Project

Biobased materials for sustainable printed circuit boards

Oladele A Ogunseitan , Julie M Schoenung, Johnny Lincoln, Bichlien Nguyen, Karin Strauss, Kali Frost, Eric Schwartz, Haoyang He, Maryam Ibrahim

Nature Reviews Materials | September 2022

Publication Project

Preserving DNA in Biodegradable Organosilica Encapsulates

Julian Koch, Ann-Christin Kerl, Natascha Schawalder, Anne M. Luescher, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Langmuir | September 2022

Publication Project

Integrating DNA Encapsulates and Digital Microfluidics for Automated Data Storage in DNA

Philipp L. Antkowiak, Julian Koch, Bichlien Nguyen, Wendelin J. Stark, Karin Strauss, Luis Ceze, Robert N. Grass

Small | February 2022

Publication

Anhydrous calcium phosphate crystals stabilize DNA for dry storage

Philipp L. Antkowiak , Julian Koch, Przemyslaw Rzepka, Bichlien Nguyen, Karin Strauss, Wendelin Jan Stark, Robert N. Grass

Chemical Communications | February 2022

Publication Project

Synthetic DNA applications in information technology

Linda C. Meiser, Bichlien Nguyen, Yuan-Jyue Chen, Jeff Nivala, Karin Strauss, Luis Ceze, Robert N. Grass

Nature Communications | January 2022

Publication

Scaling DNA data storage with nanoscale electrode wells

Bichlien Nguyen, Christopher Takahashi, Gagan Gupta, Jake Smith, Richard Rouse, Paul Berndt, Sergey Yekhanin, David Ward, Siena Ang, Patrick Garvan, Hsing-Yeh Parker, Rob Carlson, Douglas Carmean, Luis Ceze, Karin Strauss

Science Advances | November 2021

Publication Project

MedFuzz: Exploring the Robustness of Large Language Models in Medical Question Answering

Robert Osazuwa Ness, Hayden Helm, Katie Matton, Sheng Zhang, Junaid Bajwa, Carey E. Priebe, Eric Horvitz

June 2024

Publication

From Local to Global: A Graph RAG Approach to Query-Focused Summarization

Darren Edge, Ha Trinh, Newman Cheng, Joshua Bradley, Alex Chao, Apurva Mody, Steven Truitt, Jonathan Larson

April 2024

Preprint Project

Can Generalist Foundation Models Outcompete Special-Purpose Tuning? Case Study in Medicine

Harsha Nori, Yin Tat Lee, Sheng Zhang, Dean Carignan, Richard Edgar, Nicolo Fusi, Nicholas King, Jonathan Larson, Yuanzhi Li, Weishung Liu, Renqian Luo, Scott Mayer McKinney, Robert Osazuwa Ness, Hoifung Poon, Tao Qin, Naoto Usuyama, Chris White, Eric Horvitz

November 2023

Publication

A Causal AI Suite for Decision-Making

Emre Kiciman, Eleanor Dillon, Darren Edge, Adam Foster, Agrin Hilmkil, Joel Jennings, Chao Ma, Robert Osazuwa Ness, Nick Pawlowski, Amit Sharma, Cheng Zhang

NeurIPS 2022 Workshop on Causality for Real-world Impact | December 2022

Publication Project Project Project

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Sebastian Ullrich, Leonardo de Moura

2022 International Joint Conference on Automated Reasoning | April 2022

DOI Publication Project

Robust Digital Molecular Design of Binarized Neural Networks

Johannes Linder, Yuan-Jyue Chen, David Wong, Georg Seelig, Luis Ceze, Karin Strauss

Leibniz International Proceedings in Informatics (LIPIcs) | September 2021, Vol 205(DNA 27)

Publication DOI Project

The Lean 4 Theorem Prover and Programming Language

Leonardo de Moura, Sebastian Ullrich

2021 Conference on Automated Deduction | July 2021

DOI PDF Github Project

Dynamic Silos: Modularity in intra-organizational communication networks before and during the Covid-19 pandemic

Jonathan Larson, Tiona Zuzul, Emily Cox Pahnke, Neha Parikh Shah, Patrick Bourke, Nicholas Caurvina, Fereshteh Amini, Youngser Park, Joshua Vogelstein, Jeffrey Weston, Chris White, Carey E. Priebe

April 2021

Publication Project Project

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

Sebastian Ullrich, Leonardo de Moura

IFL 2019 | March 2020

Publication Project

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

ICFP 2017 | August 2017

DOI PDF Github Project

Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project

Congruence Closure in Intensional Type Theory

Daniel Selsam, Leonardo de Moura

2016 International Joint Conference on Automated Reasoning | June 2016

DOI Publication Project

The Lean Theorem Prover (System Description)

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

2015 Conference on Automated Deduction | July 2015

DOI PDF Publication Github Project

From Local to Global: A Graph RAG Approach to Query-Focused Summarization

Darren Edge, Ha Trinh, Newman Cheng, Joshua Bradley, Alex Chao, Apurva Mody, Steven Truitt, Jonathan Larson

April 2024

Preprint Project

Can Generalist Foundation Models Outcompete Special-Purpose Tuning? Case Study in Medicine

Harsha Nori, Yin Tat Lee, Sheng Zhang, Dean Carignan, Richard Edgar, Nicolo Fusi, Nicholas King, Jonathan Larson, Yuanzhi Li, Weishung Liu, Renqian Luo, Scott Mayer McKinney, Robert Osazuwa Ness, Hoifung Poon, Tao Qin, Naoto Usuyama, Chris White, Eric Horvitz

November 2023

Publication

Ghana 3D Telemedicine International MDT: A Proof-of-concept study

Spencer Fowers, Andrea Britto Mattos Lima, Thiago V. Spina, David Tittsworth, Amber Hoak, Ben Cutler, Christopher O'Dowd, Johnny Johnson

Journal of Plastic, Reconstructive, and Aesthetic Surgery | November 2023

Publication Project

Information decay and enzymatic information recovery for DNA data storage

Linda C. Meiser, Andreas L. Gimpel, Tejas Deshpande, Gabriela Libort, Weida D. Chen, Reinhard Heckel, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Communications Biology | October 2022

Publication Project

Participatory Development of a 3D Telemedicine system during Covid: the future of remote consultations

Spencer Fowers, Thiago V. Spina, Andrea Britto Mattos Lima, Ben Cutler, David Tittsworth, Wayne Chang, Amber Hoak, Johnny Johnson, Mike Shepperd, Whitney Hudson

Journal of Plastic, Reconstructive & Aesthetic Surgery | October 2022

Publication Video Project Project Project

Preserving DNA in Biodegradable Organosilica Encapsulates

Julian Koch, Ann-Christin Kerl, Natascha Schawalder, Anne M. Luescher, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Langmuir | September 2022

Publication Project

Integrating DNA Encapsulates and Digital Microfluidics for Automated Data Storage in DNA

Philipp L. Antkowiak, Julian Koch, Bichlien Nguyen, Wendelin J. Stark, Karin Strauss, Luis Ceze, Robert N. Grass

Small | February 2022

Publication

A Combinatorial PCR Method for Efficient, Selective Oligo Retrieval from Complex Oligo Pools

Claris Winston, Lee Organick, David Ward, Luis Ceze, Karin Strauss, Yuan-Jyue Chen

ACS Synthetic Biology | February 2022

Publication Project

Anhydrous calcium phosphate crystals stabilize DNA for dry storage

Philipp L. Antkowiak , Julian Koch, Przemyslaw Rzepka, Bichlien Nguyen, Karin Strauss, Wendelin Jan Stark, Robert N. Grass

Chemical Communications | February 2022

Publication Project

Synthetic DNA applications in information technology

Linda C. Meiser, Bichlien Nguyen, Yuan-Jyue Chen, Jeff Nivala, Karin Strauss, Luis Ceze, Robert N. Grass

Nature Communications | January 2022

Publication

An Empirical Comparison of Preservation Methods for Synthetic DNA Data Storage

Lee Organick, Bichlien Nguyen, Rachel McAmis, Weida D. Chen, A. Xavier Kohll, Siena Dumas Ang, Robert Grass, Luis Ceze, Karin Strauss

Small Methods | January 2021

Publication Project

Outpacing the Virus: Digital Response to Containing the Spread of COVID-19 while Mitigating Privacy Risks

Vi Hart, Divya Siddarth, Bethan Cantrell, Lila Tretikov, Peter Eckersley, John Langford, Scott Leibrand, Sham Kakade, Steve Latta, Dana Lewis, Stefano Tessaro, E. Glen Weyl

Harvard Center for Ethics | April 2020

PDF Project

Ghana 3D Telemedicine International MDT: A Proof-of-concept study

Spencer Fowers, Andrea Britto Mattos Lima, Thiago V. Spina, David Tittsworth, Amber Hoak, Ben Cutler, Christopher O'Dowd, Johnny Johnson

Journal of Plastic, Reconstructive, and Aesthetic Surgery | November 2023

Publication Project

Participatory Development of a 3D Telemedicine system during Covid: the future of remote consultations

Spencer Fowers, Thiago V. Spina, Andrea Britto Mattos Lima, Ben Cutler, David Tittsworth, Wayne Chang, Amber Hoak, Johnny Johnson, Mike Shepperd, Whitney Hudson

Journal of Plastic, Reconstructive & Aesthetic Surgery | October 2022

Publication Video Project Project Project

Dunking the data center

Ben Cutler, Spencer Fowers

IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31

Publication Project

Ghana 3D Telemedicine International MDT: A Proof-of-concept study

Spencer Fowers, Andrea Britto Mattos Lima, Thiago V. Spina, David Tittsworth, Amber Hoak, Ben Cutler, Christopher O'Dowd, Johnny Johnson

Journal of Plastic, Reconstructive, and Aesthetic Surgery | November 2023

Publication Project

Participatory Development of a 3D Telemedicine system during Covid: the future of remote consultations

Spencer Fowers, Thiago V. Spina, Andrea Britto Mattos Lima, Ben Cutler, David Tittsworth, Wayne Chang, Amber Hoak, Johnny Johnson, Mike Shepperd, Whitney Hudson

Journal of Plastic, Reconstructive & Aesthetic Surgery | October 2022

Publication Video Project Project Project

Mental State Classification Using Multi-Graph Features

Guodong Chen, Hayden S. Helm, Kate Lytvynets, Weiwei Yang, Carey E. Priebe

Frontiers in Human Neuroscience | June 2022

Publication Project

A Tale of Two Mice: Sustainable Electronic Design and Prototyping

Vicente Arroyos, Maria L K Viitaniemi, Nicholas Keehn, Vaidehi Oruganti, Winston Saunders, Karin Strauss, Vikram Iyer, Bichlien Nguyen

CHI 2022 | April 2022

Publication Project

Orchard: Exploring Multivariate Heterogeneous Networks on Mobile Phones

Philipp Eichmann, Darren Edge, Nathan Evans, Bongshin Lee, Matthew Brehmer, Chris White

Computer Graphics Forum | June 2020

Publication Video Project

Design of a Privacy-Preserving Data Platform for Collaboration Against Human Trafficking

Darren Edge, Weiwei Yang, Harry Cook, Claire Galez-Davis, Hannah Darnton, Kate Lytvynets, Chris White

May 2020

Preprint PDF

Workgroup Mapping: Visual Analysis of Collaboration Culture

Darren Edge, Jonathan Larson, Nikolay Trandev, Neha Parikh Shah, Carolyn Buractaon, Nicholas Caurvina, Nathan Evans, Chris White

May 2020

Preprint PDF Project

News Provenance: Revealing News Text Reuse at Web-Scale in an Augmented News Search Experience

Nathan Evans, Darren Edge, Jonathan Larson, Chris White

CHI | April 2020

Publication

Making Sense of Search: Using Graph Embedding and Visualization to Transform Query Understanding

Jonathan Larson, Darren Edge, Nathan Evans, Chris White

CHI | April 2020

Publication

Bringing AI to BI: Enabling Visual Analytics of Unstructured Data in a Modern Business Intelligence Platform

Darren Edge, Jonathan Larson, Chris White

CHI 2018 Extended Abstracts | April 2018

Publication Publication Publication

RoboCOP: A Robotic Coach for Oral Presentations

Ha Trinh, Reza Asadi, Darren Edge, Timothy Bickmore

Interactive, Mobile, Wearable, and Ubiquitous Technology (IMWUT) | June 2017

Publication

Automated Interviewer or Augmented Survey? Collecting Social Data with Large Language Models

Alejandro Cuevas Villalba, Eva M. Brown, Jennifer V. Scurrell, Madeleine Daepp, Jason Entenmann

September 2023

Publication

What Old-School Economics Doesn’t Get About Democracy

Peter Coy

NY Times | June 2023

Publication

Generative AI Questions the Ability of Humans to Maintain Self-Determination

Nikkei | May 2023

Publication

There Is No A.I.

Jaron Lanier

New Yorker | April 2023

Plurality, Tokyo & Taipei

Noah

da0 | April 2023

Publication

Microsoft Cloud Supply Chain & Finance is a finalist in Alexander Hamilton Treasury Awards for its blockchain work

Yorke Rhodes

January 2023

Publication

Is Worldcoin a crypto-currency for the masses or your digital ID?

E. Glen Weyl, Edd Gent

December 2022

Publication

Web3: A more humane, egalitarian, and decentralized internet?

E. Glen Weyl, Molly White, Vlad Ginzburg

December 2022

Publication

COP27: Leading Technology Companies Launch “Ethereum Climate Platform” Initiative to Address Ethereum’s Former Proof of Work Carbon Emissions

ConsenSys

November 2022

Publication

Reflecting on a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality

Michael Freedman, Michal Fabinger, E. Glen Weyl

RadicalxChange | September 2022

Publication

Prospecting a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality

Michal Fabinger, Michael Freedman, E. Glen Weyl

September 2022

Publication

Plural Money, Socially-Provided Goods, and the Principal-Agent Problem

Matt Prewitt, E. Glen Weyl

RadicalxChange | September 2022

Publication

Decentralized Society: Finding Web3’s Soul

E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin

May 2022

Publication

A Blueprint for a Better Digital Society

Jaron Lanier, E. Glen Weyl

Harvard Business Review | September 2018

PDF

Radical Markets

Eric A. Posner, E. Glen Weyl

Published by Princeton University Press | May 2018

ISBN: 9780691177502

Author's Version

Benefit-Cost Analysis for Financial Regulation

Eric Posner, E. Glen Weyl, E. Glen Weyl

American Economic Review Papers and Proceedings | May 2013

Publication Publication

Discovering a change point and piecewise linear structure in a time series of organoid networks via the iso-mirror

Tianyi Chen, Weiwei Yang, Chris White, Carey E. Priebe

Applied Network Science | July 2023

Publication Project

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Sebastian Ullrich, Leonardo de Moura

2022 International Joint Conference on Automated Reasoning | April 2022

DOI Publication Project

The Lean 4 Theorem Prover and Programming Language

Leonardo de Moura, Sebastian Ullrich

2021 Conference on Automated Deduction | July 2021

DOI PDF Github Project

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

Sebastian Ullrich, Leonardo de Moura

IFL 2019 | March 2020

Publication Project

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

ICFP 2017 | August 2017

DOI PDF Github Project

Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project

Congruence Closure in Intensional Type Theory

Daniel Selsam, Leonardo de Moura

2016 International Joint Conference on Automated Reasoning | June 2016

DOI Publication Project

The Lean Theorem Prover (System Description)

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

2015 Conference on Automated Deduction | July 2015

DOI PDF Publication Github Project

Towards closing the data gap: A project-driven distributed energy resource dataset for the U.S. Grid

Rabab Haider, Yixing Xu, Weiwei Yang

AMC International conference on Future of Energy Systems | June 2023

Publication Github

A Frequency Domain Approach to Predict Power System Transients

Wenqi Cui, Weiwei Yang, Baosen Zhang

IEEE Transactions on Power Systems | March 2023

Publication

A Combinatorial PCR Method for Efficient, Selective Oligo Retrieval from Complex Oligo Pools

Claris Winston, Lee Organick, David Ward, Luis Ceze, Karin Strauss, Yuan-Jyue Chen

ACS Synthetic Biology | February 2022

Publication Project

Scaling DNA data storage with nanoscale electrode wells

Bichlien Nguyen, Christopher Takahashi, Gagan Gupta, Jake Smith, Richard Rouse, Paul Berndt, Sergey Yekhanin, David Ward, Siena Ang, Patrick Garvan, Hsing-Yeh Parker, Rob Carlson, Douglas Carmean, Luis Ceze, Karin Strauss

Science Advances | November 2021

Publication Project

Robust Digital Molecular Design of Binarized Neural Networks

Johannes Linder, Yuan-Jyue Chen, David Wong, Georg Seelig, Luis Ceze, Karin Strauss

Leibniz International Proceedings in Informatics (LIPIcs) | September 2021, Vol 205(DNA 27)

Publication DOI Project

Molecular-level similarity search brings computing to DNA data storage

Callista Bee, Yuan-Jyue Chen, Melissa Queen, David Ward, Xiaomeng Liu, Lee Organick, Georg Seelig, Karin Strauss, Luis Ceze

Nature Communications | August 2021, Vol 12(4764)

DOI Publication Project

rVNF: Reliable, scalable and performant cellular VNFs in the cloud

Antonios Katsarakis, Zhaowei Tan, Matthew Balkwill, Bozidar Radunovic, Andrew Bainbridge, Aleksandar Dragojevic, Boris Grot, Yongguang Zhang

MSR-TR-2021-7 | April 2021

Published by Microsoft

Publication Project Project

Zeus: Locality-aware Distributed Transactions

Antonios Katsarakis, Yijun Ma, Zhaowei Tan, Andrew Bainbridge, Matthew Balkwill, Aleksandar Dragojevic, Boris Grot, Bozidar Radunovic, Yongguang Zhang

Eurosys | April 2021

Publication Project Project

An Empirical Comparison of Preservation Methods for Synthetic DNA Data Storage

Lee Organick, Bichlien Nguyen, Rachel McAmis, Weida D. Chen, A. Xavier Kohll, Siena Dumas Ang, Robert Grass, Luis Ceze, Karin Strauss

Small Methods | January 2021

Publication Project

Architecting Datacenters for Sustainability: Greener Data Storage using Synthetic DNA

Bichlien Nguyen, Julie Sinistore, Jake Smith, Praneet S. Arshi, Lauren M. Johnson, Tim Kidman, T.J. diCaprio, Doug Carmean, Karin Strauss

Electronics Goes Green 2020 | September 2020

Publication Project

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Sebastian Ullrich, Leonardo de Moura

2022 International Joint Conference on Automated Reasoning | April 2022

DOI Publication Project

The Lean 4 Theorem Prover and Programming Language

Leonardo de Moura, Sebastian Ullrich

2021 Conference on Automated Deduction | July 2021

DOI PDF Github Project

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

Sebastian Ullrich, Leonardo de Moura

IFL 2019 | March 2020

Publication Project

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

ICFP 2017 | August 2017

DOI PDF Github Project

Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project

Congruence Closure in Intensional Type Theory

Daniel Selsam, Leonardo de Moura

2016 International Joint Conference on Automated Reasoning | June 2016

DOI Publication Project

The Lean Theorem Prover (System Description)

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

2015 Conference on Automated Deduction | July 2015

DOI PDF Publication Github Project

Could Underwater Data Centers Make Cloud Computing Greener?

Spencer Fowers

MSR-TR-2022-33 | December 2022

Published by Wall Street Journal

Publication Project

Biobased materials for sustainable printed circuit boards

Oladele A Ogunseitan , Julie M Schoenung, Johnny Lincoln, Bichlien Nguyen, Karin Strauss, Kali Frost, Eric Schwartz, Haoyang He, Maryam Ibrahim

Nature Reviews Materials | September 2022

Publication Project

Eclipse: An End-to-End Platform for Low-Cost, Hyperlocal Environmental Sensing in Cities

Madeleine Daepp, Alex Cabral, Vaishnavi Ranganathan, Vikram Iyer, Scott Counts, Paul Johns, Asta Roseway, Charlie Catlett, Gavin Jancke, Darren Gehring, Chuck Needham, Curtis von Veh, Tracy Tran, Lex Story, Gabriele D’Amone, Bichlien Nguyen

2022 International Conference on Information Processing in Sensor Networks (IPSN) | May 2022

PDF Publication Project

A Combinatorial PCR Method for Efficient, Selective Oligo Retrieval from Complex Oligo Pools

Claris Winston, Lee Organick, David Ward, Luis Ceze, Karin Strauss, Yuan-Jyue Chen

ACS Synthetic Biology | February 2022

Publication Project

Architecting Datacenters for Sustainability: Greener Data Storage using Synthetic DNA

Bichlien Nguyen, Julie Sinistore, Jake Smith, Praneet S. Arshi, Lauren M. Johnson, Tim Kidman, T.J. diCaprio, Doug Carmean, Karin Strauss

Electronics Goes Green 2020 | September 2020

Publication Project

Dunking the data center

Ben Cutler, Spencer Fowers

IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31

Publication Project

Information decay and enzymatic information recovery for DNA data storage

Linda C. Meiser, Andreas L. Gimpel, Tejas Deshpande, Gabriela Libort, Weida D. Chen, Reinhard Heckel, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Communications Biology | October 2022

Publication Project

Synthetic DNA applications in information technology

Linda C. Meiser, Bichlien Nguyen, Yuan-Jyue Chen, Jeff Nivala, Karin Strauss, Luis Ceze, Robert N. Grass

Nature Communications | January 2022

Publication

Decentralized Society: Finding Web3’s Soul

E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin

May 2022

Publication

A New Consensus Protocol: Quadratic Voting With Multiple Alternatives

Jon X. Eguia, Nicole Immorlica, Katrina Ligett, E. Glen Weyl, Dimitrios Xefteris

February 2019

Publication

Quadratic voting: How mechanism design can radicalize democracy

Steven P. Lalley, E. Glen Weyl

AEA Papers and Proceedings | May 2018

Publication

Quadratic voting and the public good: introduction

Eric A. Posner, E. Glen Weyl

Public Choice | February 2017, Vol 172: pp. 1-22

Publication

The Robustness of Quadratic Voting

E. Glen Weyl

October 2016

Publication

Benefit-Cost Analysis for Financial Regulation

Eric Posner, E. Glen Weyl, E. Glen Weyl

American Economic Review Papers and Proceedings | May 2013

Publication Publication

A Plural Decentralized Identity Frontier: Abstraction v. Composability Tradeoffs in Web3

Shrey Jain, Leon Erichsen, E. Glen Weyl

August 2022

Publication

Decentralized Society: Finding Web3’s Soul

E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin

May 2022

Publication

Design of a Privacy-Preserving Data Platform for Collaboration Against Human Trafficking

Darren Edge, Weiwei Yang, Harry Cook, Claire Galez-Davis, Hannah Darnton, Kate Lytvynets, Chris White

May 2020

Preprint PDF

Outpacing the Virus: Digital Response to Containing the Spread of COVID-19 while Mitigating Privacy Risks

Vi Hart, Divya Siddarth, Bethan Cantrell, Lila Tretikov, Peter Eckersley, John Langford, Scott Leibrand, Sham Kakade, Steve Latta, Dana Lewis, Stefano Tessaro, E. Glen Weyl

Harvard Center for Ethics | April 2020

PDF Project

VAULT: Verifiable Audits Using Limited Transparency

Josh Benaloh, Philip B. Stark, Vanessa Teague

E-Vote-ID | October 2019

PDF

The Weakness of Cumulative Voting

Josh Benaloh

October 2017

DOI Publication Publication Publication Publication

Public Evidence from Secret Ballots

Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach

October 2017

DOI Publication Publication Publication Publication Publication

FourQ on embedded devices with strong countermeasures against side-channel attacks

Patrick Longa, Zhe Liu, Geovandro Pereira, Oscar Reparaz, Hwajeong Seo

MSR-TR-2017-18 | May 2017

Publication Project

Efficient Algorithms for Supersingular Isogeny Diffie-Hellman

Craig Costello, Patrick Longa, Michael Naehrig

Advances in Cryptology – CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016

Publication Publication Project Project Project

SchnorrQ: Schnorr signatures on FourQ

Craig Costello, Patrick Longa

July 2016

Publication

FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors

Patrick Longa

MSR-TR-2016-25 | May 2016

Publication Project

Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography

Patrick Longa, Michael Naehrig

MSR-TR-2016-23 | May 2016

Publication Project Project

Keys under doormats: mandating insecurity by requiring government access to all data and communications

Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner

Journal of Cybersecurity | November 2015

Publication Publication

End-to-end verifiability

February 2014

Publication

Rethinking Voter Coercion: The Realities Imposed by Technology

Josh Benaloh

USENIX Journal of Election Technology and Systems (JETS) | August 2013

Publication

STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System

Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn

USENIX Journal of Election Technology and Systems (JETS) | August 2013

Publication

Verifiable Postal Voting

Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague

Proceedings of 21st International Workshop | March 2013

Publication

The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation

Josh Benaloh, Eric Lazarus

MSR-TR-2011-115 | October 2011

Publication

SOBA: Secrecy-preserving Observable Ballot-level Audit

Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark

Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE ’11) | August 2011

Publication

Administrative and Public Verifiability: Can We Have Both?

Josh Benaloh

Proceedings of the 2008 Electronic Voting Technology Workshop (EVT ’08) | June 2008

Publication

Eclipse: An End-to-End Platform for Low-Cost, Hyperlocal Environmental Sensing in Cities

Madeleine Daepp, Alex Cabral, Vaishnavi Ranganathan, Vikram Iyer, Scott Counts, Paul Johns, Asta Roseway, Charlie Catlett, Gavin Jancke, Darren Gehring, Chuck Needham, Curtis von Veh, Tracy Tran, Lex Story, Gabriele D’Amone, Bichlien Nguyen

2022 International Conference on Information Processing in Sensor Networks (IPSN) | May 2022

PDF Publication Project

Synthetic DNA applications in information technology

Linda C. Meiser, Bichlien Nguyen, Yuan-Jyue Chen, Jeff Nivala, Karin Strauss, Luis Ceze, Robert N. Grass

Nature Communications | January 2022

Publication

Orchard: Exploring Multivariate Heterogeneous Networks on Mobile Phones

Philipp Eichmann, Darren Edge, Nathan Evans, Bongshin Lee, Matthew Brehmer, Chris White

Computer Graphics Forum | June 2020

Publication Video Project

Design of a Privacy-Preserving Data Platform for Collaboration Against Human Trafficking

Darren Edge, Weiwei Yang, Harry Cook, Claire Galez-Davis, Hannah Darnton, Kate Lytvynets, Chris White

May 2020

Preprint PDF

Workgroup Mapping: Visual Analysis of Collaboration Culture

Darren Edge, Jonathan Larson, Nikolay Trandev, Neha Parikh Shah, Carolyn Buractaon, Nicholas Caurvina, Nathan Evans, Chris White

May 2020

Preprint PDF Project

News Provenance: Revealing News Text Reuse at Web-Scale in an Augmented News Search Experience

Nathan Evans, Darren Edge, Jonathan Larson, Chris White

CHI | April 2020

Publication

Making Sense of Search: Using Graph Embedding and Visualization to Transform Query Understanding

Jonathan Larson, Darren Edge, Nathan Evans, Chris White

CHI | April 2020

Publication

Outpacing the Virus: Digital Response to Containing the Spread of COVID-19 while Mitigating Privacy Risks

Vi Hart, Divya Siddarth, Bethan Cantrell, Lila Tretikov, Peter Eckersley, John Langford, Scott Leibrand, Sham Kakade, Steve Latta, Dana Lewis, Stefano Tessaro, E. Glen Weyl

Harvard Center for Ethics | April 2020

PDF Project

Timeline Storyteller: The Design & Deployment of an Interactive Authoring Tool for Expressive Timeline Narratives

Matthew Brehmer, Bongshin Lee, Nathalie Henry Riche, David Tittsworth, Kate Lytvynets, Darren Edge, Chris White

Computation+Journalism Symposium | February 2019

Publication Video Video Github Project

Trimming the Hairball: Edge Cutting Strategies for Making Dense Graphs Usable

Darren Edge, Jonathan Larson, Markus Mobius, Chris White

GTA³ 2.0: The 2nd IEEE Big Data Workshop on Graph Techniques for Adversarial Activity Analytics | December 2018

Publication

Using Web-Scale Graph Analytics to Counter Technical Support Scams

Jonathan Larson, Bryan Tower, Duane Hadfield, Darren Edge, Chris White

GTA³ 2.0: The 2nd IEEE Big Data Workshop on Graph Techniques for Adversarial Activity Analytics | December 2018

Publication

Bringing AI to BI: Enabling Visual Analytics of Unstructured Data in a Modern Business Intelligence Platform

Darren Edge, Jonathan Larson, Chris White

CHI 2018 Extended Abstracts | April 2018

Publication Publication Publication

Beyond Tasks: An Activity Typology for Visual Analytics

Darren Edge, Nathalie Henry Riche, Jonathan Larson, Chris White

Transactions on Visualization and Computer Graphics | January 2018, Vol 24(1): pp. 267-277

Publication Publication

Random Access in Large-Scale DNA Data Storage

Lee Organick, Siena Dumas Ang, Yuan-Jyue Chen, Randolph Lopez, Sergey Yekhanin, Konstantin Makarychev, Miklos Z Racz, Govinda Kamath, Parikshit Gopalan, Bichlien Nguyen, Christopher N Takahashi, Sharon Newman, Hsing-Yeh Parker, Cyrus Rashtchian, Kendall Stewart, Gagan Gupta, Robert Carlson, John Mulligan, Doug Carmean, Georg Seelig, Luis Ceze, Karin Strauss

Nature Biotechnology | March 2018, Vol 36(3)

Publication Project

Efficient Algorithms for Supersingular Isogeny Diffie-Hellman

Craig Costello, Patrick Longa, Michael Naehrig

Advances in Cryptology – CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016

Publication Publication Project Project Project

Evaluating the risk of data loss due to particle radiation damage in a DNA data storage system

Christopher N. Takahashi, David P. Ward, Carlo Cazzaniga, Christopher D. Frost, Paolo Rech, Kumkum Ganguly, Sean Blanchard, Steve Wender, Bichlien Nguyen, Jake Smith

Nature Communications | September 2024, Vol 15: pp. 8067

DOI Publication Publication Project

Ghana 3D Telemedicine International MDT: A Proof-of-concept study

Spencer Fowers, Andrea Britto Mattos Lima, Thiago V. Spina, David Tittsworth, Amber Hoak, Ben Cutler, Christopher O'Dowd, Johnny Johnson

Journal of Plastic, Reconstructive, and Aesthetic Surgery | November 2023

Publication Project

Discovering a change point and piecewise linear structure in a time series of organoid networks via the iso-mirror

Tianyi Chen, Weiwei Yang, Chris White, Carey E. Priebe

Applied Network Science | July 2023

Publication Project

What Old-School Economics Doesn’t Get About Democracy

Peter Coy

NY Times | June 2023

Publication

Generative AI Questions the Ability of Humans to Maintain Self-Determination

Nikkei | May 2023

Publication

There Is No A.I.

Jaron Lanier

New Yorker | April 2023

Plurality, Tokyo & Taipei

Noah

da0 | April 2023

Publication

A Frequency Domain Approach to Predict Power System Transients

Wenqi Cui, Weiwei Yang, Baosen Zhang

IEEE Transactions on Power Systems | March 2023

Publication

Information decay and enzymatic information recovery for DNA data storage

Linda C. Meiser, Andreas L. Gimpel, Tejas Deshpande, Gabriela Libort, Weida D. Chen, Reinhard Heckel, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Communications Biology | October 2022

Publication Project

Participatory Development of a 3D Telemedicine system during Covid: the future of remote consultations

Spencer Fowers, Thiago V. Spina, Andrea Britto Mattos Lima, Ben Cutler, David Tittsworth, Wayne Chang, Amber Hoak, Johnny Johnson, Mike Shepperd, Whitney Hudson

Journal of Plastic, Reconstructive & Aesthetic Surgery | October 2022

Publication Video Project Project Project

Distance-based Positive and Unlabeled Learning for Ranking

Hayden S. Helm, Amitabh Basu, Carey E. Priebe, Jonathan Larson, Marah I Abdin, Piali Choudhury, Weiwei Yang, Chris White

Pattern Recognition | October 2022

Publication

Reflecting on a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality

Michael Freedman, Michal Fabinger, E. Glen Weyl

RadicalxChange | September 2022

Publication

Biobased materials for sustainable printed circuit boards

Oladele A Ogunseitan , Julie M Schoenung, Johnny Lincoln, Bichlien Nguyen, Karin Strauss, Kali Frost, Eric Schwartz, Haoyang He, Maryam Ibrahim

Nature Reviews Materials | September 2022

Publication Project

Preserving DNA in Biodegradable Organosilica Encapsulates

Julian Koch, Ann-Christin Kerl, Natascha Schawalder, Anne M. Luescher, Bichlien Nguyen, Karin Strauss, Wendelin J. Stark, Robert N. Grass

Langmuir | September 2022

Publication Project

Plural Money, Socially-Provided Goods, and the Principal-Agent Problem

Matt Prewitt, E. Glen Weyl

RadicalxChange | September 2022

Publication

Mental State Classification Using Multi-Graph Features

Guodong Chen, Hayden S. Helm, Kate Lytvynets, Weiwei Yang, Carey E. Priebe

Frontiers in Human Neuroscience | June 2022

Publication Project

Integrating DNA Encapsulates and Digital Microfluidics for Automated Data Storage in DNA

Philipp L. Antkowiak, Julian Koch, Bichlien Nguyen, Wendelin J. Stark, Karin Strauss, Luis Ceze, Robert N. Grass

Small | February 2022

Publication

A Combinatorial PCR Method for Efficient, Selective Oligo Retrieval from Complex Oligo Pools

Claris Winston, Lee Organick, David Ward, Luis Ceze, Karin Strauss, Yuan-Jyue Chen

ACS Synthetic Biology | February 2022

Publication Project

Anhydrous calcium phosphate crystals stabilize DNA for dry storage

Philipp L. Antkowiak , Julian Koch, Przemyslaw Rzepka, Bichlien Nguyen, Karin Strauss, Wendelin Jan Stark, Robert N. Grass

Chemical Communications | February 2022

Publication Project

Synthetic DNA applications in information technology

Linda C. Meiser, Bichlien Nguyen, Yuan-Jyue Chen, Jeff Nivala, Karin Strauss, Luis Ceze, Robert N. Grass

Nature Communications | January 2022

Publication

Scaling DNA data storage with nanoscale electrode wells

Bichlien Nguyen, Christopher Takahashi, Gagan Gupta, Jake Smith, Richard Rouse, Paul Berndt, Sergey Yekhanin, David Ward, Siena Ang, Patrick Garvan, Hsing-Yeh Parker, Rob Carlson, Douglas Carmean, Luis Ceze, Karin Strauss

Science Advances | November 2021

Publication Project

Robust Digital Molecular Design of Binarized Neural Networks

Johannes Linder, Yuan-Jyue Chen, David Wong, Georg Seelig, Luis Ceze, Karin Strauss

Leibniz International Proceedings in Informatics (LIPIcs) | September 2021, Vol 205(DNA 27)

Publication DOI Project

Molecular-level similarity search brings computing to DNA data storage

Callista Bee, Yuan-Jyue Chen, Melissa Queen, David Ward, Xiaomeng Liu, Lee Organick, Georg Seelig, Karin Strauss, Luis Ceze

Nature Communications | August 2021, Vol 12(4764)

DOI Publication Project

An Empirical Comparison of Preservation Methods for Synthetic DNA Data Storage

Lee Organick, Bichlien Nguyen, Rachel McAmis, Weida D. Chen, A. Xavier Kohll, Siena Dumas Ang, Robert Grass, Luis Ceze, Karin Strauss

Small Methods | January 2021

Publication Project

Orchard: Exploring Multivariate Heterogeneous Networks on Mobile Phones

Philipp Eichmann, Darren Edge, Nathan Evans, Bongshin Lee, Matthew Brehmer, Chris White

Computer Graphics Forum | June 2020

Publication Video Project

Outpacing the Virus: Digital Response to Containing the Spread of COVID-19 while Mitigating Privacy Risks

Vi Hart, Divya Siddarth, Bethan Cantrell, Lila Tretikov, Peter Eckersley, John Langford, Scott Leibrand, Sham Kakade, Steve Latta, Dana Lewis, Stefano Tessaro, E. Glen Weyl

Harvard Center for Ethics | April 2020

PDF Project

A Blueprint for a Better Digital Society

Jaron Lanier, E. Glen Weyl

Harvard Business Review | September 2018

PDF

Random Access in Large-Scale DNA Data Storage

Lee Organick, Siena Dumas Ang, Yuan-Jyue Chen, Randolph Lopez, Sergey Yekhanin, Konstantin Makarychev, Miklos Z Racz, Govinda Kamath, Parikshit Gopalan, Bichlien Nguyen, Christopher N Takahashi, Sharon Newman, Hsing-Yeh Parker, Cyrus Rashtchian, Kendall Stewart, Gagan Gupta, Robert Carlson, John Mulligan, Doug Carmean, Georg Seelig, Luis Ceze, Karin Strauss

Nature Biotechnology | March 2018, Vol 36(3)

Publication Project

Beyond Tasks: An Activity Typology for Visual Analytics

Darren Edge, Nathalie Henry Riche, Jonathan Larson, Chris White

Transactions on Visualization and Computer Graphics | January 2018, Vol 24(1): pp. 267-277

Publication Publication

Dunking the data center

Ben Cutler, Spencer Fowers

IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31

Publication Project

Quadratic voting and the public good: introduction

Eric A. Posner, E. Glen Weyl

Public Choice | February 2017, Vol 172: pp. 1-22

Publication

Keys under doormats: mandating insecurity by requiring government access to all data and communications

Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner

Journal of Cybersecurity | November 2015

Publication Publication

Rethinking Voter Coercion: The Realities Imposed by Technology

Josh Benaloh

USENIX Journal of Election Technology and Systems (JETS) | August 2013

Publication

STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System

Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn

USENIX Journal of Election Technology and Systems (JETS) | August 2013

Publication

Benefit-Cost Analysis for Financial Regulation

Eric Posner, E. Glen Weyl, E. Glen Weyl

American Economic Review Papers and Proceedings | May 2013

Publication Publication

MedFuzz: Exploring the Robustness of Large Language Models in Medical Question Answering

Robert Osazuwa Ness, Hayden Helm, Katie Matton, Sheng Zhang, Junaid Bajwa, Carey E. Priebe, Eric Horvitz

June 2024

Publication

From Local to Global: A Graph RAG Approach to Query-Focused Summarization

Darren Edge, Ha Trinh, Newman Cheng, Joshua Bradley, Alex Chao, Apurva Mody, Steven Truitt, Jonathan Larson

April 2024

Preprint Project

Can Generalist Foundation Models Outcompete Special-Purpose Tuning? Case Study in Medicine

Harsha Nori, Yin Tat Lee, Sheng Zhang, Dean Carignan, Richard Edgar, Nicolo Fusi, Nicholas King, Jonathan Larson, Yuanzhi Li, Weishung Liu, Renqian Luo, Scott Mayer McKinney, Robert Osazuwa Ness, Hoifung Poon, Tao Qin, Naoto Usuyama, Chris White, Eric Horvitz

November 2023

Publication

Dynamic Silos: Modularity in intra-organizational communication networks before and during the Covid-19 pandemic

Jonathan Larson, Tiona Zuzul, Emily Cox Pahnke, Neha Parikh Shah, Patrick Bourke, Nicholas Caurvina, Fereshteh Amini, Youngser Park, Joshua Vogelstein, Jeffrey Weston, Chris White, Carey E. Priebe

April 2021

Publication Project Project

Design of a Privacy-Preserving Data Platform for Collaboration Against Human Trafficking

Darren Edge, Weiwei Yang, Harry Cook, Claire Galez-Davis, Hannah Darnton, Kate Lytvynets, Chris White

May 2020

Preprint PDF

Workgroup Mapping: Visual Analysis of Collaboration Culture

Darren Edge, Jonathan Larson, Nikolay Trandev, Neha Parikh Shah, Carolyn Buractaon, Nicholas Caurvina, Nathan Evans, Chris White

May 2020

Preprint PDF Project

SchnorrQ: Schnorr signatures on FourQ

Craig Costello, Patrick Longa

July 2016

Publication

Automated Interviewer or Augmented Survey? Collecting Social Data with Large Language Models

Alejandro Cuevas Villalba, Eva M. Brown, Jennifer V. Scurrell, Madeleine Daepp, Jason Entenmann

September 2023

Publication

Microsoft Cloud Supply Chain & Finance is a finalist in Alexander Hamilton Treasury Awards for its blockchain work

Yorke Rhodes

January 2023

Publication

Is Worldcoin a crypto-currency for the masses or your digital ID?

E. Glen Weyl, Edd Gent

December 2022

Publication

Web3: A more humane, egalitarian, and decentralized internet?

E. Glen Weyl, Molly White, Vlad Ginzburg

December 2022

Publication

COP27: Leading Technology Companies Launch “Ethereum Climate Platform” Initiative to Address Ethereum’s Former Proof of Work Carbon Emissions

ConsenSys

November 2022

Publication

Prospecting a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality

Michal Fabinger, Michael Freedman, E. Glen Weyl

September 2022

Publication

A Plural Decentralized Identity Frontier: Abstraction v. Composability Tradeoffs in Web3

Shrey Jain, Leon Erichsen, E. Glen Weyl

August 2022

Publication

Decentralized Society: Finding Web3’s Soul

E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin

May 2022

Publication

A New Consensus Protocol: Quadratic Voting With Multiple Alternatives

Jon X. Eguia, Nicole Immorlica, Katrina Ligett, E. Glen Weyl, Dimitrios Xefteris

February 2019

Publication

The Weakness of Cumulative Voting

Josh Benaloh

October 2017

DOI Publication Publication Publication Publication

The Robustness of Quadratic Voting

E. Glen Weyl

October 2016

Publication

End-to-end verifiability

February 2014

Publication

Towards closing the data gap: A project-driven distributed energy resource dataset for the U.S. Grid

Rabab Haider, Yixing Xu, Weiwei Yang

AMC International conference on Future of Energy Systems | June 2023

Publication Github

A Causal AI Suite for Decision-Making

Emre Kiciman, Eleanor Dillon, Darren Edge, Adam Foster, Agrin Hilmkil, Joel Jennings, Chao Ma, Robert Osazuwa Ness, Nick Pawlowski, Amit Sharma, Cheng Zhang

NeurIPS 2022 Workshop on Causality for Real-world Impact | December 2022

Publication Project Project Project

Eclipse: An End-to-End Platform for Low-Cost, Hyperlocal Environmental Sensing in Cities

Madeleine Daepp, Alex Cabral, Vaishnavi Ranganathan, Vikram Iyer, Scott Counts, Paul Johns, Asta Roseway, Charlie Catlett, Gavin Jancke, Darren Gehring, Chuck Needham, Curtis von Veh, Tracy Tran, Lex Story, Gabriele D’Amone, Bichlien Nguyen

2022 International Conference on Information Processing in Sensor Networks (IPSN) | May 2022

PDF Publication Project

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Sebastian Ullrich, Leonardo de Moura

2022 International Joint Conference on Automated Reasoning | April 2022

DOI Publication Project

A Tale of Two Mice: Sustainable Electronic Design and Prototyping

Vicente Arroyos, Maria L K Viitaniemi, Nicholas Keehn, Vaidehi Oruganti, Winston Saunders, Karin Strauss, Vikram Iyer, Bichlien Nguyen

CHI 2022 | April 2022

Publication Project

The Lean 4 Theorem Prover and Programming Language

Leonardo de Moura, Sebastian Ullrich

2021 Conference on Automated Deduction | July 2021

DOI PDF Github Project

Zeus: Locality-aware Distributed Transactions

Antonios Katsarakis, Yijun Ma, Zhaowei Tan, Andrew Bainbridge, Matthew Balkwill, Aleksandar Dragojevic, Boris Grot, Bozidar Radunovic, Yongguang Zhang

Eurosys | April 2021

Publication Project Project

Architecting Datacenters for Sustainability: Greener Data Storage using Synthetic DNA

Bichlien Nguyen, Julie Sinistore, Jake Smith, Praneet S. Arshi, Lauren M. Johnson, Tim Kidman, T.J. diCaprio, Doug Carmean, Karin Strauss

Electronics Goes Green 2020 | September 2020

Publication Project

News Provenance: Revealing News Text Reuse at Web-Scale in an Augmented News Search Experience

Nathan Evans, Darren Edge, Jonathan Larson, Chris White

CHI | April 2020

Publication

Making Sense of Search: Using Graph Embedding and Visualization to Transform Query Understanding

Jonathan Larson, Darren Edge, Nathan Evans, Chris White

CHI | April 2020

Publication

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

Sebastian Ullrich, Leonardo de Moura

IFL 2019 | March 2020

Publication Project

VAULT: Verifiable Audits Using Limited Transparency

Josh Benaloh, Philip B. Stark, Vanessa Teague

E-Vote-ID | October 2019

PDF

Timeline Storyteller: The Design & Deployment of an Interactive Authoring Tool for Expressive Timeline Narratives

Matthew Brehmer, Bongshin Lee, Nathalie Henry Riche, David Tittsworth, Kate Lytvynets, Darren Edge, Chris White

Computation+Journalism Symposium | February 2019

Publication Video Video Github Project

Trimming the Hairball: Edge Cutting Strategies for Making Dense Graphs Usable

Darren Edge, Jonathan Larson, Markus Mobius, Chris White

GTA³ 2.0: The 2nd IEEE Big Data Workshop on Graph Techniques for Adversarial Activity Analytics | December 2018

Publication

Using Web-Scale Graph Analytics to Counter Technical Support Scams

Jonathan Larson, Bryan Tower, Duane Hadfield, Darren Edge, Chris White

GTA³ 2.0: The 2nd IEEE Big Data Workshop on Graph Techniques for Adversarial Activity Analytics | December 2018

Publication

Quadratic voting: How mechanism design can radicalize democracy

Steven P. Lalley, E. Glen Weyl

AEA Papers and Proceedings | May 2018

Publication

Bringing AI to BI: Enabling Visual Analytics of Unstructured Data in a Modern Business Intelligence Platform

Darren Edge, Jonathan Larson, Chris White

CHI 2018 Extended Abstracts | April 2018

Publication Publication Publication

Public Evidence from Secret Ballots

Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach

October 2017

DOI Publication Publication Publication Publication Publication

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

ICFP 2017 | August 2017

DOI PDF Github Project

Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project

RoboCOP: A Robotic Coach for Oral Presentations

Ha Trinh, Reza Asadi, Darren Edge, Timothy Bickmore

Interactive, Mobile, Wearable, and Ubiquitous Technology (IMWUT) | June 2017

Publication

Efficient Algorithms for Supersingular Isogeny Diffie-Hellman

Craig Costello, Patrick Longa, Michael Naehrig

Advances in Cryptology – CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016

Publication Publication Project Project Project

Congruence Closure in Intensional Type Theory

Daniel Selsam, Leonardo de Moura

2016 International Joint Conference on Automated Reasoning | June 2016

DOI Publication Project

The Lean Theorem Prover (System Description)

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

2015 Conference on Automated Deduction | July 2015

DOI PDF Publication Github Project

Verifiable Postal Voting

Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague

Proceedings of 21st International Workshop | March 2013

Publication

SOBA: Secrecy-preserving Observable Ballot-level Audit

Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark

Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE ’11) | August 2011

Publication

Administrative and Public Verifiability: Can We Have Both?

Josh Benaloh

Proceedings of the 2008 Electronic Voting Technology Workshop (EVT ’08) | June 2008

Publication

Could Underwater Data Centers Make Cloud Computing Greener?

Spencer Fowers

MSR-TR-2022-33 | December 2022

Published by Wall Street Journal

Publication Project

rVNF: Reliable, scalable and performant cellular VNFs in the cloud

Antonios Katsarakis, Zhaowei Tan, Matthew Balkwill, Bozidar Radunovic, Andrew Bainbridge, Aleksandar Dragojevic, Boris Grot, Yongguang Zhang

MSR-TR-2021-7 | April 2021

Published by Microsoft

Publication Project Project

FourQ on embedded devices with strong countermeasures against side-channel attacks

Patrick Longa, Zhe Liu, Geovandro Pereira, Oscar Reparaz, Hwajeong Seo

MSR-TR-2017-18 | May 2017

Publication Project

FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors

Patrick Longa

MSR-TR-2016-25 | May 2016

Publication Project

Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography

Patrick Longa, Michael Naehrig

MSR-TR-2016-23 | May 2016

Publication Project Project

The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation

Josh Benaloh, Eric Lazarus

MSR-TR-2011-115 | October 2011

Publication

Radical Markets

Eric A. Posner, E. Glen Weyl

Published by Princeton University Press | May 2018

ISBN: 9780691177502

Author's Version