User contributions for Eric

6 February 2015

• 16:5816:58, 6 February 2015 diff hist +68 WG211/M14Schedule →Talks and Schedule current

1 February 2015

• 21:1621:16, 1 February 2015 diff hist 0 WG211/M14Schedule →Talks and Schedule
• 21:1521:15, 1 February 2015 diff hist +44 WG211/M14Schedule →Talks and Schedule
• 21:1521:15, 1 February 2015 diff hist 0 N File:M14Schaefer-Slides.pdf No edit summary current

26 January 2015

• 18:2518:25, 26 January 2015 diff hist +80 WG211/M14Schedule →Talks and Schedule
• 18:2418:24, 26 January 2015 diff hist 0 N File:M14Taha-Slides.pdf No edit summary current
• 18:2318:23, 26 January 2015 diff hist 0 N File:M14Lawall-Slides.pdf No edit summary current
• 02:2102:21, 26 January 2015 diff hist +6 WG211/M14Schedule →Talks and Schedule
• 02:1902:19, 26 January 2015 diff hist +36 WG211/M14Schedule →Talks and Schedule
• 02:1802:18, 26 January 2015 diff hist 0 N File:M14Fischer-Slides.pdf No edit summary current

21 January 2015

• 23:5823:58, 21 January 2015 diff hist 0 WG211/M14Schedule →Talks and Schedule
• 23:5623:56, 21 January 2015 diff hist +41 WG211/M14Schedule →Talks and Schedule
• 23:5523:55, 21 January 2015 diff hist 0 N File:M14VanWyk-slides.pdf No edit summary current
• 17:4217:42, 21 January 2015 diff hist +41 WG211/M14Schedule →Talks and Schedule
• 17:4017:40, 21 January 2015 diff hist 0 N File:M14Blazy-Slides.pdf No edit summary current

20 January 2015

• 00:0700:07, 20 January 2015 diff hist 0 WG211/M14Schedule →Talks and Schedule
• 00:0700:07, 20 January 2015 diff hist −167 WG211/M14Schedule →Talks and Schedule

19 January 2015

• 23:2823: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
• 23:2823:28, 19 January 2015 diff hist +38 WG211/M14Schedule →Talks and Schedule
• 23:2723: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..."
• 23:2623:26, 19 January 2015 diff hist −10 WG211/M14Schedule →Talks and Schedule
• 23:2523:25, 19 January 2015 diff hist −23 WG211/M14Schedule →Attendance
• 23:2323: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
• 23:1923:19, 19 January 2015 diff hist +71 WG211/M14Schedule →Talks and Schedule

15 January 2015

• 22:3022: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
• 22:3022:30, 15 January 2015 diff hist +15 WG211/M14Schedule →Talks and Schedule

14 January 2015

• 22:4922:49, 14 January 2015 diff hist 0 Main Page →Current Members
• 22:2822:28, 14 January 2015 diff hist −47 WG211/M14Schedule →Talks and Schedule

12 January 2015

• 17:0717:07, 12 January 2015 diff hist +72 WG211/M14Puschel No edit summary current
• 17:0617: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..."
• 17:0517:05, 12 January 2015 diff hist +113 WG211/M14Schedule →IFIP Working Group 2.11, Fourteenth Meeting

8 January 2015

• 01:4701: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
• 01:4501: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
• 01:4501:45, 8 January 2015 diff hist +82 WG211/M14Schedule →Talks and Schedule

7 January 2015

• 17:3117: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
• 17:3117:31, 7 January 2015 diff hist +78 WG211/M14Schedule →Talks and Schedule

6 January 2015

• 22:3022:30, 6 January 2015 diff hist +78 WG211/M14Schedule →Talks and Schedule
• 20:0120:01, 6 January 2015 diff hist +95 WG211/M14Schedule →Talks and Schedule
• 19:1919: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
• 19:1819:18, 6 January 2015 diff hist +34 WG211/M14Schedule →Talks and Schedule

30 December 2014

• 03:4703: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
• 03:4603:46, 30 December 2014 diff hist +23 WG211/M14Schedule →Excursion
• 03:4503:45, 30 December 2014 diff hist +145 WG211/M14Schedule →Talks and Schedule

18 December 2014

• 19:2319:23, 18 December 2014 diff hist +14 WG211/M14Schedule →Excursion
• 19:2319:23, 18 December 2014 diff hist +122 WG211/M14Schedule →Talks and Schedule

16 December 2014

• 16:5416: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
• 16:5416:54, 16 December 2014 diff hist −8 WG211/M14Schedule →Talks and Schedule

15 December 2014

• 01:3701:37, 15 December 2014 diff hist +633 WG211/M14Schedule →Talks

9 November 2014

• 01:1901:19, 9 November 2014 diff hist +14 WG211/M14Schedule →Excursion

3 November 2014

• 00:4400:44, 3 November 2014 diff hist +6 Main Page →Current Members