User contributions for Eric

29 January 2016

• 00:3500:35, 29 January 2016 diff hist +118 Main Page →Related events
• 00:2900:29, 29 January 2016 diff hist −5 Main Page →Current Activity
• 00:2900:29, 29 January 2016 diff hist −2,501 Main Page →Current Members
• 00:2600:26, 29 January 2016 diff hist +2,255 Main Page →Current Members

14 November 2015

• 18:1718:17, 14 November 2015 diff hist +46 WG211/M15Schedule →Talks
• 18:1718:17, 14 November 2015 diff hist 0 N File:M15Grebhahn-Slides.pdf No edit summary current

13 November 2015

• 01:4101:41, 13 November 2015 diff hist +47 WG211/M15Schedule →Talks
• 01:4101:41, 13 November 2015 diff hist 0 N File:M15Kobayashi-Slides.pdf No edit summary current
• 01:3601:36, 13 November 2015 diff hist 0 N File:M15Tratt-Slides.pdf No edit summary current
• 01:3501:35, 13 November 2015 diff hist +43 WG211/M15Schedule →Talks
• 01:3201:32, 13 November 2015 diff hist +46 WG211/M15Schedule →Talks
• 01:3101:31, 13 November 2015 diff hist 0 N File:M15Lengauer-Slides.pdf No edit summary current

12 November 2015

• 01:4101:41, 12 November 2015 diff hist −34 WG211/M15Schedule →Talks
• 01:4001:40, 12 November 2015 diff hist 0 N File:M15Reichenbach-Slides.pdf No edit summary current
• 01:3801:38, 12 November 2015 diff hist +44 WG211/M15Schedule →Talks
• 01:3701:37, 12 November 2015 diff hist 0 N File:M15Gibbons-Slides.pdf No edit summary current

28 October 2015

• 23:2823:28, 28 October 2015 diff hist +30 WG211/M15Schedule →Attendance
• 17:0417:04, 28 October 2015 diff hist −4,394 WG211/M15Grebhahn No edit summary current
• 17:0317: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 ..."
• 14:5014:50, 28 October 2015 diff hist +88 WG211/M15Schedule →Talks

26 October 2015

• 03:4403: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
• 03:4303:43, 26 October 2015 diff hist +203 WG211/M15Schedule →Talks

19 October 2015

• 19:5619:56, 19 October 2015 diff hist +36 WG211/M15Schedule →Attendance

18 October 2015

• 22:4922:49, 18 October 2015 diff hist −57 WG211/M15Schedule →IFIP Working Group 2.11, Fifteenth Meeting
• 22:4722:47, 18 October 2015 diff hist +147 WG211/M15Schedule →IFIP Working Group 2.11, Fifteenth Meeting

9 October 2015

• 05:2305:23, 9 October 2015 diff hist +109 WG211/M15Schedule →IFIP Working Group 2.11, Fifteenth Meeting

21 September 2015

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

16 September 2015

• 15:3015:30, 16 September 2015 diff hist +38 WG211/M15Schedule →Talks and Schedule
• 15:2915:29, 16 September 2015 diff hist +13 WG211/M15Schedule →Attendance

7 September 2015

• 17:1117: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
• 17:1017:10, 7 September 2015 diff hist +76 WG211/M15Schedule →Talks and Schedule
• 17:0917:09, 7 September 2015 diff hist 0 WG211/M15Schedule →Attendance

3 September 2015

• 05:0105:01, 3 September 2015 diff hist +3 WG211/M15Kobayashi No edit summary current
• 04:5904:59, 3 September 2015 diff hist +72 N WG211/M15Kobayashi Created page with "''Higher-order model checking and program verification'' Naoki Kobayashi"
• 04:5904:59, 3 September 2015 diff hist −2 WG211/M15Schedule →Talks and Schedule
• 04:5904:59, 3 September 2015 diff hist +98 WG211/M15Schedule →Talks and Schedule

1 September 2015

• 13:5113: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
• 13:4913:49, 1 September 2015 diff hist +72 WG211/M15Schedule →Talks and Schedule

31 August 2015

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

30 August 2015

• 17:1417:14, 30 August 2015 diff hist +15 WG211/M15Schedule →IFIP Working Group 2.11, Fifteenth Meeting
• 17:1017:10, 30 August 2015 diff hist +16 WG211/M15Schedule →Attendance

27 August 2015

• 19:1619:16, 27 August 2015 diff hist −7 Main Page →Current Members
• 19:1319:13, 27 August 2015 diff hist +4 Main Page →Current Members

7 July 2015

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

19 April 2015

• 03:4503:45, 19 April 2015 diff hist −1 WG211/M15Schedule →IFIP Working Group 2.11, Fourteenth Meeting

16 April 2015

• 14:0014: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..."
• 13:5213:52, 16 April 2015 diff hist +3 Main Page →Program Generation (WG 2.11)

19 March 2015

• 04:0404:04, 19 March 2015 diff hist +4 Main Page →Current Members
• 04:0204:02, 19 March 2015 diff hist +1 Main Page →Current Members

14 March 2015

• 20:4420:44, 14 March 2015 diff hist +236 Main Page →Current Members