Search Results - "Cook, Byron"

AWS scientist: Your AI strategy needs mathematical logic.

Authors: Cook, Byron (AUTHOR)

Source: Fortune.com. 9/21/2025, pN.PAG-N.PAG. 1p.

Generating and Exploiting Automated Reasoning Proof Certificates: Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.

Authors: BARBOSA, HANIEL BARRETT, CLARK COOK, BYRON et al.

Source: Communications of the ACM; Oct2023, Vol. 66 Issue 10, p86-95, 10p, 1 Color Photograph, 1 Black and White Photograph, 2 Diagrams

Code‐level model checking in the software development workflow at Amazon Web Services.

Authors: Chong, Nathan Cook, Byron Eidelman, Jonathan et al.

Source: Software: Practice & Experience; Apr2021, Vol. 51 Issue 4, p772-797, 26p

Design Automation With Mixtures of Proof Strategies for Propositional Logic.

Authors: Anderson, Gunnar Bjesse, Per Cook, Byron

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; August 2003, Vol. 22 Issue 8, p1042-1048, 7p

Model checking boot code from AWS data centers.

Authors: Cook, Byron Khazem, Kareem Kroening, Daniel et al.

Source: Formal Methods in System Design. Jul2021, Vol. 57 Issue 1, p34-52. 19p.

Subjects: Amazon Web Services Inc., Web services, Data security, Data centers, Scripts

Preface to Special Issue on Satisfiability Modulo Theories.

Authors: Cook, Byron Sebastiani, Roberto Büning, Hans Kleine et al.

Source: Journal on Satisfiability, Boolean Modeling & Computation; 2007, Vol. 3, preceding p1-123, 137p, 10 Diagrams, 9 Charts, 13 Graphs

Proving Program Termination.

Authors: COOK, BYRON PODELSKI, ANDREAS RYBALCHENKO, ANDREY

Source: Communications of the ACM. May2011, Vol. 54 Issue 5, p88-98. 11p. 1 Illustration, 11 Diagrams.

Subjects: Computer software termination, Decidability (Mathematical logic), Ramsey theory, Computable functions, Computer logic, Mathematical logic

Proving termination of nonlinear command sequences.

Authors: Babić, Domagoj Cook, Byron Hu, Alan et al.

Source: Formal Aspects of Computing. May2013, Vol. 25 Issue 3, p389-403. 15p.

Subjects: Nonlinear assignment problems, Computer software termination, Divergence theorem, Nonlinear analysis, Loops (Group theory)

Ranking function synthesis for bit-vector relations.

Authors: Cook, Byron Kroening, Daniel Rümmer, Philipp et al.

Source: Formal Methods in System Design. Aug2013, Vol. 43 Issue 1, p93-120. 28p.

Subjects: Software verification, Computer software termination, Algorithms, Data structures, Array processors, Multiprocessors

Temporal property verification as a program analysis task.

Authors: Cook, Byron Koskinen, Eric Vardi, Moshe

Source: Formal Methods in System Design. Aug2012, Vol. 41 Issue 1, p66-82. 17p.

Subjects: Temporal databases, Computer software, Computer systems, Internet servers, Online databases, Client/server computing

Verification of Boolean programs with unbounded thread creation

Authors: Cook, Byron Kroening, Daniel Sharygina, Natasha

Source: Theoretical Computer Science. Dec2007, Vol. 388 Issue 1-3, p227-242. 16p.

Subjects: Computer science, Computer logic, Systems design, Computer programming, Information technology

Software Engineering and Formal Methods.

Authors: HINCHEY, MIKE JACKSON, MICHAEL COUSOT, PATRICK et al.

Source: Communications of the ACM; Sep2008, Vol. 51 Issue 9, p54-59, 6p, 1 Color Photograph

A closer look at the Japanese Texas High Speed Rail Project.

Authors: Cook, Byron

Source: Ellis County Press. 2/16/2017, Vol. 25 Issue 46, p3-3. 1/3p. 1 Black and White Photograph.

Subjects: Japanese foreign relations, High speed trains

Geographic Terms: Texas

An investigation of an existing aluminum lattice dome under snow loads

Authors: Cook, Byron Lloyd

Committee Members: Civil Engineering; Holzer, Siegfried M.; Plaut, Raymond H.; Garst, Donald A.

URL: http://scholar.lib.vt.edu/theses/available/etd-08042009-040245/

Design Automation With Mixtures of Proof Strategies for Propositional Logic.

Authors: Andersson, Gunnar Bjesse, Per Cook, Byron et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Aug2003, Vol. 22 Issue 8, p1042. 7p. 3 Diagrams, 4 Charts.

Subjects: Proof theory, Electronic circuit design

Real-time reverse transcription-polymerase chain reaction assay for SARS-associated coronavirus.

Authors: Emery, Shannon L. Erdman, Dean D. Bowen, Michael D. et al.

Source: Emerging Infectious Diseases. Feb2004, Vol. 10 Issue 2, p311-316. 6p. 5 Charts, 1 Graph.

Letters.

Authors: Swearingen, Wayne E. Bhattacharjee (Kumar), S. K. Cook, Byron J.

Source: Oil & Gas Journal. 9/20/2004, Vol. 102 Issue 35, p14-14. 1p.

Subject Terms: *Letters to the editor, *Petroleum products, *Supply & demand, *Petroleum industry, *Coal gas

Geographic Terms: United States

Direct Sequencing of SARS-Coronavirus S and N Genes from Clinical Specimens Shows Limited Variation.

Authors: Suxiang Tong Lingappa, Jairam R. Qi Chen et al.

Source: Journal of Infectious Diseases. 9/15/2004, Vol. 190 Issue 6, p1127-1131. 5p.

Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform.

Authors: Chuang, Ryan Hall, Benjamin A. Benque, David et al.

Source: Scientific Reports. 2/6/2015, p8190. 1p.