E-LIB Suche - Ergebnisse für: Dewey, Kyle

1

Towards a Systems Programming Language Designed for Hierarc..:

, In: 2021 IEEE 8th International Conference on Space Mission Challenges for Information Technology (SMC-IT),

McClelland, Brian ; Tellier, Daniel ; Millman, Meyer... - p. 23-30 , 2021

Link: https://doi.org/10.1109/..

2

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test ..:

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),

Dewey, Kyle ; Hairapetian, Shant ; Gavrilov, Miroslav - p. 51-62 , 2020

Link: https://doi.org/10.1109/..

3

A Practical, Principled Measure of Fuzzer Appeal: A Prelimi..:

, In: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS),

Gavrilov, Miroslav ; Dewey, Kyle ; Groce, Alex.. - p. 510-517 , 2020

Link: https://doi.org/10.1109/..

4

Bouncer : static program analysis in hardware:

, In: Proceedings of the 46th International Symposium on Computer Architecture,

McMahan, Joseph ; Christensen, Michael ; Dewey, Kyle.. - p. 711-722 , 2019

Link: https://dl.acm.org/doi/1..

5

Syntax-based Improvements to Plagiarism Detectors and their..:

, In: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education,

Nichols, Lawton ; Dewey, Kyle ; Emre, Mehmet.. - p. 555-561 , 2019

Link: https://dl.acm.org/doi/1..

6

Evaluating Test Suite Effectiveness and Assessing Student C..:

, In: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education,

Dewey, Kyle ; Conrad, Phillip ; Craig, Michelle. - p. 317-322 , 2017

Link: https://dl.acm.org/doi/1..

7

A parallel abstract interpreter for JavaScript:

, In: Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization,

Dewey, Kyle ; Kashyap, Vineeth ; Hardekopf, Ben - p. 34-45 , 2015

Link: https://dl.acm.org/doi/1..

8

Fuzzing the rust typechecker using CLP:

, In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering,

Dewey, Kyle ; Roesch, Jared ; Hardekopf, Ben - p. 482-493 , 2015

Link: https://dl.acm.org/doi/1..

9

Automated data structure generation : refuting common wi..:

, In: Proceedings of the 37th International Conference on Software Engineering - Volume 1,

Dewey, Kyle ; Nichols, Lawton ; Hardekopf, Ben - p. 32-43 , 2015

Link: https://dl.acm.org/doi/1..

10

JSAI: a static analysis platform for JavaScript:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Kashyap, Vineeth ; Dewey, Kyle ; Kuefner, Ethan A.... - p. 121-132 , 2014

Link: https://dl.acm.org/doi/1..

11

Language fuzzing using constraint logic programming:

, In: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering,

Dewey, Kyle ; Roesch, Jared ; Hardekopf, Ben - p. 725-730 , 2014

Link: https://dl.acm.org/doi/1..