Skip to content

Commit

Permalink
added MPC pearl and updated CV
Browse files Browse the repository at this point in the history
  • Loading branch information
@sebfisch
sebfisch committed Apr 15, 2015
1 parent 6236441 commit bf4dc7f
Show file tree
Hide file tree
Showing 3 changed files with 38 additions and 27 deletions.
53 changes: 31 additions & 22 deletions research/bibtex.html
View file
Expand Up @@ -11,15 +11,24 @@
<h1>Sebastian Fischer's Publications</h1>

<p><a href="index.html#publications">human readable list</a></p>
<a name="Fischer+GRACE12"></a>
<p><a name="Fischer+MPC14"></a></p>
<pre><code>@InProceedings{Fischer+MPC14,
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 = 2014,
note = {available at: \url{http://sebfisch.github.com/research/pub/Fischer+MPC14.pdf}}
}</code></pre>
<p><a name="Fischer+GRACE12"></a></p>
<pre><code>@TechReport{Fischer+GRACE12,
author = {Sebastian Fischer and Hugo Pacheco and Zhenjiang Hu},
title = {&#39;Putback&#39; 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}}
}</code></pre>
<a name="Emoto+ESOP12"></a>
<p><a name="Emoto+ESOP12"></a></p>
<pre><code>@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},
Expand All @@ -28,15 +37,15 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2012,
note = {available at: \url{http://sebfisch.github.com/research/pub/Emoto+ESOP12.pdf}}
}</code></pre>
<a name="Fischer+JFP11"></a>
<p><a name="Fischer+JFP11"></a></p>
<pre><code>@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}}
}</code></pre>
<a name="Brassel+WFLP10"></a>
<p><a name="Brassel+WFLP10"></a></p>
<pre><code>@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},
Expand All @@ -45,7 +54,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2011,
note = {available at: \url{http://www.informatik.uni-kiel.de/~mh/papers/WFLP10T_LNCS.pdf}}
}</code></pre>
<a name="Fischer+ICFP10"></a>
<p><a name="Fischer+ICFP10"></a></p>
<pre><code>@InProceedings{Fischer+ICFP10,
author = {Sebastian Fischer and Frank Huch and Thomas Wilke},
title = {A Play on Regular Expressions (Functional Pearl)},
Expand All @@ -54,7 +63,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2010,
note = {available at: \url{http://sebfisch.github.com/haskell-regexp/regexp-play.pdf}}
}</code></pre>
<a name="FischerDiss"></a>
<p><a name="FischerDiss"></a></p>
<pre><code>@PhdThesis{FischerDiss,
author = {Sebastian Fischer},
title = {On Functional Logic Programming and its Application to Testing},
Expand All @@ -63,15 +72,15 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2010,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/thesis.pdf}}
}</code></pre>
<a name="Alqaddoumi+10"></a>
<p><a name="Alqaddoumi+10"></a></p>
<pre><code>@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&#39;10)},
year = 2010,
note = {available at: \url{http://web.cecs.pdx.edu/~antoy/homepage/publications/gcm10/paper.pdf}}
}</code></pre>
<a name="FischerATPS09"></a>
<p><a name="FischerATPS09"></a></p>
<pre><code>@InProceedings{FischerATPS09,
author = {Sebastian Fischer},
title = {Reinventing Haskell Backtracking},
Expand All @@ -80,7 +89,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2009,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/atps09.pdf}}
}</code></pre>
<a name="Fischer+ICFP09"></a>
<p><a name="Fischer+ICFP09"></a></p>
<pre><code>@InProceedings{Fischer+ICFP09,
author = {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
title = {Purely Functional Lazy Non-deterministic Programming},
Expand All @@ -89,7 +98,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2009,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp09.pdf}}
}</code></pre>
<a name="FischerKuchenICFP08"></a>
<p><a name="FischerKuchenICFP08"></a></p>
<pre><code>@InProceedings{FischerKuchenICFP08,
author = {Sebastian Fischer and Herbert Kuchen},
title = {Data-Flow Testing of Declarative Programs},
Expand All @@ -98,7 +107,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2008,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp08.pdf}}
}</code></pre>
<a name="ChristiansenFischerFLOPS08"></a>
<p><a name="ChristiansenFischerFLOPS08"></a></p>
<pre><code>@InProceedings{ChristiansenFischerFLOPS08,
author = {Jan Christiansen and Sebastian Fischer},
title = {EasyCheck -- Test Data for Free},
Expand All @@ -107,15 +116,15 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2008,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/flops08.pdf}}
}</code></pre>
<a name="BrasselFischerIFL08"></a>
<p><a name="BrasselFischerIFL08"></a></p>
<pre><code>@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&#39;08) and
available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ifl08.pdf}}
}</code></pre>
<a name="Brassel+ICFP07"></a>
<p><a name="Brassel+ICFP07"></a></p>
<pre><code>@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},
Expand All @@ -124,7 +133,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2007,
note = {available at: \url{http://www.informatik.uni-kiel.de/~mh/papers/ICFP07.pdf}}
}</code></pre>
<a name="Fischer+LOPSTR07"></a>
<p><a name="Fischer+LOPSTR07"></a></p>
<pre><code>@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},
Expand All @@ -133,7 +142,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2007,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr07.pdf}}
}</code></pre>
<a name="FischerKuchenPPDP07"></a>
<p><a name="FischerKuchenPPDP07"></a></p>
<pre><code>@InProceedings{FischerKuchenPPDP07,
author = {Sebastian Fischer and Herbert Kuchen},
title = {Systematic Generation of Glass-Box Test Cases for Functional Logic Programs},
Expand All @@ -142,7 +151,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2007,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ppdp07.pdf}}
}</code></pre>
<a name="Brassel+WFLP07"></a>
<p><a name="Brassel+WFLP07"></a></p>
<pre><code>@InProceedings{Brassel+WFLP07,
author = {Bernd Braßel and Sebastian Fischer and Frank Huch},
title = {Declaring Numbers},
Expand All @@ -151,7 +160,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2007,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp07.pdf}}
}</code></pre>
<a name="BerghammerFischerWFLP06"></a>
<p><a name="BerghammerFischerWFLP06"></a></p>
<pre><code>@InProceedings{BerghammerFischerWFLP06,
author = {Rudolf Berghammer and Sebastian Fischer},
title = {Implementing Relational Specifications in a Constraint Functional Logic Language},
Expand All @@ -160,7 +169,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2006,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06rel.pdf}}
}</code></pre>
<a name="FischerWFLP06"></a>
<p><a name="FischerWFLP06"></a></p>
<pre><code>@InProceedings{FischerWFLP06,
author = {Sebastian Fischer},
title = {Lazy Database Access with Persistent Predicates},
Expand All @@ -169,7 +178,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2006,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06db.pdf}}
}</code></pre>
<a name="FischerTFP06"></a>
<p><a name="FischerTFP06"></a></p>
<pre><code>@InProceedings{FischerTFP06,
author = {Sebastian Fischer},
title = {Resource-Based Web Applications},
Expand All @@ -178,7 +187,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2006,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/tfp06.pdf}}
}</code></pre>
<a name="Brassel+LOPSTR06"></a>
<p><a name="Brassel+LOPSTR06"></a></p>
<pre><code>@InProceedings{Brassel+LOPSTR06,
author = {Bernd Braßel and Sebastian Fischer and Frank Huch},
title = {A Program Transformation for Tracing Functional Logic Computations},
Expand All @@ -187,7 +196,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2006,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr06.pdf}}
}</code></pre>
<a name="FischerWFLP05"></a>
<p><a name="FischerWFLP05"></a></p>
<pre><code>@InProceedings{FischerWFLP05,
author = {Sebastian Fischer},
title = {A Functional Logic Database Library},
Expand All @@ -196,7 +205,7 @@ <h1>Sebastian Fischer's Publications</h1>
year = 2005,
note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wcflp05.pdf}}
}</code></pre>
<a name="FischerDiploma"></a>
<p><a name="FischerDiploma"></a></p>
<pre><code>@MastersThesis{FischerDiploma,
author = {Sebastian Fischer},
title = {Functional Logic Programming with Databases},
Expand Down
Binary file modified research/cv.pdf
View file
Binary file not shown.
12 changes: 7 additions & 5 deletions research/index.html
View file
Expand Up @@ -11,14 +11,15 @@
<h1>Sebastian Fischer</h1>

<div class="figure">
<img src="profile-bw.jpg" /><p class="caption"></p>
<img src="profile-bw.jpg" />

</div>
<p>I am currently a freelance computer scientist teaching computer science teachers in northern Germany and working on improving the <a href="http://darcs.net/">Darcs</a> version control system for <a href="http://www.factisresearch.com/">factis research</a>. See my <a href="cv.pdf">CV</a> for a summary of what I did previously.</p>
<p>I am currently a freelance computer scientist teaching computer science teachers in northern Germany and developing software for different companies. See my <a href="cv.pdf">CV</a> for a summary of what I did previously.</p>
<h2 id="contact">Contact</h2>
<p><script type="text/javascript">
<!--
h='&#x69;&#110;&#102;&#x6f;&#114;&#x6d;&#x61;&#116;&#x69;&#x6b;&#46;&#x75;&#110;&#x69;&#x2d;&#x6b;&#x69;&#x65;&#108;&#46;&#100;&#x65;';a='&#64;';n='&#x73;&#x65;&#98;&#102;';e=n+a+h;
document.write('<a h'+'ref'+'="ma'+'ilto'+':'+e+'">'+'<code>'+e+'</code>'+'<\/'+'a'+'>');
document.write('<a h'+'ref'+'="ma'+'ilto'+':'+e+'" clas'+'s="em' + 'ail">'+e+'<\/'+'a'+'>');
// -->
</script><noscript>&#x73;&#x65;&#98;&#102;&#32;&#x61;&#116;&#32;&#x69;&#110;&#102;&#x6f;&#114;&#x6d;&#x61;&#116;&#x69;&#x6b;&#32;&#100;&#x6f;&#116;&#32;&#x75;&#110;&#x69;&#x2d;&#x6b;&#x69;&#x65;&#108;&#32;&#100;&#x6f;&#116;&#32;&#100;&#x65;</noscript> (<a href="fischer.gpgkey">encryption</a>)</p>
<h2 id="research-interests">Research Interests</h2>
Expand All @@ -44,7 +45,7 @@ <h2 id="scientific-activities">Scientific Activities</h2>
<li><p>Program Commitee member of the <a href="http://www.program-transformation.org/PEPM12">ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012</a> in Philadelphia, Pennsylvania, USA</p></li>
<li><p>Program Commitee member of the <a href="http://www.wi.uni-muenster.de/pi/konferenzen/wflp2011/wflp2011.htm">20th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2011</a> in Odense, Denmark</p></li>
</ul>
<a name="talks"></a>
<p><a name="talks"></a></p>
<h2 id="talks">Talks</h2>
<h3 id="curry-crash-course">Curry Crash Course</h3>
<p>presented at University of Bonn, Germany (January 2013) [<a href="http://sebfisch.github.com/research/talks/CurryCrashCourse.pdf">slides</a>, <a href="http://sebfisch.github.com/research/talks/CurryCrashCourse.zip">programs</a>]</p>
Expand All @@ -71,10 +72,11 @@ <h3 id="a-haskell-edsl-for-parallel-programming-in-generate-test-and-aggregate-s
<p>presented at Chalmers University of Technology in Gothenburg, Sweden (November 2011) [<a href="http://sebfisch.github.com/research/talks/Chalmers.pdf">slides</a>]</p>
<p>MapReduce is a popular and successful framework to implement massively parallel algorithms. It can be used to distribute the execution of data intensive tasks and hide implementation details of parallelization and data distribution. However, it is often difficult to define MapReduce programs because realistic problems do not match its simple divide and conquer form. Although many case studies are being published that show non-trivial applications of MapReduce, no generalized theory has been developed that captures underlying common ideas.</p>
<p>I will present a framework for systematic parallel programming with MapReduce that generalizes existing implementation ideas for parallel algorithms and is applicable to a wide class of search problems. Parallel algorithms can be specified as generate-and-test problems combined with result aggregation and we provide two theorems that allow to implement such specifications efficiently using MapReduce. Our approach brings MapReduce programming, which is inspired by the map and reduce primitives available in many functional languages, back to its roots by providing a calculation-based framework for program development. It makes expert knowledge applicable for a broader group of programmers by automatically bridging the gap between intuitive specifications and efficient implementations.</p>
<a name="publications"></a>
<p><a name="publications"></a></p>
<h2 id="publications">Publications</h2>
<p><a href="bibtex.html">BibTeX entries</a></p>
<ul>
<li><a href="http://sebfisch.github.com/research/pub/Fischer+MPC14.pdf">A clear picture of lens laws —Functional Pearl—</a>. [<a href="bibtex.html#Fischer+MPC14">BibTeX</a>] Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco. Proceedings of the 12th Conference on Mathematics of Program Construction (MPC 2015). Springer Verlag, 2014.</li>
<li><a href="http://grace-center.jp/wp-content/uploads/2013/01/GRACE-TR-2012-08.pdf">‘Putback’ is the Essence of Bidirectional Programming</a>. [<a href="bibtex.html#Fischer+GRACE12">BibTeX</a>] Sebastian Fischer, Hugo Pacheco, Zhenjiang Hu. National Institute of Informatics, 2012.</li>
<li><a href="http://sebfisch.github.com/research/pub/Emoto+ESOP12.pdf">Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce</a>. [<a href="bibtex.html#Emoto+ESOP12">BibTeX</a>] Kento Emoto, Sebastian Fischer, Zhenjiang Hu. Proceedings of the 22nd European Symposium on Programming (ESOP 2012). Springer Verlag, 2012. [<a href="http://www.ipl.t.u-tokyo.ac.jp/pub/METR2011-34.pdf">extended version</a>]</li>
<li><a href="http://sebfisch.github.com/research/pub/Fischer+JFP11.pdf">Purely functional lazy nondeterministic programming</a>. [<a href="bibtex.html#Fischer+JFP11">BibTeX</a>] Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan. Journal of Functional Programming. 2011.</li>
Expand Down

0 comments on commit bf4dc7f

Please sign in to comment.