On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
Search results
From WG 2.11
Jump to navigationJump to search
- ==Derek Rayside== ...2 KB (258 words) - 12:06, 12 December 2011
- Joint work with Derek Palinski and Gilles Muller ...923 bytes (147 words) - 11:43, 8 August 2016
- '''Synthesizing Imperative Code from Relational Specifications''' by Derek Rayside ...1 KB (147 words) - 12:06, 12 December 2011
- ''Synthesis of Microfluidics Chips using SMT Solvers'' by Derek Rayside ...1 KB (172 words) - 10:56, 4 March 2014
- ...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
- ...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
- ...Christian 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
- ...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
- ...Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven ...12 KB (1,909 words) - 10:07, 13 November 2014
