Travelled to:1 × France
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:A.Voronkov D.E.Rydeheard H.Barringer A.Bhayat M.Rawson M.Suda D.Tishkovsky H.C.Cruz K.Hoder M.S.0001 Y.Falcone K.Havelund
Talks about:monitor (2) select (2) runtim (2) proof (2) base (2) combinatori (1) restrict (1) quantifi (1) parametr (1) automata (1)
Person: Giles Reger
DBLP: Reger:Giles
Contributed to:
2015
2015
2013
2012
20162019Wrote 9 papers:
- CADE-2015-RegerSV #game studies
- Playing with AVATAR (GR, MS, AV), pp. 399–415.
- CADE-2015-RegerTV #proving
- Cooperating Proof Attempts (GR, DT, AV), pp. 339–355.
- TACAS-2015-RegerCR #monitoring #named #runtime
- MarQ: Monitoring at Runtime with QEA (GR, HCC, DER), pp. 596–610.
- ASE-2013-RegerBR #approach #mining #parametricity #specification
- A pattern-based approach to parametric specification mining (GR, HB, DER), pp. 658–663.
- FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
- IJCAR-2016-HoderR0V
- Selecting the Selection (KH, GR, MS0, AV), pp. 313–329.
- CADE-2019-BhayatR #combinator #strict #unification
- Restricted Combinatory Unification (AB, GR), pp. 74–93.
- CADE-2019-RawsonR
- Old or Heavy? Decaying Gracefully with Age/Weight Shapes (MR, GR), pp. 462–476.
- CADE-2019-RegerV #induction #proving
- Induction in Saturation-Based Proof Search (GR, AV), pp. 477–494.