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 × Brazil
1 × Denmark
1 × Estonia
1 × Greece
1 × Italy
2 × Germany
3 × United Kingdom
4 × Japan
7 × USA
Collaborated with:
D.Seidel P.Johann F.Stenger S.Mehner H.Grohne A.Löh A.Simpson L.Straßburger J.P.Fernandes J.Saraiva Z.Hu K.Matsuda M.Wang R.S.Bird J.Gibbons T.Schrijvers
Talks about:
free (9) theorem (6) bidirection (5) program (4) semant (4) pearl (4) transform (3) bidirect (3) languag (3) parametr (2)

Person: Janis Voigtländer

DBLP DBLP: Voigtl=auml=nder:Janis

Facilitated 8 volumes:

ICMT 2015PrCo
ICMT 2014PrCo
ICMT 2013PrCo
ICMT 2012PrCo
CSXW 2011Ed
ICMT 2011PrCo
PEPM 2010Ed
Haskell 2012Ed

Contributed to:

EDBT/ICDT Workshops 20142014
PPDP 20142014
LDTA 20122012
PEPM 20122012
BX 20112011
PEPM 20112011
QAPL 20112011
FLOPS 20102010
ICFP 20102010
LICS 20102010
ICFP 20092009
POPL 20092009
TLCA 20092009
BX 20082008
FLOPS 20082008
PEPM 20082008
POPL 20082008
POPL 20042004
ASIA-PEPM 20022002
ICFP 20022002
RTA 20022002
Haskell 20132013

Wrote 24 papers:

BX-2014-GrohneLV #bidirectional #dependent type #formal method #semantics
Formalizing Semantic Bidirectionalization with Dependent Types (HG, AL, JV), pp. 75–81.
PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem
Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
LDTA-2012-Voigtlander #bidirectional #programming language
Programming language approaches to bidirectional transformation (JV), p. 1.
PEPM-2012-Voigtlander #bidirectional #induction #synthesis
Ideas for connecting inductive program synthesis and bidirectionalization (JV), pp. 39–42.
BX-2011-Voigtlaender #bidirectional
Complement-Based Bidirectionalization (JV), p. 49.
BX-2011-Voigtlaender1 #bidirectional #performance
Efficiency of Bidirectional Transformations (JV), p. 64.
PEPM-2011-FernandesSSV #source code #strict
Strictification of circular programs (JPF, JS, DS, JV), pp. 131–140.
QAPL-2011-SeidelV #for free
Improvements for Free (DS, JV), pp. 89–103.
FLOPS-2010-SeidelV #automation #generative #theorem
Automatically Generating Counterexamples to Naive Free Theorems (DS, JV), pp. 175–190.
ICFP-2010-VoigtlanderHMW #bidirectional #semantics
Combining syntactic and semantic bidirectionalization (JV, ZH, KM, MW), pp. 181–192.
LICS-2010-JohannSV #algebra
A Generic Operational Metatheory for Algebraic Effects (PJ, AS, JV), pp. 209–218.
ICFP-2009-Voigtlander #functional #theorem
Free theorems involving type constructor classes: functional pearl (JV), pp. 173–184.
POPL-2009-Voigtlander #bidirectional #exclamation #for free
Bidirectionalization for free! (Pearl) (JV), pp. 165–176.
TLCA-2009-StengerV #fault #haskell #parametricity #semantics
Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.
Languages and Applications Short Talk 2 (JV), p. 9.
BX-2008-Voigtlaender1 #bidirectional #theorem
Free Theorems and Bidirectional Transformations (JV), p. 30.
FLOPS-2008-Voigtlander #semantics
Semantics and Pragmatics of New Shortcut Fusion Rules (JV), pp. 163–179.
PEPM-2008-Voigtlander #correctness #proving #theorem
Proving correctness via free theorems: the case of the destroy/build-rule (JV), pp. 13–20.
POPL-2008-Voigtlander #parallel
Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.
POPL-2004-JohannV #theorem
Free theorems in the presence of seq (PJ, JV), pp. 99–110.
ASIA-PEPM-2002-Voigtlander #parametricity #source code #using
Using circular programs to deforest in accumulating parameters (JV), pp. 126–137.
ICFP-2002-Voigtlander #for free
Concatenate, reverse and map vanish for free (JV), pp. 14–25.
RTA-2002-Voigtlander #composition #performance #transducer
Conditions for Efficiency Improvement by Tree Transducer Composition (JV), pp. 222–236.
Haskell-2013-BirdGMVS #comprehension #traversal
Understanding idiomatic traversals backwards and forwards (RSB, JG, SM, JV, TS), pp. 25–36.

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.