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
6 March 2014
- 19:1419:14, 6 March 2014 diff hist +109 WG211/M13Schedule →Talks
24 February 2014
- 23:3323:33, 24 February 2014 diff hist +52 WG211/M13Schedule →Sharing a taxi from the airport to the hotel
- 23:3323:33, 24 February 2014 diff hist −51 WG211/M13Schedule →Sharing a taxi from the hotel or university to the airport
17 February 2014
- 01:2701:27, 17 February 2014 diff hist +25 WG211/M13Blazy No edit summary current
- 01:2701:27, 17 February 2014 diff hist +1,022 N WG211/M13Blazy Created page with "Compilers are complicated pieces of software that sometimes contain bugs causing wrong executable code to be silently generated from correct source programs. In turn, this possib..."
- 01:2601:26, 17 February 2014 diff hist +99 WG211/M13Schedule →Talks
14 February 2014
- 23:3123:31, 14 February 2014 diff hist +51 WG211/M13Schedule →Sharing a taxi from the hotel or university to the airport
- 23:3023:30, 14 February 2014 diff hist 0 WG211/M13Schedule →Talks
- 23:3023:30, 14 February 2014 diff hist +41 WG211/M13Schedule →Talks
- 22:1922:19, 14 February 2014 diff hist +1,102 N WG211/M13Franchetti Created page with "High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification In this talk we introduce “High Assurance SPIRAL” to solve the “last mile” p..." current
9 February 2014
29 January 2014
- 01:2101:21, 29 January 2014 diff hist +645 N WG211/M13Hammond Created page with "Talk title: Using Dependent Types for Parallel Programming Abstract: In this talk I will introduce a new approach to capture parallelism information directly in the type of a pr..." current
- 01:2001:20, 29 January 2014 diff hist +86 WG211/M13Schedule →Talks
31 December 2013
- 01:4901:49, 31 December 2013 diff hist +471 N WG211/M13Mousavi Created page with "After a general introduction to my research interests and ongoing research projects, I present an overview of our recent experience within the Allegio project, in which a Domain..." current
- 01:4801:48, 31 December 2013 diff hist +115 WG211/M13Schedule →Talks
24 December 2013
- 21:0321:03, 24 December 2013 diff hist +6 Main Page →Current Members
- 21:0121:01, 24 December 2013 diff hist +65 Main Page →Current Members
11 September 2013
- 23:0823:08, 11 September 2013 diff hist +22 WG211/M13Schedule →Attendees
- 21:3121:31, 11 September 2013 diff hist +22 WG211/M13Schedule →Attendees
10 September 2013
19 August 2013
17 July 2013
- 18:2318:23, 17 July 2013 diff hist −2 WG211/M11Schedule →Talks current
- 18:2318:23, 17 July 2013 diff hist 0 N File:M11 vanwyk v2.pdf No edit summary current
8 July 2013
- 11:2011:20, 8 July 2013 diff hist +73 WG211/M12Schedule →Talks
- 11:1911:19, 8 July 2013 diff hist 0 N File:M12 schultz.pdf No edit summary current
- 11:1811:18, 8 July 2013 diff hist 0 N File:M12 rhiger.pdf No edit summary current
22 June 2013
- 20:4320:43, 22 June 2013 diff hist +15 WG211/M12Schedule →Talks
- 20:4320:43, 22 June 2013 diff hist 0 N File:M12 erwig.pdf No edit summary current
20 June 2013
19 June 2013
- 21:0221:02, 19 June 2013 diff hist +227 WG211/M12Schedule →Talks
- 21:0021:00, 19 June 2013 diff hist 0 N File:M12 smaragdakis.pdf No edit summary current
- 21:0021:00, 19 June 2013 diff hist 0 N File:M12 scholz.pdf No edit summary current
- 21:0021:00, 19 June 2013 diff hist 0 N File:M12 schaefer.pdf No edit summary current
- 20:5920:59, 19 June 2013 diff hist 0 N File:M12 mosses.pdf No edit summary current
- 20:5920:59, 19 June 2013 diff hist 0 N File:M12 lengauer.pdf No edit summary current
- 20:5920:59, 19 June 2013 diff hist 0 N File:M12 carette.pdf No edit summary current
- 20:5320:53, 19 June 2013 diff hist +2 WG211/M12Schedule →Talks
- 20:5220:52, 19 June 2013 diff hist +34 WG211/M12Schedule →Talks
- 20:5220:52, 19 June 2013 diff hist 0 N File:M12 vanwyk.pdf No edit summary current
8 June 2013
6 June 2013
3 June 2013
- 20:1520:15, 3 June 2013 diff hist +14 WG211/M12Schedule →Overall schedule
- 20:0720:07, 3 June 2013 diff hist +191 WG211/M12Schedule →Overall schedule
1 June 2013
- 01:0101:01, 1 June 2013 diff hist +25 WG211/M12Schedule →Talks
- 01:0001:00, 1 June 2013 diff hist +969 N WG211/M12Wyk Created page with "Debugging Attribute Grammar Specifications Debugging attributes grammar specifications is a challenge since the order in which attribute equations are evaluated is not always in..." current
30 May 2013
- 15:0415:04, 30 May 2013 diff hist +130 WG211/M12Schedule →Travel
- 00:1200:12, 30 May 2013 diff hist +305 WG211/M12Schedule →Overall schedule
