Carpentry compiler von Wu, Chenming, Zhao, Haisen, Nandi, Chandrakana, Lipton, Jeffrey I., Tatlock, Zachary, Schulz, Adriana

Volltext

egg: Fast and extensible equality saturation von Willsey, Max, Nandi, Chandrakana, Wang, Yisu Remy, Flatt, Oliver, Tatlock, Zachary, Panchekha, Pavel

Volltext

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

Volltext

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

Volltext

Rewrite rule inference using equality saturation von Nandi, Chandrakana, Willsey, Max, Zhu, Amy, Wang, Yisu Remy, Saiki, Brett, Anderson, Adam, Schulz, Adriana, Grossman, Dan, Tatlock, Zachary

Volltext

Practical Verification of Smart Contracts using Memory Splitting von Grossman, Shelly, Toman, John, Bakst, Alexander, Arora, Sameer, Sagiv, Mooly, Nandi, Chandrakana

Volltext

Functional programming for compiling and decompiling computer-aided design von Nandi, Chandrakana, Wilcox, James R., Panchekha, Pavel, Blau, Taylor, Grossman, Dan, Tatlock, Zachary

Volltext

Equality Saturation Theory Exploration à la Carte von Pal, Anjali, Saiki, Brett, Tjoa, Ryan, Richey, Cynthia, Zhu, Amy, Flatt, Oliver, Willsey, Max, Tatlock, Zachary, Nandi, Chandrakana

Volltext

Scaling Program Synthesis Based Technology Mapping with Equality Saturation von Smith, Gus Henry, Knizek, Colin, Petrisko, Daniel, Tatlock, Zachary, Balkind, Jonathan, Bernstein, Gilbert Louis, Ni, Haobin, Nandi, Chandrakana

Volltext bestellen

There and Back Again: A Netlist's Tale with Much Egraphin' von Smith, Gus Henry, Sisco, Zachary D, Techaumnuaiwit, Thanawat, Xia, Jingtao, Canumalla, Vishal, Cheung, Andrew, Tatlock, Zachary, Nandi, Chandrakana, Balkind, Jonathan

Volltext bestellen

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

Volltext

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

Volltext bestellen

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

Volltext bestellen

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

Volltext

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

Volltext bestellen

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

Volltext

Scaling Program Synthesis Based Technology Mapping with Equality Saturation von Smith, Gus Henry, Knizek, Colin, Petrisko, Daniel, Tatlock, Zachary, Balkind, Jonathan, Bernstein, Gilbert Louis, Ni, Haobin, Nandi, Chandrakana

Volltext

There and Back Again: A Netlist's Tale with Much Egraphin' von Smith, Gus Henry, Sisco, Zachary D, Techaumnuaiwit, Thanawat, Xia, Jingtao, Canumalla, Vishal, Cheung, Andrew, Tatlock, Zachary, Nandi, Chandrakana, Balkind, Jonathan

Volltext

Stochastic Contracts for Runtime Checking of Component-based Real-time Systems von Nandi, Chandrakana, Monot, Aurelien, Oriol, Manuel

Volltext bestellen

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

Volltext