Sebastian Fischer's Publications

human readable list

@InProceedings{Fischer+MPC15,
  author = {Sebastian Fischer and Zhenjiang Hu and Hugo Pacheco},
  title = {A clear picture of lens laws ---Functional Pearl---},
  booktitle = {Proceedings of the 12th Conference on Mathematics of Program Construction (MPC 2015)},
  publisher = {Springer Verlag},
  year = 2015,
  note = {available at: \url{http://sebfisch.github.com/research/pub/Fischer+MPC15.pdf}}
}

@TechReport{Fischer+GRACE12,
  author = {Sebastian Fischer and Hugo Pacheco and Zhenjiang Hu},
  title = {'Putback' is the Essence of Bidirectional Programming},
  institution = {National Institute of Informatics},
  year = 2012,
  note = {available at: \url{http://grace-center.jp/wp-content/uploads/2013/01/GRACE-TR-2012-08.pdf}}
}

@InProceedings{Emoto+ESOP12,
  author = {Kento Emoto and Sebastian Fischer and Zhenjiang Hu},
  title = {Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce},
  booktitle = {Proceedings of the 22nd European Symposium on Programming (ESOP 2012)},
  publisher = {Springer Verlag},
  year = 2012,
  note = {available at: \url{http://sebfisch.github.com/research/pub/Emoto+ESOP12.pdf}}
}

@Article{Fischer+JFP11,
  author = {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
  title = {Purely functional lazy nondeterministic programming},
  journal = {Journal of Functional Programming},
  year = 2011,
  note = {available at: \url{http://sebfisch.github.com/research/pub/Fischer+JFP11.pdf}}
}

@InProceedings{Brassel+WFLP10,
  author = {Bernd Braßel and Sebastian Fischer and Michael Hanus and Fabian Reck},
  title = {Transforming Functional Logic Programs into Monadic Functional Programs},
  booktitle = {Proceedings of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010)},
  publisher = {Springer Verlag},
  year = 2011,
  note = {available at: \url{http://www.informatik.uni-kiel.de/~mh/papers/WFLP10T_LNCS.pdf}}
}

@InProceedings{Fischer+ICFP10,
  author = {Sebastian Fischer and Frank Huch and Thomas Wilke},
  title = {A Play on Regular Expressions (Functional Pearl)},
  booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP'10)},
  publisher = {ACM Press},
  year = 2010,
  note = {available at: \url{http://sebfisch.github.com/haskell-regexp/regexp-play.pdf}}
}

@PhdThesis{FischerDiss,
  author = {Sebastian Fischer},
  title = {On Functional Logic Programming and its Application to Testing},
  school = {Christian-Albrechts University of Kiel, Germany},
  type = {Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr.rer.nat.)},
  year = 2010,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/thesis.pdf}}
}

@InProceedings{Alqaddoumi+10,
  author = {Abdulla Alqaddoumi and Sergio Antoy and Sebastian Fischer and Fabian Reck},
  title = {The Pull-Tab Transformation},
  booktitle = {Preproceedings of the Third International Workshop on Graph Computation Models (GCM'10)},
  year = 2010,
  note = {available at: \url{http://web.cecs.pdx.edu/~antoy/homepage/publications/gcm10/paper.pdf}}
}

@InProceedings{FischerATPS09,
  author = {Sebastian Fischer},
  title = {Reinventing Haskell Backtracking},
  booktitle = {Informatik 2009, Im Fokus das Leben (ATPS'09)},
  publisher = {GI Edition},
  year = 2009,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/atps09.pdf}}
}

@InProceedings{Fischer+ICFP09,
  author = {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
  title = {Purely Functional Lazy Non-deterministic Programming},
  booktitle = {Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP'09)},
  publisher = {ACM Press},
  year = 2009,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp09.pdf}}
}

@InProceedings{FischerKuchenICFP08,
  author = {Sebastian Fischer and Herbert Kuchen},
  title = {Data-Flow Testing of Declarative Programs},
  booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP'08)},
  publisher = {ACM Press},
  year = 2008,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp08.pdf}}
}

@InProceedings{ChristiansenFischerFLOPS08,
  author = {Jan Christiansen and Sebastian Fischer},
  title = {EasyCheck -- Test Data for Free},
  booktitle = {Proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS'08)},
  publisher = {Springer Verlag},
  year = 2008,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/flops08.pdf}}
}

@Unpublished{BrasselFischerIFL08,
  author = {Bernd Braßel and Sebastian Fischer},
  title = {From Functional Logic Programs to Purely Functional Programs Preserving Laziness},
  year = 2008,
  note = {accepted for publication in the post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL'08) and
         available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ifl08.pdf}}
}

@InProceedings{Brassel+ICFP07,
  author = {Bernd Braßel and Sebastian Fischer and Michael Hanus and Frank Huch and German Vidal},
  title = {Lazy Call-By-Value Evaluation},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP'07)},
  publisher = {ACM Press},
  year = 2007,
  note = {available at: \url{http://www.informatik.uni-kiel.de/~mh/papers/ICFP07.pdf}}
}

@InProceedings{Fischer+LOPSTR07,
  author = {Sebastian Fischer and Josep Silva and Salvador Tamarit and German Vidal},
  title = {Preserving Sharing in the Partial Evaluation of Lazy Functional Programs},
  booktitle = {Proceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'07)},
  publisher = {Springer Verlag},
  year = 2007,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr07.pdf}}
}

@InProceedings{FischerKuchenPPDP07,
  author = {Sebastian Fischer and Herbert Kuchen},
  title = {Systematic Generation of Glass-Box Test Cases for Functional Logic Programs},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'07)},
  publisher = {ACM Press},
  year = 2007,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ppdp07.pdf}}
}

@InProceedings{Brassel+WFLP07,
  author = {Bernd Braßel and Sebastian Fischer and Frank Huch},
  title = {Declaring Numbers},
  booktitle = {Proceedings of the 16th Workshop on Functional and (Constraint) Logic Programming (WFLP'07)},
  publisher = {Elsevier},
  year = 2007,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp07.pdf}}
}

@InProceedings{BerghammerFischerWFLP06,
  author = {Rudolf Berghammer and Sebastian Fischer},
  title = {Implementing Relational Specifications in a Constraint Functional Logic Language},
  booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06)},
  publisher = {Elsevier},
  year = 2006,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06rel.pdf}}
}

@InProceedings{FischerWFLP06,
  author = {Sebastian Fischer},
  title = {Lazy Database Access with Persistent Predicates},
  booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06)},
  publisher = {Elsevier},
  year = 2006,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06db.pdf}}
}

@InProceedings{FischerTFP06,
  author = {Sebastian Fischer},
  title = {Resource-Based Web Applications},
  booktitle = {Proceedings of the 7th Symposium on Trends in Functional Programming (TFP'06)},
  publisher = {Intellect},
  year = 2006,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/tfp06.pdf}}
}

@InProceedings{Brassel+LOPSTR06,
  author = {Bernd Braßel and Sebastian Fischer and Frank Huch},
  title = {A Program Transformation for Tracing Functional Logic Computations},
  booktitle = {Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'06)},
  publisher = {Springer Verlag},
  year = 2006,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr06.pdf}}
}

@InProceedings{FischerWFLP05,
  author = {Sebastian Fischer},
  title = {A Functional Logic Database Library},
  booktitle = {Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP'05)},
  publisher = {ACM Press},
  year = 2005,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wcflp05.pdf}}
}

@MastersThesis{FischerDiploma,
  author = {Sebastian Fischer},
  title = {Functional Logic Programming with Databases},
  school = {Christian-Albrechts University of Kiel, Germany},
  type = {Diplomarbeit},
  year = 2005,
  note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/diploma05.pdf}}
}