187
Voted
PEPM
17 years 16 days ago
2009 ACM 
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
119
click to vote
PEPM
15 years 5 months ago
2009 ACM 
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...
96
Voted
PEPM
15 years 9 months ago
2009 ACM 
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
116
Voted
PEPM
15 years 9 months ago
2009 ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
103
click to vote
PEPM
15 years 9 months ago
2009 ACM 
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
|
Software Engineering