User contributions for Paul
From WG 2.11
Jump to navigationJump to search
16 July 2017
- 02:3102:31, 16 July 2017 diff hist +85 m WG211/M17Schedule →Talks
- 02:2902:29, 16 July 2017 diff hist +4 m WG211/M17Kelly Domain-specific optimisation of finite-element integration loops – and what we learned current
- 02:2802:28, 16 July 2017 diff hist +1,536 N WG211/M17Kelly Domain-specific optimisation of finite-element integration loops – and what we learned
10 November 2015
- 00:3700:37, 10 November 2015 diff hist +1,750 N WG211/M15Nardi Created page with "Title: Vertically-integrated exploration of algorithmic and implementation design spaces in 3D scene understanding Speaker: Luigi Nardi ([http://wp.doc.ic.ac.uk/lnardi/]) Abst..." current
- 00:3400:34, 10 November 2015 diff hist +142 WG211/M15Schedule →Talks
9 November 2015
4 November 2015
- 22:0422:04, 4 November 2015 diff hist +1,226 WG211/M15Schedule →Schedule
- 21:2921:29, 4 November 2015 diff hist +118 WG211/M15Schedule →Travel
- 21:2621:26, 4 November 2015 diff hist +202 WG211/M15Schedule →Venue
- 21:2321:23, 4 November 2015 diff hist +150 WG211/M15Schedule →November 9-12, 2015, London, England
- 21:1021:10, 4 November 2015 diff hist 0 WG211/M15Schedule →Excursion
29 October 2015
- 21:5621:56, 29 October 2015 diff hist −2 WG211/M15YoshidaNg No edit summary current
- 21:5521:55, 29 October 2015 diff hist +1,072 N WG211/M15YoshidaNg Created page with "Protocols by Default: Safe MPI Code Generation based on Session Types [https://www.doc.ic.ac.uk/~cn06/ | Nicholas Ng] and [http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/ | Nobuk..."
- 21:5321:53, 29 October 2015 diff hist +111 WG211/M15Schedule →Talks
22 October 2015
- 13:4413:44, 22 October 2015 diff hist +2 WG211/M15Schedule →Excursion
- 13:4313:43, 22 October 2015 diff hist +200 WG211/M15Schedule →Excursion
- 13:3813:38, 22 October 2015 diff hist −144 WG211/M15Schedule →Talks and Schedule
- 13:3713:37, 22 October 2015 diff hist +142 WG211/M15Schedule →Talks and Schedule
- 13:2313:23, 22 October 2015 diff hist +1,579 N WG211/M15Wiklicky Created page with "On Framework for Quantitative Program Synthesis Arguably most work on the problem of program synthesis is based on various models based in discrete structures, e.g. related to ..." current
- 13:2213:22, 22 October 2015 diff hist +74 WG211/M15Schedule →Talks and Schedule
17 October 2015
- 15:4015:40, 17 October 2015 diff hist +2,313 N WG211/M15Donaldson Created page with "Title: Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler Alastair Donaldson, leader of Imperial's Multicore Programming Group ([h..." current
- 15:3615:36, 17 October 2015 diff hist +144 WG211/M15Schedule →Talks and Schedule
6 October 2015
- 11:2011:20, 6 October 2015 diff hist +1,168 N WG211/M15Kelly Created page with "Domain-specific performance optimisations (DSOs) can prove extremely profitable. My group at Imperial has worked on six or seven DSO different projects, mostly in computational s..." current
- 11:1911:19, 6 October 2015 diff hist +111 WG211/M15Schedule →Talks and Schedule
- 11:1511:15, 6 October 2015 diff hist +88 WG211/M15Schedule →Registration
- 11:1011:10, 6 October 2015 diff hist −82 WG211/M15Schedule →Venue
26 August 2015
- 11:5311:53, 26 August 2015 diff hist +206 WG211/M15Schedule →Travel
- 11:4411:44, 26 August 2015 diff hist +561 WG211/M15Schedule →Accommodation
