Search results

From WG 2.11
Jump to: navigation, search
  • * [[https://wiki.hh.se/walid/index.php/Main/JimGrundy | JimGrundy]], Intel Strategic CAD Labs * [[http://www.cs.rice.edu/~taha/ Walid Taha]] (Chair), Rice University
    7 KB (1,060 words) - 12:39, 16 December 2011
  • Walid Taha
    1 KB (218 words) - 12:06, 12 December 2011
  • Walid Taha, Session chair: Walid Taha
    6 KB (827 words) - 15:26, 16 December 2011
  • Walid Taha <br>Speaker: [[http://www.cs.rice.edu/~taha/ Walid Taha]]
    1 KB (170 words) - 15:31, 16 December 2011
  • ...y) Teaching Program Generation (Organizers: Eelco Visser. Participants: Walid Taha, Peter Sestoft, Jeremy Siek, Markus Pueschel, ... ) ...Embedded Systems (Organizers: Kevin Hammond, Paul Kelly. Participants: Walid, Albert Cohen [Sat only], Oleg, Julia, Markus Pueschel). <B> Notes on the
    15 KB (1,947 words) - 15:39, 16 December 2011
  • Walid Taha [[WG211/M7Taha| (slides)]]
    9 KB (1,481 words) - 16:13, 16 December 2011
  • <h3>Walid Taha</h3>
    178 bytes (23 words) - 12:06, 12 December 2011
  • ..., Ralf Laemmel, Chris Lengauer, Ken Shan, Tony Sloane, Yannis Smaragdakis, Walid Taha, Eddy Westbrook 9:45-10:45: [[WG211/M9Taha| Globally Parallel, Locally Sequential]] Walid Taha
    6 KB (954 words) - 16:40, 16 December 2011
  • ==Walid Taha==
    1 KB (192 words) - 12:06, 12 December 2011
  • Walid Taha, Rice University
    3 KB (484 words) - 16:44, 16 December 2011
  • Walid Taha, Rice University
    8 KB (1,194 words) - 17:22, 16 December 2011
  • Walid. * Walid Taha. A Gentle Introduction to Multi-stage Programming. In C. Lengauer et a
    7 KB (925 words) - 12:06, 12 December 2011
  • * Walid Taha - MSP Walid
    15 KB (1,901 words) - 12:06, 12 December 2011
  • ...eting will be held at Halmstad University in Sweden, June 25-27, hosted by Walid Taha. '''Registration and hotel booking deadline: May 7th.''' The meeting ...Morten Rhiger, Ina Schaefer, Sven-Bodo Scholz, Ulrik Schultz, Tony Sloane, Walid Taha, Eelco Visser, Eric Van Wyk
    12 KB (1,744 words) - 18:23, 17 July 2013
  • |[http://www.cs.rice.edu/~taha/ Walid Taha] (SE) (*)
    6 KB (937 words) - 21:17, 30 December 2024
  • ...-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk. * [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha [[ Media:M13Taha.pdf | (slides) ]]
    11 KB (1,659 words) - 22:55, 8 April 2014
  • ''Binding Time Analysis in Acumen'' by Walid Taha
    427 bytes (62 words) - 19:08, 1 March 2014
  • ...Püschel, Tiark Rompf, Ina Schaefer, Ulrik Pagh Schultz, Sven-Bodo Scholz, Walid Taha, Tony Sloane, Yannis Smaragdakis, Eelco Visser, Bruce Watson, Eric Van * 14:00-14:45: Walid Taha, [[WG211/M14Taha |Rigorous Simulation ]] [[Media:M14Taha-Slides.pdf |
    15 KB (2,256 words) - 16:58, 6 February 2015
  • * Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Ha ** Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Ha
    17 KB (2,543 words) - 17:44, 8 July 2018
  • * Walid Taha [[WG211/M21Taha | Bean Machine ]] ** Walid Taha
    13 KB (2,072 words) - 23:19, 27 February 2023

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)