BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Denmark
1 × France
1 × India
2 × USA
Collaborated with:
H.Khanfar A.N.Masud J.Gustafsson J.Collard P.Hammarlund A.Gustavsson C.Sandberg A.Ermedahl
Talks about:
program (3) analysi (3) static (3) slice (3) parallel (2) backward (2) system (2) data (2) algorithm (1) synthesi (1)

Person: Björn Lisper

DBLP DBLP: Lisper:Bj=ouml=rn

Contributed to:

Ada-Europe 20152015
PEPM 20152015
VMCAI 20142014
LCTES 20062006
SAS 19941994
FPCA 19931993
PEPM 19911991
ICALP 19861986

Wrote 8 papers:

AdaEurope-2015-KhanfarLM #safety #slicing
Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.
PEPM-2015-LisperMK #slicing
Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.
VMCAI-2014-GustavssonGL #analysis #execution #parallel #using
Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
LCTES-2006-SandbergEGL #analysis #performance #slicing
Faster WCET flow analysis by program slicing (CS, AE, JG, BL), pp. 103–112.
SAS-1994-LisperC #analysis
Extended Analysis of Data Fields (BL, JFC), pp. 208–222.
FPCA-1993-HammarlundL #functional #on the #parallel #programming language
On the Relation between Functional and Data Parallel Programming Languages (PH, BL), pp. 210–222.
PEPM-1991-Lisper #algorithm #detection #partial evaluation
Detecting Static Algorithms by Partial Evaluation (BL), pp. 31–42.
ICALP-1986-Lisper #concurrent #equivalence #synthesis
Synthesis and Equivalence of Concurrent Systems (BL), pp. 226–235.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.