SIGSOFT 2006 - PDF Preprint Papers

SIGSOFT 2006 Foundations of Software Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed SIGSOFT-2006 Paper

click to vote

SIGSOFT
2006
ACM

186views Software Engineering» more SIGSOFT 2006»

Bit level types for high level reasoning

14 years 5 months ago

Download www.stanford.edu

Bitwise operations are commonly used in low-level systems code to access multiple data ﬁelds that have been packed into a single word. Program analysis tools that reason about s...

Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	186	Bit level types for high level reasoning	claim
2	182	Carving differential unit test cases from system test cases	claim
3	169	Failure proximity: a fault localization-based approach	claim
4	163	Memories of bug fixes	claim
5	158	Interpolation for data structures	claim
6	150	Scenarios, goals, and state machines: a win-win partnership for model synthesis	claim
7	148	Questions programmers ask during software evolution tasks	claim
8	147	SYNERGY: a new algorithm for property checking	claim
9	145	Dynamic slicing long running programs through execution fast forwarding	claim
10	129	Lightweight extraction of syntactic specifications	claim
11	128	Detecting increases in feature coupling using regression tests	claim
12	127	Using task context to improve programmer productivity	claim
13	126	SMArTIC: towards building an accurate, robust and scalable specification miner	claim
14	124	Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation	claim
15	124	From multi-modal scenarios to code: compiling LSCs into aspectJ	claim
16	118	Controlling factors in evaluating path-sensitive error detection techniques	claim
17	117	User guidance for creating precise and accessible property specifications	claim
18	115	Finding failure-inducing changes in java programs using change classification	claim
19	108	Using positive tainting and syntax-aware evaluation to counter SQL injection attacks	claim
20	103	Exceptions and aspects: the devil is in the details	claim
21	97	Work experience versus refactoring to design patterns: a controlled experiment	claim
22	95	Simulation-based test adequacy criteria for distributed systems	claim
23	86	Local analysis of atomicity sphere for B2B collaboration	claim
24	84	How is aliasing used in systems software?	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers