Fast and Reliable N – k Contingency Screening with Input-Convex Neural Networks
Nicolas Christianson, Wenqi Cui, Steven Low, Weiwei Yang, Baosen Zhang
L4DC 2025 | June 2025
Microsoft Research Special Projects
Publications
Publications by Year
-
Iterative Self-Tuning LLMs for Enhanced Jailbreaking Capabilities
Chung-En Sun, Xiaodong Liu, Weiwei Yang, Tsui-Wei Weng, Hao Cheng, Aidan San, Michel Galley, Jianfeng Gao
NAACL 2025 | April 2025
Selected for oral presentation
Towards Effective Extraction and Evaluation of Factual Claims
Dasha Metropolitansky, Jonathan Larson
February 2025
-
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
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
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, Dasha Metropolitansky, Robert Osazuwa Ness, Jonathan Larson
April 2024
-
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
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
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
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
What Old-School Economics Doesn’t Get About Democracy
Peter Coy
NY Times | June 2023
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
Generative AI Questions the Ability of Humans to Maintain Self-Determination
Nikkei | May 2023
Plurality, Tokyo & Taipei
Noah
da0 | April 2023
There Is No A.I.
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
Microsoft Cloud Supply Chain & Finance is a finalist in Alexander Hamilton Treasury Awards for its blockchain work
Yorke Rhodes
January 2023
-
Could Underwater Data Centers Make Cloud Computing Greener?
MSR-TR-2022-33 | December 2022
Published by Wall Street Journal
Is Worldcoin a crypto-currency for the masses or your digital ID?
E. Glen Weyl, Edd Gent
December 2022
Web3: A more humane, egalitarian, and decentralized internet?
E. Glen Weyl, Molly White, Vlad Ginzburg
December 2022
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
COP27: Leading Technology Companies Launch “Ethereum Climate Platform” Initiative to Address Ethereum’s Former Proof of Work Carbon Emissions
ConsenSys
November 2022
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
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
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
Prospecting a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality
Michal Fabinger, Michael Freedman, E. Glen Weyl
September 2022
Reflecting on a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality
Michael Freedman, Michal Fabinger, E. Glen Weyl
RadicalxChange | September 2022
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
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
Plural Money, Socially-Provided Goods, and the Principal-Agent Problem
Matt Prewitt, E. Glen Weyl
RadicalxChange | September 2022
A Plural Decentralized Identity Frontier: Abstraction v. Composability Tradeoffs in Web3
Shrey Jain, Leon Erichsen, E. Glen Weyl
August 2022
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
Decentralized Society: Finding Web3’s Soul
E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin
May 2022
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
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Sebastian Ullrich, Leonardo de Moura
2022 International Joint Conference on Automated Reasoning | April 2022
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
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
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
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
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
-
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
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)
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)
The Lean 4 Theorem Prover and Programming Language
Leonardo de Moura, Sebastian Ullrich
2021 Conference on Automated Deduction | July 2021
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
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
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
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
-
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
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
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
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
Making Sense of Search: Using Graph Embedding and Visualization to Transform Query Understanding
Jonathan Larson, Darren Edge, Nathan Evans, Chris White
CHI | April 2020
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
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
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Sebastian Ullrich, Leonardo de Moura
IFL 2019 | March 2020
-
VAULT: Verifiable Audits Using Limited Transparency
Josh Benaloh, Philip B. Stark, Vanessa Teague
E-Vote-ID | October 2019
A New Consensus Protocol: Quadratic Voting With Multiple Alternatives
Jon X. Eguia, Nicole Immorlica, Katrina Ligett, E. Glen Weyl, Dimitrios Xefteris
February 2019
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
-
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
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
A Blueprint for a Better Digital Society
Harvard Business Review | September 2018
Radical Markets
Eric A. Posner, E. Glen Weyl
Published by Princeton University Press | May 2018
ISBN: 9780691177502
Quadratic voting: How mechanism design can radicalize democracy
Steven P. Lalley, E. Glen Weyl
AEA Papers and Proceedings | May 2018
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
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)
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
-
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
October 2017
A metaprogramming framework for formal verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
ICFP 2017 | August 2017
Developing Bug-Free Machine Learning Systems with Formal Mathematics
Daniel Selsam, Percy Liang, David L. Dill
ICML 2017 | July 2017
RoboCOP: A Robotic Coach for Oral Presentations
Ha Trinh, Reza Asadi, Darren Edge, Timothy Bickmore
Interactive, Mobile, Wearable, and Ubiquitous Technology (IMWUT) | June 2017
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
Dunking the data center
IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31
Quadratic voting and the public good: introduction
Eric A. Posner, E. Glen Weyl
Public Choice | February 2017, Vol 172: pp. 1-22
-
The Robustness of Quadratic Voting
October 2016
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
SchnorrQ: Schnorr signatures on FourQ
Craig Costello, Patrick Longa
July 2016
Congruence Closure in Intensional Type Theory
Daniel Selsam, Leonardo de Moura
2016 International Joint Conference on Automated Reasoning | June 2016
FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors
MSR-TR-2016-25 | May 2016
Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography
Patrick Longa, Michael Naehrig
MSR-TR-2016-23 | May 2016
-
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
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
-
End-to-end verifiability
February 2014
-
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
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
Benefit-Cost Analysis for Financial Regulation
Eric Posner, E. Glen Weyl, E. Glen Weyl
American Economic Review Papers and Proceedings | May 2013
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
-
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
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
-
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT ’08) | June 2008
Publications by Research Area
-
Fast and Reliable N – k Contingency Screening with Input-Convex Neural Networks
Nicolas Christianson, Wenqi Cui, Steven Low, Weiwei Yang, Baosen Zhang
L4DC 2025 | June 2025
Iterative Self-Tuning LLMs for Enhanced Jailbreaking Capabilities
Chung-En Sun, Xiaodong Liu, Weiwei Yang, Tsui-Wei Weng, Hao Cheng, Aidan San, Michel Galley, Jianfeng Gao
NAACL 2025 | April 2025
Selected for oral presentation
Towards Effective Extraction and Evaluation of Factual Claims
Dasha Metropolitansky, Jonathan Larson
February 2025
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
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, Dasha Metropolitansky, Robert Osazuwa Ness, Jonathan Larson
April 2024
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
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
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Sebastian Ullrich, Leonardo de Moura
2022 International Joint Conference on Automated Reasoning | April 2022
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)
The Lean 4 Theorem Prover and Programming Language
Leonardo de Moura, Sebastian Ullrich
2021 Conference on Automated Deduction | July 2021
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
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Sebastian Ullrich, Leonardo de Moura
IFL 2019 | March 2020
A metaprogramming framework for formal verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
ICFP 2017 | August 2017
Developing Bug-Free Machine Learning Systems with Formal Mathematics
Daniel Selsam, Percy Liang, David L. Dill
ICML 2017 | July 2017
Congruence Closure in Intensional Type Theory
Daniel Selsam, Leonardo de Moura
2016 International Joint Conference on Automated Reasoning | June 2016
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
-
Iterative Self-Tuning LLMs for Enhanced Jailbreaking Capabilities
Chung-En Sun, Xiaodong Liu, Weiwei Yang, Tsui-Wei Weng, Hao Cheng, Aidan San, Michel Galley, Jianfeng Gao
NAACL 2025 | April 2025
Selected for oral presentation
A Plural Decentralized Identity Frontier: Abstraction v. Composability Tradeoffs in Web3
Shrey Jain, Leon Erichsen, E. Glen Weyl
August 2022
Decentralized Society: Finding Web3’s Soul
E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin
May 2022
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
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
VAULT: Verifiable Audits Using Limited Transparency
Josh Benaloh, Philip B. Stark, Vanessa Teague
E-Vote-ID | October 2019
The Weakness of Cumulative Voting
October 2017
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
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
SchnorrQ: Schnorr signatures on FourQ
Craig Costello, Patrick Longa
July 2016
FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors
MSR-TR-2016-25 | May 2016
Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography
Patrick Longa, Michael Naehrig
MSR-TR-2016-23 | May 2016
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
End-to-end verifiability
February 2014
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
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
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
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
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT ’08) | June 2008
-
Towards Effective Extraction and Evaluation of Factual Claims
Dasha Metropolitansky, Jonathan Larson
February 2025
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, Dasha Metropolitansky, Robert Osazuwa Ness, Jonathan Larson
April 2024
-
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
Could Underwater Data Centers Make Cloud Computing Greener?
MSR-TR-2022-33 | December 2022
Published by Wall Street Journal
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
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
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
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
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
Dunking the data center
IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31
-
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
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
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
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
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
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
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)
-
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
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
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
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
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
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
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
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
-
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
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
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
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
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
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
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
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
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
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
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
-
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
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
Dunking the data center
IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31
-
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
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
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
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
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
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
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
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
Making Sense of Search: Using Graph Embedding and Visualization to Transform Query Understanding
Jonathan Larson, Darren Edge, Nathan Evans, Chris White
CHI | April 2020
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
RoboCOP: A Robotic Coach for Oral Presentations
Ha Trinh, Reza Asadi, Darren Edge, Timothy Bickmore
Interactive, Mobile, Wearable, and Ubiquitous Technology (IMWUT) | June 2017
-
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
What Old-School Economics Doesn’t Get About Democracy
Peter Coy
NY Times | June 2023
Generative AI Questions the Ability of Humans to Maintain Self-Determination
Nikkei | May 2023
There Is No A.I.
New Yorker | April 2023
Plurality, Tokyo & Taipei
Noah
da0 | April 2023
Microsoft Cloud Supply Chain & Finance is a finalist in Alexander Hamilton Treasury Awards for its blockchain work
Yorke Rhodes
January 2023
Is Worldcoin a crypto-currency for the masses or your digital ID?
E. Glen Weyl, Edd Gent
December 2022
Web3: A more humane, egalitarian, and decentralized internet?
E. Glen Weyl, Molly White, Vlad Ginzburg
December 2022
COP27: Leading Technology Companies Launch “Ethereum Climate Platform” Initiative to Address Ethereum’s Former Proof of Work Carbon Emissions
ConsenSys
November 2022
Reflecting on a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality
Michael Freedman, Michal Fabinger, E. Glen Weyl
RadicalxChange | September 2022
Prospecting a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality
Michal Fabinger, Michael Freedman, E. Glen Weyl
September 2022
Plural Money, Socially-Provided Goods, and the Principal-Agent Problem
Matt Prewitt, E. Glen Weyl
RadicalxChange | September 2022
Decentralized Society: Finding Web3’s Soul
E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin
May 2022
A Blueprint for a Better Digital Society
Harvard Business Review | September 2018
Radical Markets
Eric A. Posner, E. Glen Weyl
Published by Princeton University Press | May 2018
ISBN: 9780691177502
Benefit-Cost Analysis for Financial Regulation
Eric Posner, E. Glen Weyl, E. Glen Weyl
American Economic Review Papers and Proceedings | May 2013
-
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
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Sebastian Ullrich, Leonardo de Moura
2022 International Joint Conference on Automated Reasoning | April 2022
The Lean 4 Theorem Prover and Programming Language
Leonardo de Moura, Sebastian Ullrich
2021 Conference on Automated Deduction | July 2021
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Sebastian Ullrich, Leonardo de Moura
IFL 2019 | March 2020
A metaprogramming framework for formal verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
ICFP 2017 | August 2017
Developing Bug-Free Machine Learning Systems with Formal Mathematics
Daniel Selsam, Percy Liang, David L. Dill
ICML 2017 | July 2017
Congruence Closure in Intensional Type Theory
Daniel Selsam, Leonardo de Moura
2016 International Joint Conference on Automated Reasoning | June 2016
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
-
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
A Frequency Domain Approach to Predict Power System Transients
Wenqi Cui, Weiwei Yang, Baosen Zhang
IEEE Transactions on Power Systems | March 2023
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
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
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)
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)
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
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
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
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
-
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Sebastian Ullrich, Leonardo de Moura
2022 International Joint Conference on Automated Reasoning | April 2022
The Lean 4 Theorem Prover and Programming Language
Leonardo de Moura, Sebastian Ullrich
2021 Conference on Automated Deduction | July 2021
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Sebastian Ullrich, Leonardo de Moura
IFL 2019 | March 2020
A metaprogramming framework for formal verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
ICFP 2017 | August 2017
Developing Bug-Free Machine Learning Systems with Formal Mathematics
Daniel Selsam, Percy Liang, David L. Dill
ICML 2017 | July 2017
Congruence Closure in Intensional Type Theory
Daniel Selsam, Leonardo de Moura
2016 International Joint Conference on Automated Reasoning | June 2016
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
-
Could Underwater Data Centers Make Cloud Computing Greener?
MSR-TR-2022-33 | December 2022
Published by Wall Street Journal
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
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
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
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
Dunking the data center
IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31
-
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
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
-
Decentralized Society: Finding Web3’s Soul
E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin
May 2022
A New Consensus Protocol: Quadratic Voting With Multiple Alternatives
Jon X. Eguia, Nicole Immorlica, Katrina Ligett, E. Glen Weyl, Dimitrios Xefteris
February 2019
Quadratic voting: How mechanism design can radicalize democracy
Steven P. Lalley, E. Glen Weyl
AEA Papers and Proceedings | May 2018
Quadratic voting and the public good: introduction
Eric A. Posner, E. Glen Weyl
Public Choice | February 2017, Vol 172: pp. 1-22
The Robustness of Quadratic Voting
October 2016
Benefit-Cost Analysis for Financial Regulation
Eric Posner, E. Glen Weyl, E. Glen Weyl
American Economic Review Papers and Proceedings | May 2013
-
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
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
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
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
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
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
Making Sense of Search: Using Graph Embedding and Visualization to Transform Query Understanding
Jonathan Larson, Darren Edge, Nathan Evans, Chris White
CHI | April 2020
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
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
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
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
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
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
-
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)
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
Publications by Type
-
Fast and Reliable N – k Contingency Screening with Input-Convex Neural Networks
Nicolas Christianson, Wenqi Cui, Steven Low, Weiwei Yang, Baosen Zhang
L4DC 2025 | June 2025
Iterative Self-Tuning LLMs for Enhanced Jailbreaking Capabilities
Chung-En Sun, Xiaodong Liu, Weiwei Yang, Tsui-Wei Weng, Hao Cheng, Aidan San, Michel Galley, Jianfeng Gao
NAACL 2025 | April 2025
Selected for oral presentation
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
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
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
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Sebastian Ullrich, Leonardo de Moura
2022 International Joint Conference on Automated Reasoning | April 2022
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
The Lean 4 Theorem Prover and Programming Language
Leonardo de Moura, Sebastian Ullrich
2021 Conference on Automated Deduction | July 2021
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
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
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
Making Sense of Search: Using Graph Embedding and Visualization to Transform Query Understanding
Jonathan Larson, Darren Edge, Nathan Evans, Chris White
CHI | April 2020
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Sebastian Ullrich, Leonardo de Moura
IFL 2019 | March 2020
VAULT: Verifiable Audits Using Limited Transparency
Josh Benaloh, Philip B. Stark, Vanessa Teague
E-Vote-ID | October 2019
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
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
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
Quadratic voting: How mechanism design can radicalize democracy
Steven P. Lalley, E. Glen Weyl
AEA Papers and Proceedings | May 2018
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
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
Developing Bug-Free Machine Learning Systems with Formal Mathematics
Daniel Selsam, Percy Liang, David L. Dill
ICML 2017 | July 2017
RoboCOP: A Robotic Coach for Oral Presentations
Ha Trinh, Reza Asadi, Darren Edge, Timothy Bickmore
Interactive, Mobile, Wearable, and Ubiquitous Technology (IMWUT) | June 2017
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
Congruence Closure in Intensional Type Theory
Daniel Selsam, Leonardo de Moura
2016 International Joint Conference on Automated Reasoning | June 2016
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
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
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
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT ’08) | June 2008
-
Towards Effective Extraction and Evaluation of Factual Claims
Dasha Metropolitansky, Jonathan Larson
February 2025
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
Microsoft Cloud Supply Chain & Finance is a finalist in Alexander Hamilton Treasury Awards for its blockchain work
Yorke Rhodes
January 2023
Is Worldcoin a crypto-currency for the masses or your digital ID?
E. Glen Weyl, Edd Gent
December 2022
Web3: A more humane, egalitarian, and decentralized internet?
E. Glen Weyl, Molly White, Vlad Ginzburg
December 2022
COP27: Leading Technology Companies Launch “Ethereum Climate Platform” Initiative to Address Ethereum’s Former Proof of Work Carbon Emissions
ConsenSys
November 2022
Prospecting a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality
Michal Fabinger, Michael Freedman, E. Glen Weyl
September 2022
A Plural Decentralized Identity Frontier: Abstraction v. Composability Tradeoffs in Web3
Shrey Jain, Leon Erichsen, E. Glen Weyl
August 2022
Decentralized Society: Finding Web3’s Soul
E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin
May 2022
A New Consensus Protocol: Quadratic Voting With Multiple Alternatives
Jon X. Eguia, Nicole Immorlica, Katrina Ligett, E. Glen Weyl, Dimitrios Xefteris
February 2019
The Weakness of Cumulative Voting
October 2017
The Robustness of Quadratic Voting
October 2016
End-to-end verifiability
February 2014
-
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
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
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
What Old-School Economics Doesn’t Get About Democracy
Peter Coy
NY Times | June 2023
Generative AI Questions the Ability of Humans to Maintain Self-Determination
Nikkei | May 2023
There Is No A.I.
New Yorker | April 2023
Plurality, Tokyo & Taipei
Noah
da0 | April 2023
A Frequency Domain Approach to Predict Power System Transients
Wenqi Cui, Weiwei Yang, Baosen Zhang
IEEE Transactions on Power Systems | March 2023
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
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
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
Reflecting on a Possible Quadratic Wormhole Between Quantum Mechanics and Plurality
Michael Freedman, Michal Fabinger, E. Glen Weyl
RadicalxChange | September 2022
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
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
Plural Money, Socially-Provided Goods, and the Principal-Agent Problem
Matt Prewitt, E. Glen Weyl
RadicalxChange | September 2022
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
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
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
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
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
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
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)
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)
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
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
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
A Blueprint for a Better Digital Society
Harvard Business Review | September 2018
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)
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
Dunking the data center
IEEE Spectrum | February 2017, Vol 54(3): pp. 26-31
Quadratic voting and the public good: introduction
Eric A. Posner, E. Glen Weyl
Public Choice | February 2017, Vol 172: pp. 1-22
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
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
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
Benefit-Cost Analysis for Financial Regulation
Eric Posner, E. Glen Weyl, E. Glen Weyl
American Economic Review Papers and Proceedings | May 2013
-
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
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, Dasha Metropolitansky, Robert Osazuwa Ness, Jonathan Larson
April 2024
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
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
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
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
SchnorrQ: Schnorr signatures on FourQ
Craig Costello, Patrick Longa
July 2016
-
Could Underwater Data Centers Make Cloud Computing Greener?
MSR-TR-2022-33 | December 2022
Published by Wall Street Journal
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
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
FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors
MSR-TR-2016-25 | May 2016
Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography
Patrick Longa, Michael Naehrig
MSR-TR-2016-23 | May 2016
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
-
Radical Markets
Eric A. Posner, E. Glen Weyl
Published by Princeton University Press | May 2018
ISBN: 9780691177502