Search results

Create the page "Derek" on this wiki! See also the search results found.

• WG211/M10Rayside
  '''Synthesizing Imperative Code from Relational Specifications''' by Derek Rayside
  1 KB (147 words) - 12:06, 12 December 2011
• WG211/M10Schedule
  ...eg Kiselyov, Julia Lawall, Christian Lengauer, Peter Mosses, Nate Nystrom, Derek Rayside, Laurent Reveillere, Ina Schaefer, Ulrik Schultz, Chung-chieh Shan, ...10Rayside | Synthesizing Imperative Code from Relational Specifications ]] Derek Rayside<br>
  7 KB (1,054 words) - 12:57, 20 December 2011
• WG211/M9Rayside
  ==Derek Rayside==
  2 KB (258 words) - 12:06, 12 December 2011
• WG211/M9Schedule
  ...r Bak, Emilie Balland, Thiago Bartolomei, Jacques Carette, Charles Consel, Derek Drayside, Bernd Fischer, Christian Kaestner, Oleg Kiselyov, Ralf Laemmel, C ...ide| Synthesizing executable code from declarative abstraction functions]] Derek Rayside
  6 KB (954 words) - 16:40, 16 December 2011
• WG211/M12Schedule
  ...Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sv
  12 KB (1,909 words) - 10:07, 13 November 2014
• WG211/M13Schedule
  ...hristian Lengauer, Mohammadreza Mousavi, Klaus Ostermann, Markus Püschel, Derek Rayside, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh * [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside [[Media:M13Rayside.pdf | (slides)]]
  11 KB (1,659 words) - 22:55, 8 April 2014
• WG211/M13Rayside
  ''Synthesis of Microfluidics Chips using SMT Solvers'' by Derek Rayside
  1 KB (172 words) - 10:56, 4 March 2014
• WG211/M15Schedule
  ...auer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Derek Rayside, Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz (not
  10 KB (1,386 words) - 14:33, 6 June 2018
• WG211/M16Lawall
  Joint work with Derek Palinski and Gilles Muller
  923 bytes (147 words) - 11:43, 8 August 2016