Search Results - "Willsey, Max"

High density DNA data storage library via dehydration with digital microfluidic retrieval by Newman, Sharon, Stephenson, Ashley P., Willsey, Max, Nguyen, Bichlien H., Takahashi, Christopher N., Strauss, Karin, Ceze, Luis

“…DNA promises to be a high density data storage medium, but physical storage poses a challenge. To store large amounts of data, pools must be physically…”
Get full text

Design and Implementation of Concurrent C0 by Willsey, Max, Prabhu, Rokhini, Pfenning, Frank

“…We describe Concurrent C0, a type-safe C-like language with contracts and session-typed communication over channels. Concurrent C0 supports an operation called…”
Get full text

DNA Data Storage and Hybrid Molecular-Electronic Computing by Carmean, Douglas, Ceze, Luis, Seelig, Georg, Stewart, Kendall, Strauss, Karin, Willsey, Max

“…Moore's law may be slowing, but our ability to manipulate molecules is improving faster than ever. DNA could provide alternative substrates for computing and…”
Get full text

Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop by Willsey, Max, Lee, Vincent T., Cheung, Alvin, Bodik, Rastislav, Ceze, Luis

“…Domain-specific reconfigurable accelerators achieve high performance and energy efficiency by using specialized processing elements (PEs) instead of…”
Get full text

PurpleDrop: A Digital Microfluidics-Based Platform for Hybrid Molecular-Electronics Applications by Stephenson, Ashley, Willsey, Max, McBride, Jeff, Newman, Sharon, Nguyen, Bichlien, Takahashi, Christopher, Strauss, Karin, Ceze, Luis

“…Molecular manipulation and analysis are the cornerstone of life sciences. With the recent advances in molecular data storage and computing, it has become an…”
Get full text

Practical and Flexible Equality Saturation by Willsey, Max

“…Programming language tools like compilers, optimizers, verifiers, and synthesizers rely on term rewriting to effectively manipulate programs. While powerful…”
Get full text

Free Join: Unifying Worst-Case Optimal and Traditional Joins by Wang, Yisu Remy, Willsey, Max, Suciu, Dan

“…Over the last decade, worst-case optimal join (WCOJ) algorithms have emerged as a new paradigm for one of the most fundamental challenges in query processing:…”
Get full text

Small Proofs from Congruence Closure by Flatt, Oliver, Coward, Samuel, Willsey, Max, Tatlock, Zachary, Panchekha, Pavel

“…Satisfiability Modulo Theory (SMT) solvers and equality saturation engines must generate proof certificates from e-graph-based congruence closure procedures to…”
Get full text

Small Proofs from Congruence Closure by Flatt, Oliver, Coward, Samuel, Willsey, Max, Tatlock, Zachary, Panchekha, Pavel

“…Satisfiability Modulo Theory (SMT) solvers and equality saturation engines must generate proof certificates from e-graph-based congruence closure procedures to…”
Get full text

Relational E-Matching by Zhang, Yihong, Wang, Yisu Remy, Willsey, Max, Tatlock, Zachary

“…We present a new approach to e-matching based on relational join; in particular, we apply recent database query execution techniques to guarantee worst-case…”
Get full text

babble: Learning Better Abstractions with E-Graphs and Anti-Unification by Cao, David, Kunkel, Rose, Nandi, Chandrakana, Willsey, Max, Tatlock, Zachary, Polikarpova, Nadia

“…Library learning compresses a given corpus of programs by extracting common structure from the corpus into reusable library functions. Prior work on library…”
Get full text

Better Together: Unifying Datalog and Equality Saturation by Zhang, Yihong, Wang, Yisu Remy, Flatt, Oliver, Cao, David, Zucker, Philip, Rosenthal, Eli, Tatlock, Zachary, Willsey, Max

“…We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation (EqSat). Like Datalog, it supports efficient incremental execution,…”
Get full text

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material by Zhao, Haisen, Willsey, Max, Zhu, Amy, Nandi, Chandrakana, Tatlock, Zachary, Solomon, Justin, Schulz, Adriana

“…Past work on optimizing fabrication plans given a carpentry design can provide Pareto-optimal plans trading off between material waste, fabrication time,…”
Get full text

Co-Optimization of Design and Fabrication Plans for Carpentry by Zhao, Haisen, Willsey, Max, Zhu, Amy, Nandi, Chandrakana, Tatlock, Zachary, Solomon, Justin, Schulz, Adriana

“…Past work on optimizing fabrication plans given a carpentry design can provide Pareto-optimal plans trading off between material waste, fabrication time,…”
Get full text

Equality Saturation for Tensor Graph Superoptimization by Yang, Yichen, Phothilimtha, Phitchaya Mangpo, Wang, Yisu Remy, Willsey, Max, Roy, Sudip, Pienaar, Jacques

“…One of the major optimizations employed in deep learning frameworks is graph rewriting. Production frameworks rely on heuristics to decide if rewrite rules…”
Get full text

egg: Fast and Extensible Equality Saturation by Willsey, Max, Nandi, Chandrakana, Wang, Yisu Remy, Flatt, Oliver, Tatlock, Zachary, Panchekha, Pavel

“…POPL 2021 An e-graph efficiently represents a congruence relation over many expressions. Although they were originally developed in the late 1970s for use in…”
Get full text

Rewrite Rule Inference Using Equality Saturation by Nandi, Chandrakana, Willsey, Max, Zhu, Amy, Wang, Yisu Remy, Saiki, Brett, Anderson, Adam, Schulz, Adriana, Grossman, Dan, Tatlock, Zachary

“…Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences. Developing rewrite rules can be…”
Get full text

Design and Implementation of Concurrent C0 by Willsey, Max, Prabhu, Rokhini, Pfenning, Frank

“…EPTCS 238, 2017, pp. 73-82 We describe Concurrent C0, a type-safe C-like language with contracts and session-typed communication over channels. Concurrent C0…”
Get full text

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations by Nandi, Chandrakana, Willsey, Max, Anderson, Adam, Wilcox, James R, Darulova, Eva, Grossman, Dan, Tatlock, Zachary

“…PLDI 2020 Recent program synthesis techniques help users customize CAD models(e.g., for 3D printing) by decompiling low-level triangle meshes to Constructive…”
Get full text

Scaling Microfluidics to Complex, Dynamic Protocols: Invited Paper by Willsey, Max, Stephenson, Ashley, Takahashi, Chris, Nguyen, Bichlien, Strauss, Karin, Ceze, Luis

“…Microfluidic devices promise to automate wetlab procedures by manipulating small chemical or biological samples. We are developing a full-stack microfluidic…”
Get full text