Sciweavers

62
Voted
ASPLOS
2006
ACM
15 years 3 months ago
Semantic patches for documenting and automating collateral evolutions in Linux device drivers
Yoann Padioleau, René Rydhof Hansen, Julia ...
ASPLOS
2006
ACM
15 years 3 months ago
A: an assertion language for distributed systems
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
Andrew Tjang, Fábio Oliveira, Richard P. Ma...
54
Voted
ASPLOS
2006
ACM
15 years 3 months ago
OSEK/VDX API for Java
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
Michael Stilkerich, Christian Wawersich, Andreas G...
55
Voted
ASPLOS
2006
ACM
15 years 3 months ago
Writing Solaris device drivers in Java
Hiroshi Yamauchi, Mario Wolczko
52
Voted
ASPLOS
2006
ACM
15 years 3 months ago
Atomicity and visibility in tiny embedded systems
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
John Regehr, Nathan Cooprider, David Gay
ASPLOS
2006
ACM
15 years 3 months ago
Temporal search: detecting hidden malware timebombs with virtual machines
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
Jedidiah R. Crandall, Gary Wassermann, Daniela A. ...
49
Voted
ASPLOS
2006
ACM
15 years 3 months ago
Log-based architectures for general-purpose monitoring of deployed code
Shimin Chen, Babak Falsafi, Phillip B. Gibbons, Mi...
47
Voted
ASPLOS
2006
ACM
15 years 3 months ago
A regulated transitive reduction (RTR) for longer memory race recording
Min Xu, Mark D. Hill, Rastislav Bodík
AOSD
2006
ACM
15 years 3 months ago
Relationship aspects
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
David J. Pearce, James Noble
ICSM
2006
IEEE
15 years 3 months ago
An Extensible Meta-Model for Program Analysis
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
Dennis Strein, Rüdiger Lincke, Jonas Lundberg...