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 Eric
From WG 2.11
Jump to navigationJump to search
26 January 2015
- 17:2317:23, 26 January 2015 diff hist 0 N File:M14Lawall-Slides.pdf No edit summary current
- 01:2101:21, 26 January 2015 diff hist +6 WG211/M14Schedule →Talks and Schedule
- 01:1901:19, 26 January 2015 diff hist +36 WG211/M14Schedule →Talks and Schedule
- 01:1801:18, 26 January 2015 diff hist 0 N File:M14Fischer-Slides.pdf No edit summary current
21 January 2015
- 22:5822:58, 21 January 2015 diff hist 0 WG211/M14Schedule →Talks and Schedule
- 22:5622:56, 21 January 2015 diff hist +41 WG211/M14Schedule →Talks and Schedule
- 22:5522:55, 21 January 2015 diff hist 0 N File:M14VanWyk-slides.pdf No edit summary current
- 16:4216:42, 21 January 2015 diff hist +41 WG211/M14Schedule →Talks and Schedule
- 16:4016:40, 21 January 2015 diff hist 0 N File:M14Blazy-Slides.pdf No edit summary current
19 January 2015
- 23:0723:07, 19 January 2015 diff hist 0 WG211/M14Schedule →Talks and Schedule
- 23:0723:07, 19 January 2015 diff hist −167 WG211/M14Schedule →Talks and Schedule
- 22:2822:28, 19 January 2015 diff hist +598 N WG211/M14Romph Created page with "Commercial and open source database systems consist of millions of lines of highly optimized C code. Yet, their performance on individual queries falls 10x or 100x short of what ..." current
- 22:2822:28, 19 January 2015 diff hist +38 WG211/M14Schedule →Talks and Schedule
- 22:2722:27, 19 January 2015 diff hist +864 N WG211/M14Smaragdakis Created page with "We propose DelphJ: a Java-based OO language that eschews inheritance completely, in favor of a combination of class morphing and (deep) delegation. Compared to past delegation ap..."
- 22:2622:26, 19 January 2015 diff hist −10 WG211/M14Schedule →Talks and Schedule
- 22:2522:25, 19 January 2015 diff hist −23 WG211/M14Schedule →Attendance
- 22:2322:23, 19 January 2015 diff hist +1,199 N WG211/M14Lawall Created page with "Increasing Automation in the Backporting of Linux Drivers Using Coccinelle Luis R. Rodriguez, Suse Labs Julia Lawall, Inria/LIP6/UPMC/Sorbonne University Software is continuall..." current
- 22:1922:19, 19 January 2015 diff hist +71 WG211/M14Schedule →Talks and Schedule
15 January 2015
- 21:3021:30, 15 January 2015 diff hist +281 N WG211/M14Taha Created page with "Title: Rigorous Simulation Abstract: We motivate the vision named in the title, and explain how it relates to program generation. We report on our progress towards this vision..." current
- 21:3021:30, 15 January 2015 diff hist +15 WG211/M14Schedule →Talks and Schedule
14 January 2015
- 21:4921:49, 14 January 2015 diff hist 0 Main Page →Current Members
- 21:2821:28, 14 January 2015 diff hist −47 WG211/M14Schedule →Talks and Schedule
12 January 2015
- 16:0716:07, 12 January 2015 diff hist +72 WG211/M14Puschel No edit summary current
- 16:0616:06, 12 January 2015 diff hist +1,806 N WG211/M14Puschel Created page with "Raising the level of abstraction is a key concern of software engineering, and libraries (either used directly or as a target of a program generation system) are a successful tec..."
- 16:0516:05, 12 January 2015 diff hist +113 WG211/M14Schedule →IFIP Working Group 2.11, Fourteenth Meeting
8 January 2015
- 00:4700:47, 8 January 2015 diff hist +1,154 N WG211/M14Pepper Created page with "Title: Derivation of program families and its application to concurrent garbage collectors. Abstract: A powerful methodology for developing whole families of programs consists i..." current
- 00:4500:45, 8 January 2015 diff hist +743 N WG211/M14Watson Created page with "I will present the design and implementation of SPARE TIME as an example of taxonomy-based software construction (TABASCO). SPARE TIME is a C++ toolkit for keyword pattern matchi..." current
- 00:4500:45, 8 January 2015 diff hist +82 WG211/M14Schedule →Talks and Schedule
7 January 2015
- 16:3116:31, 7 January 2015 diff hist +579 N WG211/M14Blazy Created page with "Static analysis – the automatic determination of simple properties of a program – is the basis both for optimizing compilation and for verification of safety properties such ..." current
- 16:3116:31, 7 January 2015 diff hist +78 WG211/M14Schedule →Talks and Schedule
6 January 2015
- 21:3021:30, 6 January 2015 diff hist +78 WG211/M14Schedule →Talks and Schedule
- 19:0119:01, 6 January 2015 diff hist +95 WG211/M14Schedule →Talks and Schedule
- 18:1918:19, 6 January 2015 diff hist +918 N WG211/M14VanWyk Created page with "Origin tracking is a technique for relating the output of a transformation back to its input. In term rewriting systems, where this notion was developed, it relates subtrees in ..." current
- 18:1818:18, 6 January 2015 diff hist +34 WG211/M14Schedule →Talks and Schedule
30 December 2014
- 02:4702:47, 30 December 2014 diff hist +982 N WG211/M14Reichenbach Created page with "A Domain-Specific Language for Extending PQL/Java (joint work with Hilmar Ackermann, Christian Müller, and Yannis Smaragdakis) Abstract: PQL/Java is a compact but powerful decl..." current
- 02:4602:46, 30 December 2014 diff hist +23 WG211/M14Schedule →Excursion
- 02:4502:45, 30 December 2014 diff hist +145 WG211/M14Schedule →Talks and Schedule
18 December 2014
- 18:2318:23, 18 December 2014 diff hist +14 WG211/M14Schedule →Excursion
- 18:2318:23, 18 December 2014 diff hist +122 WG211/M14Schedule →Talks and Schedule
16 December 2014
- 15:5415:54, 16 December 2014 diff hist +1,072 N WG211/M14Visser Created page with "We describe a language-independent theory for name binding and resolution, suitable for programming languages with complex scoping rules including both lexical scoping and module..." current
- 15:5415:54, 16 December 2014 diff hist −8 WG211/M14Schedule →Talks and Schedule
15 December 2014
- 00:3700:37, 15 December 2014 diff hist +633 WG211/M14Schedule →Talks
9 November 2014
2 November 2014
- 23:4423:44, 2 November 2014 diff hist +6 Main Page →Current Members
- 20:5620:56, 2 November 2014 diff hist 0 Main Page →Current Members
- 20:3520:35, 2 November 2014 diff hist −161 Main Page →Current Members
27 October 2014
- 20:4720:47, 27 October 2014 diff hist +50 WG211/M14Schedule →Attendance
- 20:3620:36, 27 October 2014 diff hist +110 Main Page →Related events