arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Jake Cockrell

3 papers · 1999–1999

1999: 3
1999peak 3 in 19991999

Frequent co-authors

Papers

showing 1–3 of 3 RSS

Dynamically discovering likely program invariants to support program evolution

Michael D. Ernst, Jake Cockrell, William G. Griswold +1 more

Information Systems · · cited 1,048× · DOI ↗ · more like this ·

Article Free Access Share on Dynamically discovering likely program invariants to support program evolution Authors: Michael D. Ernst Dept. of Computer Science & Engineering, University of Washington, Box 352350, Seattle WA Dept. of Computer Science & Engineering, University of Washington, Box 352350, Seattle WAView Profile , Jake Cockrell Dept. of Computer Science & Engineering, University of Washington, Box 352350, Seattle WA Dept. of Computer Science & Engineering, University of Washington, Box 352350, Seattle WAView Profile , William G. Griswold Dept. of Computer Science & Engineering, University of California San Diego, 0114, La Jolla, CA Dept. of Computer Science & Engineering, University of California San Diego, 0114, La Jolla, CAView Profile , David Notkin Dept. of Computer Science & Engineering, University of Washington, Box 352350, Seattle WA Dept. of Computer Science &…

PRODUCT DEVELOPMENT WITH MASSIVE COMPONENTS

Kevin Sullivan, John Knight, Jake Cockrell +1 more

Discrete Mathematics and Combinatorics · · cited 1× · OpenAlex ↗ · more like this ·

This case report reviews the current aspects of implant surgery and implant-supported prostheses. The importance of evaluating patient expectations of the final prosthetic result prior to the commencement of any procedure is emphasized. The clinical procedure is outlined, focusing on surgical and prosthetic planning according to the desired prosthesis. The availability of various implant lengths, diameters, angulations, and coatings is reviewed with suggestions for selections to suit either the anterior or the posterior region and the available quality and quantity of the bone.

Producing Execution Traces for Dynamic Invariant Detection

Jake Cockrell

Software · · cited 0× · OpenAlex ↗ · more like this ·

This paper describes three contributions I made to our system which collectively produce the execution traces that Daikon needs to derive useful invariants. The high level architecture of the tool is discussed in Section 2. The first component is a tool to instrument C/C++ programs so that variable values are dumped to disk during execution (Section 3). Programmers may use the resulting invariants to reason directly about the source. The instrumentor is particular to C/C++ programs; however, a significant portion of the legacy code that programmers are currently maintaining is C/C++. The second contribution is a module that employs type inference to produce lists of comparable variables that Daikon uses to selectively perform invariant checks (Section 4). Use of the type inference results are shown to reduce the runtime of Daikon and the number of spurious invariants that it reports.…