User contributions for Eric

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

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

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

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

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

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

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

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

Navigation menu