Zobrazeno 1 - 10
of 307
pro vyhledávání: '"Clark Barrett"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
We develop a framework for model checking infinite-state systems by automatically augmenting them with auxiliary variables, enabling quantifier-free induction proofs for systems that would otherwise require quantified invariants. We combine this mech
Externí odkaz:
https://doaj.org/article/af77f4ffff944dc5b9b4fa94be3184e8
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 301, Iss Proc. PxTP 2019, Pp 18-26 (2019)
This work is a part of an ongoing effort to prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors, which are used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver CVC4. W
Externí odkaz:
https://doaj.org/article/05aa5ad7ef454eb39cdbfc45c402d87f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 257, Iss Proc. FVAV 2017, Pp 19-26 (2017)
Autonomous vehicles are highly complex systems, required to function reliably in a wide variety of situations. Manually crafting software controllers for these vehicles is difficult, but there has been some success in using deep neural networks gener
Externí odkaz:
https://doaj.org/article/a514f56939b549819950c8f58fa3d54d
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 4 (2018)
We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data structure used in programming; thus, such a theory is useful for modeling
Externí odkaz:
https://doaj.org/article/e483bc0b114c4347896e502ab0cddab8
Autor:
Kalhan Koul, Jackson Melchert, Kavya Sreedhar, Leonard Truong, Gedeon Nyengele, Keyi Zhang, Qiaoyi Liu, Jeff Setter, Po-Han Chen, Yuchen Mei, Maxwell Strange, Ross Daly, Caleb Donovick, Alex Carsello, Taeyoung Kong, Kathleen Feng, Dillon Huff, Ankita Nayak, Rajsekhar Setaluri, James Thomas, Nikhil Bhagdikar, David Durst, Zachary Myers, Nestan Tsiskaridze, Stephen Richardson, Rick Bahr, Kayvon Fatahalian, Pat Hanrahan, Clark Barrett, Mark Horowitz, Christopher Torng, Fredrik Kjolstad, Priyanka Raina
Publikováno v:
ACM Transactions on Embedded Computing Systems. 22:1-34
With the slowing of Moore’s law, computer architects have turned to domain-specific hardware specialization to continue improving the performance and efficiency of computing systems. However, specialization typically entails significant modificatio
Autor:
Clark Barrett, H., Armstrong, Josh
Publikováno v:
Philosophical Transactions of the Royal Society B: Biological Sciences; 11/6/2023, Vol. 378 Issue 1889, p1-8, 8p
Autor:
Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
Publikováno v:
Abate, A, Barbosa, H, Barrett, C, David, C, Kesseli, P, Kroening, D, Polgreen, E, Reynolds, A & Tinelli, C 2023, ' Synthesising programs with non-trivial constants ', Journal of Automated Reasoning, vol. 67, no. 2, 19, pp. 1-25 . https://doi.org/10.1007/s10817-023-09664-4
Program synthesis is the mechanised construction of software. One of the main difficulties is the efficient exploration of the very large solution space, and tools often require a user-provided syntactic restriction of the search space. While useful
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30b39fda6c7b58909962d5d926f0100d
https://www.pure.ed.ac.uk/ws/files/347664382/Synthesising_ABATE_DOA02032023_VOR_CC_BY.pdf
https://www.pure.ed.ac.uk/ws/files/347664382/Synthesising_ABATE_DOA02032023_VOR_CC_BY.pdf
Autor:
Maksim Rudnev, Wesley Buckwalter, Kelli Barr, Abdellatif Bencherifa, Rockwell F. Clancy, Damien L. Crone, Yasuo Deguchi, Emanuele Fabiano, Ari David Fodeman, Badr Guennoun, Julia Halamova, Takaaki Hashimoto, Joshua Homan, Martin Kanovský, Kaori Karasawa, Hackjin Kim, Jordan Kiper, Minha Lee, Xiaofei Liu, Veli Mitova, Rukmini Bhaya Nair, Ljiljana Pantovic, Brian Porter, Pablo Quintanilla, Josien Reijer, Pedro P. Romero, Purnima Singh, Salma Tber, Daniel A. Wilkenfeld, Lixia Yi, Stephen Stich, H. Clark Barrett, Edouard Machery, Igor Grossmann
The concept of wisdom has captivated scholars throughout history, yet disagreements remain over its cultural variability. Here, we investigated wisdom perception in self and others across 16 samples from eight cultural regions on five continents. Par
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5ee4db17892fe3544cf3583fb0f1fda
https://doi.org/10.31234/osf.io/p9cv4
https://doi.org/10.31234/osf.io/p9cv4
Autor:
Jackson Melchert, Kathleen Feng, Caleb Donovick, Ross Daly, Ritvik Sharma, Clark Barrett, Mark A. Horowitz, Pat Hanrahan, Priyanka Raina
Publikováno v:
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3.
Publikováno v:
Journal of Automated Reasoning
Journal of Automated Reasoning, 2022, 66 (3), pp.331-355. ⟨10.1007/s10817-022-09625-3⟩
Journal of Automated Reasoning, 2022, 66 (3), pp.331-355. ⟨10.1007/s10817-022-09625-3⟩
International audience; Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its latest stable version, the SMT-LIB standard defines a theory of a