User contributions for Eric

19 July 2017

• 17:4617:46, 19 July 2017 diff hist 0 N File:M17Oliveira-Slides.pdf No edit summary current
• 17:4617:46, 19 July 2017 diff hist +46 WG211/M17Schedule →Talks
• 17:4217:42, 19 July 2017 diff hist 0 N File:M17Marr-Slides.pdf No edit summary current
• 12:4712:47, 19 July 2017 diff hist +54 WG211/M17Schedule →Program / schedule
• 11:1011:10, 19 July 2017 diff hist −33 WG211/M17Schedule →Program / schedule

18 July 2017

• 13:5413:54, 18 July 2017 diff hist +41 WG211/M17Schedule →Talks

17 July 2017

• 06:2806:28, 17 July 2017 diff hist +111 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting

16 July 2017

• 22:2522:25, 16 July 2017 diff hist +8 WG211/M17Schedule →Scientific program
• 22:2422:24, 16 July 2017 diff hist +1,385 WG211/M17Schedule →Scientific program

11 July 2017

• 00:2100:21, 11 July 2017 diff hist −18 WG211/M17Schedule →Scientific program

3 July 2017

• 03:4603:46, 3 July 2017 diff hist +40 WG211/M17Schedule →Talks

2 July 2017

• 22:4622:46, 2 July 2017 diff hist +732 N WG211/M17SolarLezama Created page with "Type system support for template based synthesis - Armando Solar-Lezama Recent work has proposed a promising approach to improving scalability of program synthesis by allowi..." current
• 22:4522:45, 2 July 2017 diff hist +123 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting

28 June 2017

• 21:0321:03, 28 June 2017 diff hist +644 N WG211/M17Kameyama Created page with "Environment Classifiers, Revisited. - Yukiyoshi Kameyama The classic problem of multi-stage programming -- how to ensure static safety (type safety and scope safety) for gen..." current
• 21:0321:03, 28 June 2017 diff hist +82 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting
• 16:4116:41, 28 June 2017 diff hist +1,327 N WG211/M17Steimann Created page with "Transactional Editing: Giving ACID to Programmers - Friedrich Steimann Collaborative programming today mostly relies on version control systems such as Subversion or Git. Lo..." current
• 16:4016:40, 28 June 2017 diff hist +96 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting
• 16:3516:35, 28 June 2017 diff hist +635 N WG211/M17Yallop Created page with "Staged Generic Programming - Jeremy Yallop Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce..." current
• 16:3516:35, 28 June 2017 diff hist +183 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting
• 04:4604:46, 28 June 2017 diff hist +1,942 N WG211/M17Zaytsev Created page with "Succeeding at Impossible Industrial Projects with Generative Technologies - Vadim Zaytsev In practice, it is not trivial to motivate the use of program generation techniques..." current
• 04:4604:46, 28 June 2017 diff hist +114 WG211/M17Schedule →Talks

27 June 2017

• 14:4014:40, 27 June 2017 diff hist +12 WG211/M17Schedule →Attendance

26 June 2017

• 19:4219:42, 26 June 2017 diff hist +1,660 N WG211/M17Smaragdakis Created page with "Stream Fusion, to Completeness Yannis Smaragdakis Stream processing is mainstream (again): Widely-used stream libraries are now available for virtually all modern OO and fun..." current

20 June 2017

• 04:4304:43, 20 June 2017 diff hist +58 WG211/M17Schedule →Talks
• 04:4204:42, 20 June 2017 diff hist +15 WG211/M17Schedule →Attendance

18 June 2017

• 01:0101:01, 18 June 2017 diff hist +1,471 N WG211/M17Marr Created page with "Stefan Marr Kómpos: A Concurrency-Agnostic Debugger An Example for Domain-Specific Live Debugging Today's complex software systems combine high-level concurrency models, w..." current
• 01:0001:00, 18 June 2017 diff hist +1,302 N WG211/M17Amin Created page with "Nada Amin Collapsing Towers of Interpreters Abstract: Given a tower of interpreters, i.e. a sequence of interpreters interpreting each other, we aim to collapse this tower i..." current
• 00:5900:59, 18 June 2017 diff hist +192 WG211/M17Schedule →Talks

13 June 2017

• 05:3605:36, 13 June 2017 diff hist +851 N WG211/M17VanWyk Created page with "Extensible and Composable Type Qualifiers in AbleC - Eric Van Wyk In this talk I will describe recent work on type qualifiers in our extensible compiler framework for C, abl..." current
• 05:2705:27, 13 June 2017 diff hist +89 WG211/M17Schedule →Talks

16 January 2017

• 19:5519:55, 16 January 2017 diff hist −2,326 Main Page →Current Members
• 19:5419:54, 16 January 2017 diff hist +2,242 Main Page →Current Members

10 December 2016

• 20:2420:24, 10 December 2016 diff hist +73 Main Page →Past Activity
• 20:2120:21, 10 December 2016 diff hist +1,129 N WG211/M17Schedule Created page with "=IFIP Working Group 2.11, Seventeenth Meeting= '''THIS PAGE IS INCOMPLETE. EXPECT IT TO BE COMPLETED SOON.''' == July 17-20, 2017 in Koblenz, Germany. == The meeting will..."
• 20:1420:14, 10 December 2016 diff hist −8 Main Page →Current Activity

30 August 2016

• 04:5304:53, 30 August 2016 diff hist 0 N File:M16VanWyk.pdf No edit summary current
• 04:5204:52, 30 August 2016 diff hist +39 WG211/M16Schedule →Talks
• 04:4904:49, 30 August 2016 diff hist +2 WG211/M16Schedule →IFIP Working Group 2.11, Sixteenth Meeting
• 04:4804:48, 30 August 2016 diff hist 0 N File:M16Narayanan.pdf No edit summary current
• 04:4804:48, 30 August 2016 diff hist +41 WG211/M16Schedule →Talks

28 August 2016

• 23:4123:41, 28 August 2016 diff hist 0 N File:M16Newton.pdf No edit summary current
• 23:4123:41, 28 August 2016 diff hist +62 WG211/M16Schedule →Talks

25 August 2016

• 00:4000:40, 25 August 2016 diff hist −2 WG211/M16Schedule →Talks
• 00:3700:37, 25 August 2016 diff hist 0 N File:M16Gibbons-Slides.pdf No edit summary current
• 00:3500:35, 25 August 2016 diff hist +46 WG211/M16Schedule →Talks

23 August 2016

• 23:0523:05, 23 August 2016 diff hist +38 WG211/M16Schedule →Talks
• 23:0523:05, 23 August 2016 diff hist 0 N File:M16Hammond.pdf No edit summary current
• 22:4622:46, 23 August 2016 diff hist 0 N File:M16Lawall.pdf No edit summary current
• 22:4622:46, 23 August 2016 diff hist +36 WG211/M16Schedule →Talks
• 19:5019:50, 23 August 2016 diff hist +1 WG211/M16Schedule →Schedule