Zobrazeno 1 - 10
of 857
pro vyhledávání: '"Willsey A"'
Autor:
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, cooperating analyses, and lattice-based reasoning. Like EqSat, it supports term rewriting,
Externí odkaz:
http://arxiv.org/abs/2304.04332
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: computing joins efficiently. Such an algorithm can be asymptotically faster than traditiona
Externí odkaz:
http://arxiv.org/abs/2301.10841
Autor:
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 learning suffers from two limitations that prevent it from scaling to larger, more complex in
Externí odkaz:
http://arxiv.org/abs/2212.04596
Satisfiability Modulo Theory (SMT) solvers and equality saturation engines must generate proof certificates from e-graph-based congruence closure procedures to enable verification and conflict clause generation. Smaller proof certificates speed up th
Externí odkaz:
http://arxiv.org/abs/2209.03398
Publikováno v:
mSphere, Vol 9, Iss 7 (2024)
ABSTRACT Fimbriae are essential virulence factors for many bacterial pathogens. Fimbriae are extracellular structures that attach bacteria to surfaces. Thus, fimbriae mediate a critical step required for any pathogen to establish infection by anchori
Externí odkaz:
https://doaj.org/article/03b5db2d666a41e68dc4fcf4dd3b1795
Autor:
Barr, Cathy L., Batterson, James R., Berlin, Cheston, Budman, Cathy L., Coppola, Giovanni, Cox, Nancy J., Darrow, Sabrina, Dion, Yves, Freimer, Nelson B., Grados, Marco A., Greenberg, Erica, Hirschtritt, Matthew E., Huang, Alden Y., Illmann, Cornelia, King, Robert A., Kurlan, Roger, Leckman, James F., Lyon, Gholson J., Malaty, Irene A., McMahon, William M., Neale, Benjamin M., Okun, Michael S., Osiecki, Lisa, Robertson, Mary M., Rouleau, Guy A., Sandor, Paul, Singer, Harvey S., Smit, Jan H., Sul, Jae Hoon, Androutsos, Christos, Basha, Entela, Farkas, Luca, Fichna, Jakub, Janik, Piotr, Kapisyzi, Mira, Karagiannidis, Iordanis, Koumoula, Anastasia, Nagy, Peter, Puchala, Joanna, Szejko, Natalia, Szymanska, Urszula, Tsironi, Vaia, Apter, Alan, Ball, Juliane, Bodmer, Benjamin, Bognar, Emese, Buse, Judith, Vela, Marta Correa, Fremer, Carolin, Garcia-Delgar, Blanca, Gulisano, Mariangela, Hagen, Annelieke, Hagstrøm, Julie, Madruga-Garrido, Marcos, Pellico, Alessandra, Ruhrman, Daphna, Schnell, Jaana, Silvestri, Paola Rosaria, Skov, Liselotte, Steinberg, Tamar, Gloor, Friederike Tagwerker, Turner, Victoria L., Weidinger, Elif, Alexander, John, Aranyi, Tamas, Buisman, Wim R., Buitelaar, Jan K., Driessen, Nicole, Drineas, Petros, Fan, Siyan, Forde, Natalie J., Gerasch, Sarah, van den Heuvel, Odile A., Jespersgaard, Cathrine, Kanaan, Ahmad S., Möller, Harald E., Nawaz, Muhammad S., Nespoli, Ester, Pagliaroli, Luca, Poelmans, Geert, Pouwels, Petra J.W., Rizzo, Francesca, Veltman, Dick J., van der Werf, Ysbrand D., Widomska, Joanna, Zilhäo, Nuno R., Brown, Lawrence W., Cheon, Keun-Ah, Coffey, Barbara J., Fernandez, Thomas V., Gilbert, Donald L., Hong, Hyun Ju, Ibanez-Gomez, Laura, Kim, Eun-Joo, Kim, Young Key, Kim, Young-Shin, Koh, Yun-Joo, Kook, Sodahm, Kuperman, Samuel, Leventhal, Bennett L., Maras, Athanasios, Murphy, Tara L., Shin, Eun-Young, Song, Dong-Ho, Song, Jungeun, State, Matthew W., Visscher, Frank, Wang, Sheng, Zinner, Samuel H., Tsetsos, Fotis, Topaloudi, Apostolia, Jain, Pritesh, Yang, Zhiyu, Yu, Dongmei, Kolovos, Petros, Tumer, Zeynep, Rizzo, Renata, Hartmann, Andreas, Depienne, Christel, Worbe, Yulia, Müller-Vahl, Kirsten R., Cath, Danielle C., Boomsma, Dorret I., Wolanczyk, Tomasz, Zekanowski, Cezary, Barta, Csaba, Nemoda, Zsofia, Tarnok, Zsanett, Padmanabhuni, Shanmukha S., Buxbaum, Joseph D., Grice, Dorothy, Glennon, Jeffrey, Stefansson, Hreinn, Hengerer, Bastian, Yannaki, Evangelia, Stamatoyannopoulos, John A., Benaroya-Milshtein, Noa, Cardona, Francesco, Hedderly, Tammy, Heyman, Isobel, Huyser, Chaim, Mir, Pablo, Morer, Astrid, Mueller, Norbert, Munchau, Alexander, Plessen, Kerstin J., Porcelli, Cesare, Roessner, Veit, Walitza, Susanne, Schrag, Anette, Martino, Davide, Tischfield, Jay A., Heiman, Gary A., Willsey, A. Jeremy, Dietrich, Andrea, Davis, Lea K., Crowley, James J., Mathews, Carol A., Scharf, Jeremiah M., Georgitsi, Marianthi, Hoekstra, Pieter J., Paschou, Peristera
Publikováno v:
In Biological Psychiatry 15 July 2024 96(2):114-124
Autor:
Helen Rankin Willsey, Eleanor G. Seaby, Annie Godwin, Sarah Ennis, Matthew Guille, Robert M. Grainger
Publikováno v:
Disease Models & Mechanisms, Vol 17, Iss 5 (2024)
Externí odkaz:
https://doaj.org/article/963e44c4baa34d909c5e0b06e8c71d43
Autor:
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 difficult: rules may be subtly incorrect, profitable rules are easy to miss, and rulesets must be r
Externí odkaz:
http://arxiv.org/abs/2108.10436
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 optimal run time. Compared to the conventional backtracking approach that always searches the
Externí odkaz:
http://arxiv.org/abs/2108.02290
Autor:
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, precision, and other considerations. However, when developing fabrication plans, experts rarely
Externí odkaz:
http://arxiv.org/abs/2107.14745