Articles with public access mandates - Samuel Z. GuyerLearn more
Not available anywhere: 1
Applying machine learning for run-time bug detection in aviation software
H Huang, S Guyer, J Rife
AIAA Infotech@ Aerospace, 0482, 2016
Mandates: US National Science Foundation
Available somewhere: 8
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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: US National Science Foundation
Software and GNSS Fault-Monitoring for Automated Aircraft
J Rife, H Huang, SZ Guyer
International Technical Symposium on Navigation and Timing 2018, 2018
Mandates: US National Science Foundation
new Scala () instanceof Java
A Sewe, M Mezini, A Sarimbekov, DAW Binder, N Ricci, SZ Guyer
Mandates: Swiss National Science Foundation
Publication and funding information is determined automatically by a computer program