Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Bill McCloskey"'
Autor:
Padmapriya Duraisamy, Wei Xu, Scott Hare, Ravi Rajwar, David Culler, Zhiyi Xu, Jianing Fan, Christopher Kennelly, Bill McCloskey, Danijela Mijailovic, Brian Morris, Chiranjit Mukherjee, Jingliang Ren, Greg Thelen, Paul Turner, Carlos Villavieja, Parthasarathy Ranganathan, Amin Vahdat
Publikováno v:
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c99c7049be7b7453280b0c61e2a33dee
https://doi.org/10.1145/3582016.3582031
https://doi.org/10.1145/3582016.3582031
Publikováno v:
Static Analysis ISBN: 9783642157684
SAS
SAS
We describe DESKCHECK, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. DESKCHECK can verify quantified invariants over mixed abstract domains, e.g., hea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::84e7e59e5b067b03f12b53912904d94e
https://doi.org/10.1007/978-3-642-15769-1_6
https://doi.org/10.1007/978-3-642-15769-1_6
Autor:
David Grove, Perry Cheng, Bill McCloskey, Joshua S. Auerbach, Charlie Gracie, Ben Biron, Aleksandar Micic, Ryan Andrew Sciampacone, David F. Bacon
Publikováno v:
EMSOFT
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunications. However, among potential users of RTGC, there is enormous diversi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::536b76eb8270d87fafbb3dcf3357e2cf
https://doi.org/10.1145/1450058.1450092
https://doi.org/10.1145/1450058.1450092
Publikováno v:
POPL
We describe a general technique for building abstract interpreters over powerful universally quantified abstract domains that leverage existing quantifier-free domains. Our quantified abstract domain can represent universally quantified facts like
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d01078a2c9e94ad34d82fa764943ade
https://doi.org/10.1145/1328438.1328468
https://doi.org/10.1145/1328438.1328468
Publikováno v:
POPL
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. They are simpler and safer to use than manual locking and they increase
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27a0a772acc2a4acdeb9d2a1bb62dac7
https://doi.org/10.1145/1111037.1111068
https://doi.org/10.1145/1111037.1111068
Autor:
Eric Brewer, Bill McCloskey
Publikováno v:
ESEC/SIGSOFT FSE
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but these macros are difficult to analyze and are often error-prone[4]. Ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a3cfde65dbf61967ab1608f5b627811
https://doi.org/10.1145/1081706.1081712
https://doi.org/10.1145/1081706.1081712