JSAI: A static analysis platform for JavaScript V Kashyap, K Dewey, EA Kuefner, J Wagner, K Gibbons, J Sarracino, ... Proceedings of the 22nd ACM SIGSOFT international symposium on Foundations …, 2014 | 184 | 2014 |
Fuzzing the Rust typechecker using CLP (T) K Dewey, J Roesch, B Hardekopf 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 92 | 2015 |
Language fuzzing using constraint logic programming K Dewey, J Roesch, B Hardekopf Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 59 | 2014 |
Translating C to safer Rust M Emre, R Schroeder, K Dewey, B Hardekopf Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 45 | 2021 |
Syntax-based improvements to plagiarism detectors and their evaluations L Nichols, K Dewey, M Emre, S Chen, B Hardekopf Proceedings of the 2019 ACM Conference on Innovation and Technology in …, 2019 | 25 | 2019 |
A parallel abstract interpreter for JavaScript K Dewey, V Kashyap, B Hardekopf 2015 IEEE/ACM International Symposium on Code Generation and Optimization …, 2015 | 17 | 2015 |
Evaluating test suite effectiveness and assessing student code via constraint logic programming K Dewey, P Conrad, M Craig, E Morozova Proceedings of the 2017 ACM Conference on Innovation and Technology in …, 2017 | 10 | 2017 |
Automated data structure generation: Refuting common wisdom K Dewey, L Nichols, B Hardekopf 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 10 | 2015 |
Aliasing limits on translating c to safe rust M Emre, P Boyland, A Parekh, R Schroeder, K Dewey, B Hardekopf Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 551-579, 2023 | 7 | 2023 |
Towards a systems programming language designed for hierarchical state machines B McClelland, D Tellier, M Millman, KB Go, A Balayan, MJ Munje, ... 2021 IEEE 8th International Conference on Space Mission Challenges for …, 2021 | 7 | 2021 |
A practical, principled measure of fuzzer appeal: A preliminary study M Gavrilov, K Dewey, A Groce, D Zamanzadeh, B Hardekopf 2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020 | 4 | 2020 |
JSAI: Designing a sound, configurable, and efficient static analyzer for JavaScript V Kashyap, K Dewey, EA Kuefner, J Wagner, K Gibbons, J Sarracino, ... arXiv preprint arXiv:1403.3996, 2014 | 4 | 2014 |
Bouncer: Static program analysis in hardware J McMahan, M Christensen, K Dewey, B Hardekopf, T Sherwood Proceedings of the 46th International Symposium on Computer Architecture …, 2019 | 3 | 2019 |
Mimis: simple, efficient, and fast bounded-exhaustive test case generators K Dewey, S Hairapetian, M Gavrilov 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 2 | 2020 |
Automated Black Box Generation of Structured Inputs for Use in Software Testing KT Dewey University of California, Santa Barbara, 2017 | 2 | 2017 |
Supplementary Material on “Translating C to Safer Rust” M Emre, R Schroeder, K Dewey, B Hardekopf | 1 | 2021 |
Towards the Hierarchical State Machine Oriented Proteus Systems Programming Language D Tellier, M Millman, B McClelland, KB Go, A Balayan, MJ Munje, ... AIAA 2020-4222 Session: Advances in Software for Space, 2020 | 1 | 2020 |
Snippet of Kyle’s Reading List K Dewey | | 2018 |
Fuzz Testing using Constraint Logic Programming K Dewey, J Roesch, B Hardekopf GSWC 2014, 16, 2014 | | 2014 |
Code-Specific, Sensitive, and Configurable Plagiarism Detection K Dewey, B Hardekopf GSWC 2014, 22, 2014 | | 2014 |