Search results
From WG 2.11
Create the page "Walid" on this wiki! See also the search results found.
- * [[https://wiki.hh.se/walid/index.php/Main/JimGrundy | JimGrundy]], Intel Strategic CAD Labs * [[http://www.cs.rice.edu/~taha/ Walid Taha]] (Chair), Rice University7 KB (1,060 words) - 12:39, 16 December 2011
- Walid Taha1 KB (218 words) - 12:06, 12 December 2011
- Walid Taha, Session chair: Walid Taha6 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 the15 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 Taha6 KB (954 words) - 16:40, 16 December 2011
- ==Walid Taha==1 KB (192 words) - 12:06, 12 December 2011
- Walid Taha, Rice University3 KB (484 words) - 16:44, 16 December 2011
- Walid Taha, Rice University8 KB (1,194 words) - 17:22, 16 December 2011
- Walid. * Walid Taha. A Gentle Introduction to Multi-stage Programming. In C. Lengauer et a7 KB (925 words) - 12:06, 12 December 2011
- * Walid Taha - MSP Walid15 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 Wyk12 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 Taha427 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 Ha17 KB (2,543 words) - 17:44, 8 July 2018
- * Walid Taha [[WG211/M21Taha | Bean Machine ]] ** Walid Taha13 KB (2,072 words) - 23:19, 27 February 2023