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
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
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
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