Search Sciweavers | Sciweavers

23

PLDI
2005
ACM

100views Programming Languages» more PLDI 2005»

14 years 3 months ago

We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...

Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

25

click to vote

CISIS
2010
IEEE

144views Software Engineering» more CISIS 2010»

A Multidimensional Array Slicing DSL for Stream Programming

14 years 4 months ago

Download www.sifflez.org

—Stream languages offer a simple multi-core programming model and achieve good performance. Yet expressing data rearrangement patterns (like a matrix block decomposition) in thes...

Pablo de Oliveira Castro, Stéphane Louise, ...

claim paper

Read More »

25

click to vote

ICSM
2007
IEEE

182views Software Engineering» more ICSM 2007»

Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach

14 years 4 months ago

Download www.cs.purdue.edu

Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...

Xiangyu Zhang Chao Liu, Yu Zhang, Jiawei Han, Bhar...

claim paper

Read More »

28

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

14 years 4 months ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper