Sciweavers

Share
20 search results - page 1 / 4
» From Indentation Shapes to Code Structures
Sort
View
SCAM
2008
IEEE
9 years 7 months ago
From Indentation Shapes to Code Structures
In a previous study, we showed that indentation was regular across multiple languages and the variance in the level of indentation of a block of revised code is correlated with me...
Abram Hindle, Michael W. Godfrey, Richard C. Holt
PLDI
2015
ACM
3 years 9 months ago
Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code
Highly optimized programs are prone to bit rot, where performance quickly becomes suboptimal in the face of new hardware and compiler techniques. In this paper we show how to auto...
Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib ...
METRICS
1997
IEEE
9 years 5 months ago
Inheritance Tree Shapes and Reuse
The shapes of forests of inheritance trees can affect the amount of code reuse in an object-oriented system. Designers can beneļ¬t from knowing how structuring decisions affect r...
Byung-Kyoo Kang, James M. Bieman
VMCAI
2010
Springer
9 years 10 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
9 years 7 months ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
books