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
User contributions for Ups
From WG 2.11
Jump to navigationJump to search
27 June 2012
- 17:5617:56, 27 June 2012 diff hist +215 WG211/M11Schedule No edit summary
- 17:5117:51, 27 June 2012 diff hist 0 N File:M11slidesSchultz.pdf No edit summary current
- 17:4617:46, 27 June 2012 diff hist 0 N File:M11slidesGlueck.pdf No edit summary
- 17:4417:44, 27 June 2012 diff hist 0 N File:M11slidesOstermann.pdf No edit summary current
- 17:4317:43, 27 June 2012 diff hist +242 WG211/M11Schedule No edit summary
- 07:2207:22, 27 June 2012 diff hist +26 WG211/M11Schedule No edit summary
- 07:2107:21, 27 June 2012 diff hist 0 N File:M11slidesHedin.pdf No edit summary current
- 07:2107:21, 27 June 2012 diff hist +80 WG211/M11Schedule No edit summary
- 07:2007:20, 27 June 2012 diff hist 0 N File:M11slidesDanvy.pdf No edit summary
- 07:1807:18, 27 June 2012 diff hist 0 N File:M11slidesLawall.pdf No edit summary current
- 07:1807:18, 27 June 2012 diff hist +202 WG211/M11Schedule No edit summary
26 June 2012
- 14:1714:17, 26 June 2012 diff hist +2 WG211/M11Schedule →Talks
- 14:1114:11, 26 June 2012 diff hist 0 N File:M11slidesMosses.pdf No edit summary current
- 14:1114:11, 26 June 2012 diff hist +9 WG211/M11Schedule →Talks
- 14:1014:10, 26 June 2012 diff hist +30 WG211/M11Schedule →Talks
- 06:1506:15, 26 June 2012 diff hist 0 WG211/M11Schedule →Getting to the venue
- 06:1406:14, 26 June 2012 diff hist +22 WG211/M11Schedule →wednesday
- 06:1406:14, 26 June 2012 diff hist −21 WG211/M11Schedule →tuesday
25 June 2012
24 June 2012
- 17:4017:40, 24 June 2012 diff hist −21 WG211/M11Schedule →tuesday
- 17:4017:40, 24 June 2012 diff hist +18 WG211/M11Schedule →monday
21 June 2012
- 16:1316:13, 21 June 2012 diff hist +98 WG211/M11Schedule →Getting to the venue
- 15:1215:12, 21 June 2012 diff hist +49 WG211/M11Kaestner No edit summary current
- 15:1015:10, 21 June 2012 diff hist +798 N WG211/M11Kaestner Created page with "Software product line engineering is an efficient means to generate a set of tailored software products from a common implementation. However, adopting a product-line approach po..."
20 June 2012
- 20:4020:40, 20 June 2012 diff hist +3,140 WG211/M11Schedule →Talks
- 20:1320:13, 20 June 2012 diff hist +647 WG211/M11Schedule →Getting to the venue
- 20:0820:08, 20 June 2012 diff hist +38 N File:Map to Halmstad University.pdf Map for walking to Halmstad University current
- 20:0820:08, 20 June 2012 diff hist +649 WG211/M11Schedule No edit summary
- 12:0012:00, 20 June 2012 diff hist +1,289 N WG211/M11Scholz Created page with "'''Effective Parallel Code Generation Through Auto-Sequentialisation''' by Sven-Bodo Scholz Creating parallel programs that make effective use of a range of parallel architectur..." current
- 12:0012:00, 20 June 2012 diff hist +62 WG211/M11Schedule →Talks
15 June 2012
- 12:3012:30, 15 June 2012 diff hist +193 Main Page →Current Members
14 June 2012
- 21:0721:07, 14 June 2012 diff hist +118 WG211/M11Schedule →Talks
12 June 2012
- 20:0220:02, 12 June 2012 diff hist +209 WG211/M11Schedule →Talks
- 12:1512:15, 12 June 2012 diff hist −3 WG211/M11Brady No edit summary current
- 12:1512:15, 12 June 2012 diff hist +570 N WG211/M11Brady Created page with "'''Implementing Domain Specific Languages by Syntax Overloading''' by Edwin Brady I will describe a new overloading notation, implemented in Idris, that facilitates programming,..."
7 June 2012
- 15:1215:12, 7 June 2012 diff hist +1,446 N WG211/M11Cleve Created page with "'''Combining generation and transformation for data-intensive systems development and evolution''' by Anthony Cleve Data-intensive systems are subject to continuous evolution th..." current
- 15:1115:11, 7 June 2012 diff hist +130 WG211/M11Schedule →Talks
- 08:0508:05, 7 June 2012 diff hist +1,526 N WG211/M11Schultz Created page with "'''Programming Language Abstracts for Modular Robots''' by Ulrik Pagh Schultz Self-reconfigurable, modular robots are distributed mechatronic devices that can autonomously chang..." current
- 08:0408:04, 7 June 2012 diff hist +9 WG211/M11Schedule →Talks
6 June 2012
- 20:2620:26, 6 June 2012 diff hist 0 WG211/M11Schedule →Talks
- 20:2620:26, 6 June 2012 diff hist 0 WG211/Inoue No edit summary current
- 20:2520:25, 6 June 2012 diff hist +1,045 N WG211/Inoue Created page with "'''Reasoning About Multi-stage Programs''' by Jon Inoue We settle three basic questions that naturally arise when verifying multi-stage functional programs. Firstly, does addin..."
- 20:2420:24, 6 June 2012 diff hist +67 WG211/M11Schedule →Talks
- 20:2320:23, 6 June 2012 diff hist +11 WG211/M11Schedule →Attendees
- 20:2220:22, 6 June 2012 diff hist −32 WG211/M11Lawall No edit summary current
- 20:2220:22, 6 June 2012 diff hist +1,237 N WG211/M11Lawall Created page with "'''Automatic Generation of a Debugging Interface to the Linux Kernel''' by Julia Lawall The Linux kernel does not export a stable, well-defined kernel interface, complicatin..."
- 20:2120:21, 6 June 2012 diff hist +104 WG211/M11Schedule →Talks
4 June 2012
- 10:2110:21, 4 June 2012 diff hist +17 WG211/M11Schedule →Talks