Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Pernsteiner, Stuart"'
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
Currently, when a security analyst discovers a vulnerability in critical software system, they must navigate a fraught dilemma: immediately disclosing the vulnerability to the public could harm the system's users; whereas disclosing the vulnerability
Externí odkaz:
http://arxiv.org/abs/2301.01321
Autor:
Stone, Christopher A., O'Neill, Melissa E., Bohr, Sonja A., Cozzette, Adam M., DeBlasio, M. Joe, Matsieva, Julia, Pernsteiner, Stuart A., Schumer, Ari D.
Despite widespread interest in multicore computing, concur- rency models in mainstream languages often lead to subtle, error-prone code. Observationally Cooperative Multithreading (OCM) is a new approach to shared-memory parallelism. Programmers writ
Externí odkaz:
http://arxiv.org/abs/1502.05094
Autor:
Jacky, Jonathan, Banerian, Stefani, Ernst, Michael, Loncaric, Calvin, Pernsteiner, Stuart, Tatlock, Zachary, Torlak, Emina
We built an EPICS-based radiation therapy machine control system, and are using it to treat patients at our hospital. To help ensure safety, we use a restricted subset of EPICS constructs and programming techniques, and developed several new automate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::573b00b5594e9e67ab7deb1eaca0b9cf
Autor:
Ernst, Michael D., Grossman, Dan, Jacky, Jon, Loncaric, Calvin, Pernsteiner, Stuart, Tatlock, Zachary, Torlak, Emina, Wang, Xi
We present a near-future research agenda for bringing a suite of modern programming-languages verification tools - specifically interactive theorem proving, solver-aided languages, and formally defined domain-specific languages - to the development o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c6a5d918f79c0a8af64b0145975fd53
Autor:
Pernsteiner, Stuart, Loncaric, Calvin, Torlak, Emina, Tatlock, Zachary, Wang, Xi, Ernst, Michael D., Jacky, Jonathan
Publikováno v:
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II; 2016, p23-41, 19p
Publikováno v:
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE); 2015, p75-80, 6p