Search results

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

• WG211/M10Mosses
  '''PLanCompS: Programming Language Components and Specifications''' by Peter Mosses
  948 bytes (131 words) - 12:06, 12 December 2011
• WG211/M10Schedule
  ...ian Kaestner, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Peter Mosses, Nate Nystrom, Derek Rayside, Laurent Reveillere, Ina Schaefer, Ulri ...0Mosses | PLanCompS: Programming Language Components and Specifications ]] Peter Mosses<br>
  7 KB (1,054 words) - 12:57, 20 December 2011
• WG211/M4Schedule
  ...Program Generation (Organizers: Eelco Visser. Participants: Walid Taha, Peter Sestoft, Jeremy Siek, Markus Pueschel, ... ) # (Saturday) Library Specialization (Organizers: Yannis Smaragdakis, Peter Sestoft. Participants: Jeremy Siek, Harold Ossher, Stephanie Weirich, Bari
  15 KB (1,947 words) - 15:39, 16 December 2011
• WG211/M5Schedule
  <li> Peter Sestoft: [[Media:sestoft.ppt | Zero-overhead aspects for .NET: The YIIHAW a Peter Sestoft,
  8 KB (1,198 words) - 15:40, 16 December 2011
• WG211/TeachingProgramGeneration
  * Peter Sestoft ++ Peter Sestoft==
  15 KB (1,901 words) - 12:06, 12 December 2011
• WG211/M11Schedule
  ...Herrmann, Jun Inoue, Christian Kaestner, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell (talk Monday or Tuesday), Markus Puschel, Klaus Oste * [[WG211/M11Mosses | Component-based bisimilarity]] Peter Mosses [[Media:M11slidesMosses.pdf | (slides)]]
  12 KB (1,744 words) - 18:23, 17 July 2013
• Main Page
  |[https://pdmosses.github.io Peter Mosses] (UK, NL)
  6 KB (937 words) - 21:17, 30 December 2024
• WG211/M11Mosses
  '''Component-based bisimilarity''' by Peter Mosses
  926 bytes (140 words) - 14:56, 31 May 2012
• WG211/M12Schedule
  ...n Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhig * [[WG211/M12Mosses | Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday) [[Media:M12_mosses.pdf | (slides)]]
  12 KB (1,909 words) - 10:07, 13 November 2014
• WG211/M12Mosses
  ''Component-Based Semantics for Caml Light'' by Peter Mosses (joint work with Martin Churchill)
  916 bytes (131 words) - 12:45, 2 April 2013
• WG211/M13Lawall
  ...Genetic Makeup of Linux Device Drivers'' by Julia Lawall (joint work with Peter Senna Tschudin, Laurent Reveillere, Lingxiao Jiang, David Lo and Gilles Mul
  485 bytes (74 words) - 09:23, 3 March 2014
• WG211/M14Schedule
  Anya Helene Bagge (x2), Sandrine Blazy, Bernd Fischer, Klaus Ostermann, Peter Pepper, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Ulrik Schultz,
  15 KB (2,256 words) - 16:58, 6 February 2015
• WG211/M14Schultz
  Joint work with Lars-Peter Ellekilde and Johan Sund Laursen
  542 bytes (80 words) - 11:51, 18 September 2014
• WG211/M15Schedule
  ...Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Derek Raysid Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]
  10 KB (1,386 words) - 14:33, 6 June 2018
• WG211/M15Schultz
  Joint work with Lars-Peter Ellekilde and Johan Sund Laursen
  541 bytes (80 words) - 19:13, 27 August 2015
• WG211/M18Schedule
  * Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- Peter Mosses (not Thursday),
  17 KB (2,543 words) - 17:44, 8 July 2018
• WG211/M20Schedule
  ..., Christian Lengauer, Geoff Mainland, Antoine Mine (Monday and Wednesday), Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late af * Peter Mosses [[WG211/M20Mosses | Modular SOS and static semantics]]
  9 KB (1,302 words) - 09:36, 20 February 2020
• WG211/M21Schedule
  ...w, Sebastian Erdweg, Robert Glück, Ohad Kammar, Paul Kelly, Julia Lawall, Peter Mosses, Christoph Reichenbach, Ulrik Pagh Schultz, Thiago Rocha Silva, Satn * Peter Mosses [[WG211/M21Mosses | Using Spoofax to Support Online Code Navigation]
  13 KB (2,072 words) - 23:19, 27 February 2023
• WG211/M20Mosses
  [https://pdmosses.github.io Peter Mosses]
  1 KB (176 words) - 16:40, 14 February 2020
• WG211/M22Schedule
  The meeting will be hosted by [https://pdmosses.github.io Peter Mosses]. * Peter Mosses
  11 KB (1,662 words) - 12:51, 28 April 2023

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