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: Lisper:Bj=ouml=rn
Contributed to:
2015
2015
2014
2006
1994
19931991
1986Wrote 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.