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: Voigtl=auml=nder:Janis
Facilitated 8 volumes:
PrCoPrCoPrCoPrCo
EdPrCo
Ed
EdContributed to:
2014
2014
2012201220112011
2011
2010
2010
20102009
2009
20092008200820082008200420022002
20022013Wrote 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.
- BX-2008-Voigtlaender
- 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.