Search results

From WG 2.11
Jump to: navigation, search
  • |[http://tiarkrompf.github.io/ Tiark Rompf] (US)
    6 KB (937 words) - 21:17, 30 December 2024
  • ...es, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan * [[WG211/M12Rompf | Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
    12 KB (1,909 words) - 10:07, 13 November 2014
  • ''Project Lancet: Surgical Precision JIT Compilers'' by Tiark Rompf
    1 KB (220 words) - 23:07, 29 May 2013
  • ...i, Klaus Ostermann, Markus Püschel, Derek Rayside, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh ...taging for Database Systems: From Query Interpreters to Query Compilers ]] Tiark Romph
    11 KB (1,659 words) - 22:55, 8 April 2014
  • ...rnd Fischer, Ralf Lämmel, Julia Lawall, Klaus Ostermann, Markus Püschel, Tiark Rompf, Ina Schaefer, Ulrik Pagh Schultz, Sven-Bodo Scholz, Walid Taha, Tony * 14:45-15:30: Tiark Romph, [[WG211/M14Romph | A SQL to C compiler in 500 lines of Scala ]]
    15 KB (2,256 words) - 16:58, 6 February 2015
  • ...iselyov, Ralf Laemmel, Julia Lawall (M-W), Praveen Narayanan, Ryan Newton, Tiark Rompf, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Amr Sabry (i Tiark Rompf [[WG211/M16SRomph | LMS-Verify: Abstraction Without Regret for Verifi
    9 KB (1,237 words) - 14:29, 6 June 2018
  • Tiark Romph
    2 KB (227 words) - 04:11, 15 August 2016
  • Tiark Romph, * Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Res
    17 KB (2,543 words) - 17:44, 8 July 2018
  • ...fferentiable Programming: Shift/Reset the Penultimate Backpropagator''' by Tiark Romph
    1 KB (189 words) - 05:10, 25 May 2018
  • * Tiark Rompf * Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Languag
    17 KB (2,513 words) - 17:23, 5 December 2024