User contributions for Eric

31 December 2017

• 21:1221:12, 31 December 2017 diff hist +52 Main Page →Current Members

28 November 2017

• 21:5821:58, 28 November 2017 diff hist −37 Main Page →Program Generation (WG 2.11)

25 August 2017

• 21:2121:21, 25 August 2017 diff hist +113 WG211/M18Schedule →IFIP Working Group 2.11, Eighteenth Meeting
• 21:2021:20, 25 August 2017 diff hist +783 N WG211/M18Schedule Created page with "=IFIP Working Group 2.11, Eighteenth Meeting= == June, 2018 in Kyoto, Japan. == The meeting will be held in Kyoto, Japap, hosted by Atsushi Igarashi. The meeting will last..."
• 21:1521:15, 25 August 2017 diff hist +80 Main Page →Current Activity

19 July 2017

• 16:5216:52, 19 July 2017 diff hist −1 WG211/M17Schedule →Scientific program
• 16:4616:46, 19 July 2017 diff hist 0 N File:M17Oliveira-Slides.pdf No edit summary current
• 16:4616:46, 19 July 2017 diff hist +46 WG211/M17Schedule →Talks
• 16:4216:42, 19 July 2017 diff hist 0 N File:M17Marr-Slides.pdf No edit summary current
• 11:4711:47, 19 July 2017 diff hist +54 WG211/M17Schedule →Program / schedule
• 10:1010:10, 19 July 2017 diff hist −33 WG211/M17Schedule →Program / schedule

18 July 2017

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

17 July 2017

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

16 July 2017

• 21:2521:25, 16 July 2017 diff hist +8 WG211/M17Schedule →Scientific program
• 21:2421:24, 16 July 2017 diff hist +1,385 WG211/M17Schedule →Scientific program

10 July 2017

• 23:2123:21, 10 July 2017 diff hist −18 WG211/M17Schedule →Scientific program

3 July 2017

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

2 July 2017

• 21:4621: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
• 21:4521:45, 2 July 2017 diff hist +123 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting

28 June 2017

• 20:0320: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
• 20:0320:03, 28 June 2017 diff hist +82 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting
• 15:4115: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
• 15:4015:40, 28 June 2017 diff hist +96 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting
• 15:3515: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
• 15:3515:35, 28 June 2017 diff hist +183 WG211/M17Schedule →IFIP Working Group 2.11, Seventeenth Meeting
• 03:4603: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
• 03:4603:46, 28 June 2017 diff hist +114 WG211/M17Schedule →Talks

27 June 2017

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

26 June 2017

• 18:4218: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

• 03:4303:43, 20 June 2017 diff hist +58 WG211/M17Schedule →Talks
• 03:4203:42, 20 June 2017 diff hist +15 WG211/M17Schedule →Attendance

18 June 2017

• 00:0100: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
• 00:0000: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

17 June 2017

• 23:5923:59, 17 June 2017 diff hist +192 WG211/M17Schedule →Talks

13 June 2017

• 04:3604: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
• 04:2704:27, 13 June 2017 diff hist +89 WG211/M17Schedule →Talks

16 January 2017

• 18:5518:55, 16 January 2017 diff hist −2,326 Main Page →Current Members
• 18:5418:54, 16 January 2017 diff hist +2,242 Main Page →Current Members

10 December 2016

• 19:2419:24, 10 December 2016 diff hist +73 Main Page →Past Activity
• 19:2119: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..."
• 19:1419:14, 10 December 2016 diff hist −8 Main Page →Current Activity

30 August 2016

• 03:5303:53, 30 August 2016 diff hist 0 N File:M16VanWyk.pdf No edit summary current
• 03:5203:52, 30 August 2016 diff hist +39 WG211/M16Schedule →Talks
• 03:4903:49, 30 August 2016 diff hist +2 WG211/M16Schedule →IFIP Working Group 2.11, Sixteenth Meeting
• 03:4803:48, 30 August 2016 diff hist 0 N File:M16Narayanan.pdf No edit summary current
• 03:4803:48, 30 August 2016 diff hist +41 WG211/M16Schedule →Talks

28 August 2016

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

24 August 2016

• 23:4023:40, 24 August 2016 diff hist −2 WG211/M16Schedule →Talks
• 23:3723:37, 24 August 2016 diff hist 0 N File:M16Gibbons-Slides.pdf No edit summary current