Výsledky vyhledávání - "Jeremy Condit"

CCured: type-safe retrofitting of legacy software

Autor: Westley Weimer, George C. Necula, Matthew Harren, Jeremy Condit, Scott McPeak

Publikováno v: ACM Transactions on Programming Languages and Systems. 27:477-526

This article describes CCured, a program transformation system that adds type safety guarantees to existing C programs. CCured attempts to verify statically that memory errors cannot occur, and it inserts run-time checks where static verification is

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ab7975200077e0a7e7ff50b3664f367d
https://doi.org/10.1145/1065887.1065892

Zobrazit plný text záznamu

Capriccio

Autor: Jeremy Condit, Eric Brewer, Feng Zhou, Rob von Behren, George C. Necula

Publikováno v: SOSP

This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that thread-based systems can provide a simpler programming model that achieves equivalent

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c6216b79bf77de3dfd0ba71261c844a
https://doi.org/10.1145/1165389.945471

Zobrazit plný text záznamu

CCured in the real world

Autor: Jeremy Condit, Scott McPeak, Matthew Harren, George C. Necula, Westley Weimer

Publikováno v: PLDI

CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks where static verification is insufficient.This paper addresses major u

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2cfdc419890ea9a04ad8dd7d3dea91b
https://doi.org/10.1145/780822.781157

Zobrazit plný text záznamu

The Vaccinia Virus Bifunctional Gene J3 (Nucleoside-2′-O-)-methyltransferase and Poly(A) Polymerase Stimulatory Factor Is Implicated as a Positive Transcription Elongation Factor by Two Genetic Approaches

Autor: Richard C. Condit, Ying Xiang, Jackie I. Lewis, Jeremy Condit, Donald R. Latner

Publikováno v: Virology. 269(2):345-355

Vaccinia virus genes A18 and G2 affect the elongation and termination of postreplicative viral gene transcription in opposite ways. Viruses with mutations in gene A18 produce abnormally long transcripts, indicating that A18 is a negative transcriptio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9472784d38316abd549f6f887246a1a4

Zobrazit plný text záznamu

Dependent Types for Low-Level Programming

Autor: Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George C. Necula

Publikováno v: Programming Languages and Systems ISBN: 9783540713142
ESOP

In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that combines dependent types and mutation for variables and for heap-alloca

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b72b7ffa64a138c0e5b80f7a7eeb6386
https://doi.org/10.1007/978-3-540-71316-6_35

Zobrazit plný text záznamu

Data Slicing: Separating the Heap into Independent Regions

Autor: Jeremy Condit, George C. Necula

Publikováno v: Lecture Notes in Computer Science ISBN: 9783540254119
CC

In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program's heap into several independent regions. Pointers within each region mirror the structure of pointers i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3ac6ebb2d99854d3e0bb314dbf7525f4
https://doi.org/10.1007/978-3-540-31985-6_12

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání