Artigos com autorizações de acesso público - Samuel Z. GuyerSaiba mais
1 artigo não disponível publicamente
Applying machine learning for run-time bug detection in aviation software
H Huang, S Guyer, J Rife
AIAA Infotech@ Aerospace, 0482, 2016
Autorizações: US National Science Foundation
9 artigos disponíveis publicamente
new Scala () instance of Java: a comparison of the memory behaviour of Java and Scala programs
A Sewe, M Mezini, A Sarimbekov, D Ansaloni, W Binder, N Ricci, ...
Proceedings of the 2012 international symposium on Memory Management, 97-108, 2012
Autorizações: Swiss National Science Foundation
Prioritized garbage collection: Explicit gc support for software caches
D Nunez, SZ Guyer, ED Berger
ACM SIGPLAN Notices 51 (10), 695-710, 2016
Autorizações: US National Science Foundation
Detecting semantic bugs in autopilot software by classifying anomalous variables
H Huang, SZ Guyer, JH Rife
Journal of Aerospace Information Systems 17 (4), 204-213, 2020
Autorizações: US National Science Foundation
Floorplan: spatial layout in memory management systems
K Cronburg, SZ Guyer
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
Autorizações: US National Science Foundation
Improving run-time bug detection in aviation software using program slicing
H Huang, SZ Guyer, JH Rife
2017 IEEE 7th Annual International Conference on CYBER Technology in …, 2017
Autorizações: US National Science Foundation
Permchecker: a toolchain for debugging memory managers with typestate
K Cronburg, SZ Guyer
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021
Autorizações: US National Science Foundation
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
P Godefroid, MY Levin, D Molnar
Communications of the ACM 55 (3), 40-44, 2020
Autorizações: US National Science Foundation, US Department of Defense
Software and GNSS Fault-Monitoring for Automated Aircraft
J Rife, H Huang, SZ Guyer
International Technical Symposium on Navigation and Timing 2018, 2018
Autorizações: US National Science Foundation
new Scala () instanceof Java
A Sewe, M Mezini, A Sarimbekov, DAW Binder, N Ricci, SZ Guyer
Autorizações: Swiss National Science Foundation
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador