User contributions for Eric

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:5618:56, 19 October 2015 diff hist +36 WG211/M15Schedule →Attendance

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

• 00:0200:02, 21 September 2015 diff hist +20 WG211/M15Schedule →Attendance

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

• 02:5502:55, 31 August 2015 diff hist +17 WG211/M15Schedule →Attendance

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

• 15:3815:38, 7 July 2015 diff hist +5 Main Page →Current Members

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