User contributions for Ups

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: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

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,..."

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

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

Navigation menu