Travelled to:2 × USA
Collaborated with:P.Thiemann ∅ L.Gonnord D.Monniaux J.Cheney S.Lindley P.Wadler
Talks about:regular (2) languag (2) express (2) counterexampl (1) synthesi (1) function (1) approach (1) regener (1) generat (1) unpars (1)
Person: Gabriel Radanne
DBLP: Radanne:Gabriel
Contributed to:
2015
2014
20182019Wrote 4 papers:
- PLDI-2015-GonnordMR #ranking #synthesis #using
- Synthesis of ranking functions using extremal counterexamples (LG, DM, GR), pp. 608–618.
- PEPM-2014-CheneyLRW #effectiveness #query
- Effective quotation: relating approaches to language-integrated query (JC, SL, GR, PW), pp. 15–26.
- GPCE-2018-RadanneT #generative #named #regular expression
- Regenerate: a language generator for extended regular expressions (GR, PT), pp. 202–214.
- PEPM-2019-Radanne #parsing #regular expression
- Typed parsing and unparsing for untyped regular expression engines (GR), pp. 35–46.