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
出版物
-
-
-
VeriTrail: Closed-Domain Hallucination Detection with Traceability
Dasha Metropolitansky, Jonathan Larson
May 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
-
Dynamic Silos: Modularity in intra-organizational communication networks before and during the Covid-19 pandemic
Tiona Zuzul, Emily Cox Pahnke, Jonathan Larson, Patrick Bourke, Nicholas Caurvina, Neha Parikh Shah, Fereshteh Amini, Jeffrey Weston, Youngser Park, Joshua Vogelstein, Chris White, Carey E. Priebe
Management Science | April 2025
-
Towards Effective Extraction and Evaluation of Factual Claims
Dasha Metropolitansky, Jonathan Larson
ACL 2025 Main Conference | 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, 巻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
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, Mike Shepperd, Wayne Chang, Amber Hoak, Johnny Johnson, 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, 巻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, 巻12(4764)
-
The Lean 4 Theorem Prover and Programming Language
Leonardo de Moura, Sebastian Ullrich
2021 Conference on Automated Deduction | July 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
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, 巻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, 巻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, 巻54(3): pp. 26-31
-
Quadratic voting and the public good: introduction
Eric A. Posner, E. Glen Weyl
Public Choice | February 2017, 巻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
-
-
-
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
-
VeriTrail: Closed-Domain Hallucination Detection with Traceability
Dasha Metropolitansky, Jonathan Larson
May 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
-
Dynamic Silos: Modularity in intra-organizational communication networks before and during the Covid-19 pandemic
Tiona Zuzul, Emily Cox Pahnke, Jonathan Larson, Patrick Bourke, Nicholas Caurvina, Neha Parikh Shah, Fereshteh Amini, Jeffrey Weston, Youngser Park, Joshua Vogelstein, Chris White, Carey E. Priebe
Management Science | April 2025
-
Towards Effective Extraction and Evaluation of Factual Claims
Dasha Metropolitansky, Jonathan Larson
ACL 2025 Main Conference | 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, 巻205(DNA 27)
-
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
-
-
-
VeriTrail: Closed-Domain Hallucination Detection with Traceability
Dasha Metropolitansky, Jonathan Larson
May 2025
-
Towards Effective Extraction and Evaluation of Factual Claims
Dasha Metropolitansky, Jonathan Larson
ACL 2025 Main Conference | 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
-
-
-
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
-
-
-
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, 巻15: pp. 8067
-
Could Underwater Data Centers Make Cloud Computing Greener?
MSR-TR-2022-33 | December 2022
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, 巻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, 巻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, 巻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, 巻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, Mike Shepperd, Wayne Chang, Amber Hoak, Johnny Johnson, 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, Mike Shepperd, Wayne Chang, Amber Hoak, Johnny Johnson, Whitney Hudson
Journal of Plastic, Reconstructive & Aesthetic Surgery | October 2022
-
Dunking the data center
IEEE Spectrum | February 2017, 巻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, Mike Shepperd, Wayne Chang, Amber Hoak, Johnny Johnson, 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, 巻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, 巻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
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
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, 巻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, 巻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, 巻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, 巻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
-
-
-
VeriTrail: Closed-Domain Hallucination Detection with Traceability
Dasha Metropolitansky, Jonathan Larson
May 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
-
-
-
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
ACL 2025 Main Conference | February 2025
-
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
-
-
-
Dynamic Silos: Modularity in intra-organizational communication networks before and during the Covid-19 pandemic
Tiona Zuzul, Emily Cox Pahnke, Jonathan Larson, Patrick Bourke, Nicholas Caurvina, Neha Parikh Shah, Fereshteh Amini, Jeffrey Weston, Youngser Park, Joshua Vogelstein, Chris White, Carey E. Priebe
Management Science | April 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, 巻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, Mike Shepperd, Wayne Chang, Amber Hoak, Johnny Johnson, 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, 巻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, 巻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, 巻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, 巻24(1): pp. 267-277
-
Dunking the data center
IEEE Spectrum | February 2017, 巻54(3): pp. 26-31
-
Quadratic voting and the public good: introduction
Eric A. Posner, E. Glen Weyl
Public Choice | February 2017, 巻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
-
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
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
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
-