WG211/M16Schedule - Revision history

Jeremy-g: /* Talks */

2018-06-06T12:29:24Z

Talks

← Older revision		Revision as of 14:29, 6 June 2018
Line 53:		Line 53:
	Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]		Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]

	Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]] [[https://www.cs.ox.ac.uk/publications/publication10857-abstract.html \| (paper)]]		Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]] [https://www.cs.ox.ac.uk/publications/publication10857-abstract.html (paper)]

	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

Jeremy-g: /* Talks */

2018-06-06T12:28:17Z

Talks

← Older revision		Revision as of 14:28, 6 June 2018
Line 53:		Line 53:
	Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]		Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]

	Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]]		Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]] [[https://www.cs.ox.ac.uk/publications/publication10857-abstract.html \| (paper)]]

	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

Eric: /* Talks */

2016-08-30T02:52:17Z

Talks

← Older revision		Revision as of 04:52, 30 August 2016
Line 57:		Line 57:
	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

	Christian Kaester [[WG211/M16Kaestner \| How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems ]] [https://docs.google.com/presentation/d/1FpcdXDkSWxuoTmgIJjJjk7LsdZWzlB5MDMq72hdQL6E/edit?usp=sharing slides]		Christian Kaester [[WG211/M16Kaestner \| How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems ]] [https://docs.google.com/presentation/d/1FpcdXDkSWxuoTmgIJjJjk7LsdZWzlB5MDMq72hdQL6E/edit?usp=sharing (slides)]

	Oleg Kiselyov [[WG211/M16Kiselyov \| Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]		Oleg Kiselyov [[WG211/M16Kiselyov \| Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]
Line 79:		Line 79:
	Satnam Singh [[WG211/M16Singh \| Code Generation Challenges for Android Applications ]]		Satnam Singh [[WG211/M16Singh \| Code Generation Challenges for Android Applications ]]

	Eric Van Wyk [[WG211/M16VanWyk \| Language extensions for parallel programming: opportunities and challenges ]]		Eric Van Wyk [[WG211/M16VanWyk \| Language extensions for parallel programming: opportunities and challenges ]] [[Media:M16VanWyk.pdf \| (slides) ]]

	Eelco Visser [[WG211/M16Visser \| Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ]]		Eelco Visser [[WG211/M16Visser \| Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ]]

Eric: /* IFIP Working Group 2.11, Sixteenth Meeting */

2016-08-30T02:49:23Z

IFIP Working Group 2.11, Sixteenth Meeting

← Older revision		Revision as of 04:49, 30 August 2016
Line 57:		Line 57:
	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

	Christian Kaester [[WG211/M16Kaestner \| How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems ]]		Christian Kaester [[WG211/M16Kaestner \| How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems ]] [https://docs.google.com/presentation/d/1FpcdXDkSWxuoTmgIJjJjk7LsdZWzlB5MDMq72hdQL6E/edit?usp=sharing slides]

	Oleg Kiselyov [[WG211/M16Kiselyov \| Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]		Oleg Kiselyov [[WG211/M16Kiselyov \| Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]
Line 103:		Line 103:

	Tuesday August 23:		Tuesday August 23:
	* 8:30-9:15 Christian Kaestner ~~[https://docs.google.com/presentation/d/1FpcdXDkSWxuoTmgIJjJjk7LsdZWzlB5MDMq72hdQL6E/edit?usp=sharing slides]~~		* 8:30-9:15 Christian Kaestner
	* 9:15-10:00 Ryan Newton		* 9:15-10:00 Ryan Newton
	* 10:00-10:30 morning break with refreshments		* 10:00-10:30 morning break with refreshments

Eric: /* Talks */

2016-08-30T02:48:18Z

Talks

← Older revision		Revision as of 04:48, 30 August 2016
Line 65:		Line 65:
	Julia Lawall [[WG211/M16Lawall \| Prequel: A Patch-Like Query Language for Commit History Search]] [[Media:M16Lawall.pdf \| (slides) ]]		Julia Lawall [[WG211/M16Lawall \| Prequel: A Patch-Like Query Language for Commit History Search]] [[Media:M16Lawall.pdf \| (slides) ]]

	Praveen Narayanan [[WG211/M16PraveenNarayanan \| Disintegrating probabilistic programs with arrays ]]		Praveen Narayanan [[WG211/M16PraveenNarayanan \| Disintegrating probabilistic programs with arrays ]] [[Media:M16Narayanan.pdf \| (slides) ]]

	Ryan Newton [[ WG211/M16Newton \| Why is auto-tuning not composable? and other open problems ]] [[Media:M16Newton.pdf \| (slides) ]]		Ryan Newton [[ WG211/M16Newton \| Why is auto-tuning not composable? and other open problems ]] [[Media:M16Newton.pdf \| (slides) ]]

Eric: /* Talks */

2016-08-28T21:41:18Z

Talks

← Older revision		Revision as of 23:41, 28 August 2016
Line 67:		Line 67:
	Praveen Narayanan [[WG211/M16PraveenNarayanan \| Disintegrating probabilistic programs with arrays ]]		Praveen Narayanan [[WG211/M16PraveenNarayanan \| Disintegrating probabilistic programs with arrays ]]

	Ryan Newton [[ WG211/M16Newton \| Why is auto-tuning not composable? ]]		Ryan Newton [[ WG211/M16Newton \| Why is auto-tuning not composable? and other open problems ]] [[Media:M16Newton.pdf \| (slides) ]]

	Tiark Rompf [[WG211/M16SRomph \| LMS-Verify: Abstraction Without Regret for Verified Systems Programming]]		Tiark Rompf [[WG211/M16SRomph \| LMS-Verify: Abstraction Without Regret for Verified Systems Programming]]

Jacques: /* Talks */

2016-08-25T18:59:19Z

Talks

← Older revision		Revision as of 20:59, 25 August 2016
Line 45:		Line 45:
	Sandrine Blazy [[WG211/M16Blazy \| CompCert guarantees for low-level programs ]] [[Media:M16Blazy-Slides.pdf \| (slides) ]]		Sandrine Blazy [[WG211/M16Blazy \| CompCert guarantees for low-level programs ]] [[Media:M16Blazy-Slides.pdf \| (slides) ]]

	Edwin Brady [[WG211/M16Brady \| Concurrent programming with dependent types ~~]] [[Media:M16Carette-Slides.pdf \| (slides)~~ ]]		Edwin Brady [[WG211/M16Brady \| Concurrent programming with dependent types ]]

	Jacques Carette [[WG211/M16Carette \| Drasil: From generating code to generating software ]]		Jacques Carette [[WG211/M16Carette \| Drasil: From generating code to generating software ]] [[Media:M16Carette-Slides.pdf \| (slides) ]]

	Charles Consel [[WG211/M16Consel \| Integrating Domain Experts in the Software Development Process via a DSL-Based Approach ]]		Charles Consel [[WG211/M16Consel \| Integrating Domain Experts in the Software Development Process via a DSL-Based Approach ]]

Jacques: /* Talks */

2016-08-25T18:58:55Z

Talks

← Older revision		Revision as of 20:58, 25 August 2016
Line 45:		Line 45:
	Sandrine Blazy [[WG211/M16Blazy \| CompCert guarantees for low-level programs ]] [[Media:M16Blazy-Slides.pdf \| (slides) ]]		Sandrine Blazy [[WG211/M16Blazy \| CompCert guarantees for low-level programs ]] [[Media:M16Blazy-Slides.pdf \| (slides) ]]

	Edwin Brady [[WG211/M16Brady \| Concurrent programming with dependent types ]]		Edwin Brady [[WG211/M16Brady \| Concurrent programming with dependent types ]] [[Media:M16Carette-Slides.pdf \| (slides) ]]

	Jacques Carette [[WG211/M16Carette \| Drasil: From generating code to generating software ]]		Jacques Carette [[WG211/M16Carette \| Drasil: From generating code to generating software ]]

Eric: /* Talks */

2016-08-24T22:40:28Z

Talks

← Older revision		Revision as of 00:40, 25 August 2016
Line 53:		Line 53:
	Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]		Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]

	Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]]		Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]]

	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

Eric: /* Talks */

2016-08-24T22:35:56Z

Talks

← Older revision		Revision as of 00:35, 25 August 2016
Line 53:		Line 53:
	Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]		Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]

	Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]]		Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]]

	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

← Older revision		Revision as of 14:29, 6 June 2018
Line 53:		Line 53:
	Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]		Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]

	Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]] [[https://www.cs.ox.ac.uk/publications/publication10857-abstract.html \| (paper)]]		Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]] [https://www.cs.ox.ac.uk/publications/publication10857-abstract.html (paper)]

	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

← Older revision		Revision as of 14:28, 6 June 2018
Line 53:		Line 53:
	Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]		Ewen Denney [[WG211/M16Denney \| Synthesizing Domain-specific Annotations ]]

	Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]]		Jeremy Gibbons [[WG211/M16Gibbons \| APLicative Programming with Naperian Functors ]] [[Media:M16Gibbons-Slides.pdf \| (slides) ]] [[https://www.cs.ox.ac.uk/publications/publication10857-abstract.html \| (paper)]]

	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

← Older revision		Revision as of 04:52, 30 August 2016
Line 57:		Line 57:
	Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]		Kevin Hammond [[WG211/M16Hammond \| Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]] [[Media:M16Hammond.pdf \| (slides) ]]

	Christian Kaester [[WG211/M16Kaestner \| How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems ]] [https://docs.google.com/presentation/d/1FpcdXDkSWxuoTmgIJjJjk7LsdZWzlB5MDMq72hdQL6E/edit?usp=sharing slides]		Christian Kaester [[WG211/M16Kaestner \| How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems ]] [https://docs.google.com/presentation/d/1FpcdXDkSWxuoTmgIJjJjk7LsdZWzlB5MDMq72hdQL6E/edit?usp=sharing (slides)]

	Oleg Kiselyov [[WG211/M16Kiselyov \| Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]		Oleg Kiselyov [[WG211/M16Kiselyov \| Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]
Line 79:		Line 79:
	Satnam Singh [[WG211/M16Singh \| Code Generation Challenges for Android Applications ]]		Satnam Singh [[WG211/M16Singh \| Code Generation Challenges for Android Applications ]]

	Eric Van Wyk [[WG211/M16VanWyk \| Language extensions for parallel programming: opportunities and challenges ]]		Eric Van Wyk [[WG211/M16VanWyk \| Language extensions for parallel programming: opportunities and challenges ]] [[Media:M16VanWyk.pdf \| (slides) ]]

	Eelco Visser [[WG211/M16Visser \| Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ]]		Eelco Visser [[WG211/M16Visser \| Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ]]

← Older revision		Revision as of 04:48, 30 August 2016
Line 65:		Line 65:
	Julia Lawall [[WG211/M16Lawall \| Prequel: A Patch-Like Query Language for Commit History Search]] [[Media:M16Lawall.pdf \| (slides) ]]		Julia Lawall [[WG211/M16Lawall \| Prequel: A Patch-Like Query Language for Commit History Search]] [[Media:M16Lawall.pdf \| (slides) ]]

	Praveen Narayanan [[WG211/M16PraveenNarayanan \| Disintegrating probabilistic programs with arrays ]]		Praveen Narayanan [[WG211/M16PraveenNarayanan \| Disintegrating probabilistic programs with arrays ]] [[Media:M16Narayanan.pdf \| (slides) ]]

	Ryan Newton [[ WG211/M16Newton \| Why is auto-tuning not composable? and other open problems ]] [[Media:M16Newton.pdf \| (slides) ]]		Ryan Newton [[ WG211/M16Newton \| Why is auto-tuning not composable? and other open problems ]] [[Media:M16Newton.pdf \| (slides) ]]

← Older revision		Revision as of 23:41, 28 August 2016
Line 67:		Line 67:
	Praveen Narayanan [[WG211/M16PraveenNarayanan \| Disintegrating probabilistic programs with arrays ]]		Praveen Narayanan [[WG211/M16PraveenNarayanan \| Disintegrating probabilistic programs with arrays ]]

	Ryan Newton [[ WG211/M16Newton \| Why is auto-tuning not composable? ]]		Ryan Newton [[ WG211/M16Newton \| Why is auto-tuning not composable? and other open problems ]] [[Media:M16Newton.pdf \| (slides) ]]

	Tiark Rompf [[WG211/M16SRomph \| LMS-Verify: Abstraction Without Regret for Verified Systems Programming]]		Tiark Rompf [[WG211/M16SRomph \| LMS-Verify: Abstraction Without Regret for Verified Systems Programming]]