Zobrazeno 1 - 10
of 31 949
pro vyhledávání: '"A. Dodds"'
Autor:
Pernsteiner, Stuart, Diatchki, Iavor S., Dockins, Robert, Dodds, Mike, Hendrix, Joe, Ravich, Tristan, Redmond, Patrick, Scott, Ryan, Tomb, Aaron
We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get right: for example, cryptographic modules and serializer / deserializer pairs. Crux builds on
Externí odkaz:
http://arxiv.org/abs/2410.18280
Autor:
Dodds, Tomás, Vandendaele, Astrid, Simon, Felix M., Helberger, Natali, Resendez, Valeria, Yeung, Wang Ngai
The effective adoption of responsible AI practices in journalism requires a concerted effort to bridge different perspectives, including technological, editorial, journalistic, and managerial. Among the many challenges that could impact information s
Externí odkaz:
http://arxiv.org/abs/2410.01138
Autor:
Yeung, Wang Ngai, Dodds, Tomás
Developed as a response to the increasing popularity of data-driven journalism, automated journalism refers to the process of automating the collection, production, and distribution of news content and other data with the assistance of computer progr
Externí odkaz:
http://arxiv.org/abs/2409.03462
Autor:
Yang, Kai E., Tarr, Lucas A., Rempel, Matthias, Dodds, S. Curt, Jaeggli, Sarah A., Sadowski, Peter, Schad, Thomas A., Cunnyngham, Ian, Liu, Jiayi, Glaser, Yannik, Sun, Xudong
The National Science Foundation's Daniel K. Inouye Solar Telescope (DKIST) will provide high-resolution, multi-line spectropolarimetric observations that are poised to revolutionize our understanding of the Sun. Given the massive data volume, novel i
Externí odkaz:
http://arxiv.org/abs/2407.20309
Autor:
Scott, Ryan G., Boston, Brett, Davis, Benjamin, Diatchki, Iavor, Dodds, Mike, Hendrix, Joe, Matichuk, Daniel, Quick, Kevin, Ravitch, Tristan, Robert, Valentin, Selfridge, Benjamin, Stefănescu, Andrei, Wagner, Daniel, Winwood, Simon
When attempting to understand the behavior of an executable, a binary analyst can make use of many different techniques. These include program slicing, dynamic instrumentation, binary-level rewriting, symbolic execution, and formal verification, all
Externí odkaz:
http://arxiv.org/abs/2407.06375
Autor:
Eniser, Hasan Ferit, Zhang, Hanliang, David, Cristina, Wang, Meng, Christakis, Maria, Paulsen, Brandon, Dodds, Joey, Kroening, Daniel
Large language models (LLMs) show promise in code translation - the task of translating code written in one programming language to another language - due to their ability to write code in most programming languages. However, LLM's effectiveness on t
Externí odkaz:
http://arxiv.org/abs/2405.11514
With the increasing adoption of artificial intelligence (AI) technologies in the news industry, media organizations have begun publishing guidelines that aim to promote the responsible, ethical, and unbiased implementation of AI-based technologies. T
Externí odkaz:
http://arxiv.org/abs/2405.04706
Rust is a programming language that combines memory safety and low-level control, providing C-like performance while guaranteeing the absence of undefined behaviors by default. Rust's growing popularity has prompted research on safe and correct trans
Externí odkaz:
http://arxiv.org/abs/2404.18852
Autor:
DODDS, FRANCES (AUTHOR)
Publikováno v:
Entrepreneur. Sep/Oct2024, Vol. 52 Issue 5, p38-41. 4p. 3 Color Photographs.
Generative AI tools are used to create art-like outputs and sometimes aid in the creative process. These tools have potential benefits for artists, but they also have the potential to harm the art workforce and infringe upon artistic and intellectual
Externí odkaz:
http://arxiv.org/abs/2401.15497