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
13 November 2015
- 00:4100:41, 13 November 2015 diff hist +47 WG211/M15Schedule →Talks
- 00:4100:41, 13 November 2015 diff hist 0 N File:M15Kobayashi-Slides.pdf No edit summary current
- 00:3600:36, 13 November 2015 diff hist 0 N File:M15Tratt-Slides.pdf No edit summary current
- 00:3500:35, 13 November 2015 diff hist +43 WG211/M15Schedule →Talks
- 00:3200:32, 13 November 2015 diff hist +46 WG211/M15Schedule →Talks
- 00:3100:31, 13 November 2015 diff hist 0 N File:M15Lengauer-Slides.pdf No edit summary current
12 November 2015
- 00:4100:41, 12 November 2015 diff hist −34 WG211/M15Schedule →Talks
- 00:4000:40, 12 November 2015 diff hist 0 N File:M15Reichenbach-Slides.pdf No edit summary current
- 00:3800:38, 12 November 2015 diff hist +44 WG211/M15Schedule →Talks
- 00:3700:37, 12 November 2015 diff hist 0 N File:M15Gibbons-Slides.pdf No edit summary current
28 October 2015
- 22:2822:28, 28 October 2015 diff hist +30 WG211/M15Schedule →Attendance
- 16:0416:04, 28 October 2015 diff hist −4,394 WG211/M15Grebhahn No edit summary current
- 16:0316:03, 28 October 2015 diff hist +6,121 N WG211/M15Grebhahn Created page with " Conversation opened. 17 messages. 1 message unread. Skip to content Using University of Minnesota Mail with screen readers Eric You are invisible. Go visible Gopalan Nadathur ..."
- 13:5013:50, 28 October 2015 diff hist +88 WG211/M15Schedule →Talks
26 October 2015
- 02:4402:44, 26 October 2015 diff hist +848 N WG22/M15SolarLezama Created page with "Interactive derivation of provably correct divide-and-conquer dynamic programming implementations In this talk I will describe a new approach to deductive synthesis based on 'so..." current
- 02:4302:43, 26 October 2015 diff hist +203 WG211/M15Schedule →Talks
19 October 2015
18 October 2015
- 21:4921:49, 18 October 2015 diff hist −57 WG211/M15Schedule →IFIP Working Group 2.11, Fifteenth Meeting
- 21:4721:47, 18 October 2015 diff hist +147 WG211/M15Schedule →IFIP Working Group 2.11, Fifteenth Meeting
9 October 2015
- 04:2304:23, 9 October 2015 diff hist +109 WG211/M15Schedule →IFIP Working Group 2.11, Fifteenth Meeting
21 September 2015
16 September 2015
- 14:3014:30, 16 September 2015 diff hist +38 WG211/M15Schedule →Talks and Schedule
- 14:2914:29, 16 September 2015 diff hist +13 WG211/M15Schedule →Attendance
7 September 2015
- 16:1116:11, 7 September 2015 diff hist +1,329 N WG211/M15Reichenbach Created page with "''Copy and Paste Redeemed'' by Christoph Reichenbach Software development and, especially, generative programming leverage abstractions as a means for re-using information. How..." current
- 16:1016:10, 7 September 2015 diff hist +76 WG211/M15Schedule →Talks and Schedule
- 16:0916:09, 7 September 2015 diff hist 0 WG211/M15Schedule →Attendance
3 September 2015
- 04:0104:01, 3 September 2015 diff hist +3 WG211/M15Kobayashi No edit summary current
- 03:5903:59, 3 September 2015 diff hist +72 N WG211/M15Kobayashi Created page with "''Higher-order model checking and program verification'' Naoki Kobayashi"
- 03:5903:59, 3 September 2015 diff hist −2 WG211/M15Schedule →Talks and Schedule
- 03:5903:59, 3 September 2015 diff hist +98 WG211/M15Schedule →Talks and Schedule
1 September 2015
- 12:5112:51, 1 September 2015 diff hist +710 N WG211/M15Tratt Created page with "''Fine-grained language composition'' by Laurence Tratt, Software Development Team, King's College London [http://soft-dev.org/] Although run-time language composition is common..." current
- 12:4912:49, 1 September 2015 diff hist +72 WG211/M15Schedule →Talks and Schedule
31 August 2015
30 August 2015
- 16:1416:14, 30 August 2015 diff hist +15 WG211/M15Schedule →IFIP Working Group 2.11, Fifteenth Meeting
- 16:1016:10, 30 August 2015 diff hist +16 WG211/M15Schedule →Attendance
27 August 2015
- 18:1618:16, 27 August 2015 diff hist −7 Main Page →Current Members
- 18:1318:13, 27 August 2015 diff hist +4 Main Page →Current Members
7 July 2015
19 April 2015
- 02:4502:45, 19 April 2015 diff hist −1 WG211/M15Schedule →IFIP Working Group 2.11, Fourteenth Meeting
16 April 2015
- 13:0013:00, 16 April 2015 diff hist +1,163 N WG211/M15Schedule Created page with "=IFIP Working Group 2.11, Fourteenth Meeting= ==November 9-12, 2015, London, England== The meeting will be held in London, England, hosted by Paul Kelly. ((PAUL: you can add a..."
- 12:5212:52, 16 April 2015 diff hist +3 Main Page →Program Generation (WG 2.11)
19 March 2015
- 03:0403:04, 19 March 2015 diff hist +4 Main Page →Current Members
- 03:0203:02, 19 March 2015 diff hist +1 Main Page →Current Members
14 March 2015
- 19:4419:44, 14 March 2015 diff hist +236 Main Page →Current Members
6 February 2015
- 15:5815:58, 6 February 2015 diff hist +68 WG211/M14Schedule →Talks and Schedule current
1 February 2015
- 20:1620:16, 1 February 2015 diff hist 0 WG211/M14Schedule →Talks and Schedule
- 20:1520:15, 1 February 2015 diff hist +44 WG211/M14Schedule →Talks and Schedule
- 20:1520:15, 1 February 2015 diff hist 0 N File:M14Schaefer-Slides.pdf No edit summary current
26 January 2015
- 17:2517:25, 26 January 2015 diff hist +80 WG211/M14Schedule →Talks and Schedule
- 17:2417:24, 26 January 2015 diff hist 0 N File:M14Taha-Slides.pdf No edit summary current