Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Improving the GP 2 CompilerCampbell, Graham ; Romo, Jack ; Plump, DetlefarXiv.org, 2021-01Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
JCoffee: Using Compiler Feedback to Make Partial Code Snippets CompilableGupta, Piyush ; Mehrotra, Nikita ; Purandare, RahularXiv.org, 2020-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Invariant Detection with Program Verification ToolsHe, WeiarXiv.org, 2019-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Liveness-Driven Random Program GenerationBarany, GergöarXiv.org, 2017-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Sthread: In-Vivo Model Checking of Multithreaded ProgramsCooperman, Gene ; Quinson, MartinarXiv.org, 2020-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
A Quick Introduction to Functional Verification of Array-Intensive ProgramsBanerjee, Kunal ; Karfa, ChandanarXiv.org, 2019-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Fibred Computational EffectsAhman, DanelarXiv.org, 2017-10Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
An Operational Framework for Specifying Memory Models using Instantaneous Instruction ExecutionZhang, Sizhuo ; Vijayaraghavan, Muralidaran ; ArvindarXiv.org, 2017-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Mitigating Power Side Channels during CompilationWang, Jingbo ; Sung, Chungha ; Wang, ChaoarXiv.org, 2019-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Structural Operational Semantics for Control Flow Graph MachinesGarbuzov, Dmitri ; Mansky, William ; Rizkallah, Christine ; Zdancewic, StevearXiv.org, 2018-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |