Travelled to:1 × Canada
1 × Denmark
1 × Estonia
1 × Germany
1 × Italy
1 × Japan
1 × Poland
1 × Singapore
2 × USA
2 × United Kingdom
Collaborated with:B.Braßel Z.Hu H.Kuchen F.Huch H.Pacheco J.Christiansen G.Vidal K.Emoto T.Wilke O.Kiselyov C.Shan J.Silva S.Tamarit M.Hanus
Talks about:program (10) function (7) test (4) lazi (4) logic (3) transform (2) systemat (2) bidirect (2) putback (2) preserv (2)
Person: Sebastian Fischer
DBLP: Fischer:Sebastian
Contributed to:
2014
2014
2012
20102009
20082008
20082007
2007
20072006Wrote 12 papers:
- FM-2014-HuPF #bidirectional #programming
- Validity Checking of Putback Transformations in Bidirectional Programming (ZH, HP, SF), pp. 1–15.
- PEPM-2014-PachecoHF #bidirectional #combinator #monad #programming
- Monadic combinators for “Putback” style bidirectional programming (HP, ZH, SF), pp. 39–50.
- ESOP-2012-EmotoFH #framework #parallel #pipes and filters #programming
- Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.
- ICFP-2010-FischerHW #functional #game studies #regular expression
- A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.
- ICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming
- Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
- FLOPS-2008-ChristiansenF #for free #named #testing
- EasyCheck — Test Data for Free (JC, SF), pp. 322–336.
- ICFP-2008-FischerK #data flow #declarative #source code #testing
- Data-flow testing of declarative programs (SF, HK), pp. 201–212.
- IFL-2008-BrasselF #functional #lazy evaluation #logic programming #source code
- From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.
- ICFP-2007-BrasselHFHV #call-by #evaluation #lazy evaluation
- Lazy call-by-value evaluation (BB, MH, SF, FH, GV), pp. 265–276.
- LOPSTR-2007-FischerSTV #functional #lazy evaluation #partial evaluation #source code
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.
- PPDP-2007-FischerK #functional #generative #logic programming #source code #testing
- Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.
- LOPSTR-2006-BrasselFH #functional #logic #program transformation
- A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.