User contributions for Ups

17:1317:13, 21 June 2012 diff hist +98 WG211/M11Schedule →Getting to the venue
16:1216:12, 21 June 2012 diff hist +49 WG211/M11Kaestner No edit summary current
16:1016: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..."

21:4021:40, 20 June 2012 diff hist +3,140 WG211/M11Schedule →Talks
21:1321:13, 20 June 2012 diff hist +647 WG211/M11Schedule →Getting to the venue
21:0821:08, 20 June 2012 diff hist +38 N File:Map to Halmstad University.pdf Map for walking to Halmstad University current
21:0821:08, 20 June 2012 diff hist +649 WG211/M11Schedule No edit summary
13:0013: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
13:0013:00, 20 June 2012 diff hist +62 WG211/M11Schedule →Talks

21:0221:02, 12 June 2012 diff hist +209 WG211/M11Schedule →Talks
13:1513:15, 12 June 2012 diff hist −3 WG211/M11Brady No edit summary current
13:1513: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,..."

16:1216: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
16:1116:11, 7 June 2012 diff hist +130 WG211/M11Schedule →Talks
09:0509: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
09:0409:04, 7 June 2012 diff hist +9 WG211/M11Schedule →Talks

21:2621:26, 6 June 2012 diff hist 0 WG211/M11Schedule →Talks
21:2621:26, 6 June 2012 diff hist 0 WG211/Inoue No edit summary current
21:2521: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..."
21:2421:24, 6 June 2012 diff hist +67 WG211/M11Schedule →Talks
21:2321:23, 6 June 2012 diff hist +11 WG211/M11Schedule →Attendees
21:2221:22, 6 June 2012 diff hist −32 WG211/M11Lawall No edit summary current
21:2221: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..."
21:2121:21, 6 June 2012 diff hist +104 WG211/M11Schedule →Talks

Navigation menu