WG211/M12Schedule - Revision history

Ups: /* Attendees */

2014-11-13T08:07:55Z

Attendees

← Older revision		Revision as of 10:07, 13 November 2014
Line 58:		Line 58:
	===Attendees===		===Attendees===

	Jacques Carette, Krzysztof Czarnecki (Tuesday), Martin Erwig (Monday, Tuesday), Bernd Fischer, Robert Glück, Mats Heimdahl, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Jeremy Siek, Satnam Singh, Tony Sloane, Yannis Smaragdakis, Mike Whalen, Eric Van Wyk.		Jacques Carette, Krzysztof Czarnecki (Tuesday), Ewen Denney, Martin Erwig (Monday, Tuesday), Bernd Fischer, Robert Glück, Mats Heimdahl, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Jeremy Siek, Satnam Singh, Tony Sloane, Yannis Smaragdakis, Mike Whalen, Eric Van Wyk.

	===Talks===		===Talks===

Eric: /* Talks */

2013-07-08T09:20:16Z

Talks

← Older revision		Revision as of 11:20, 8 July 2013
Line 77:		Line 77:
	* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)		* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
	* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday) [[Media:M12_mosses.pdf \| (slides)]]		* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday) [[Media:M12_mosses.pdf \| (slides)]]
	* [[WG211/M12Rhiger \| Towards static compilation of dynamic code generation ]] Morten Rhiger		* [[WG211/M12Rhiger \| Towards static compilation of dynamic code generation ]] Morten Rhiger [[Media:M12_rhiger.pdf \| (slides)]]
	* [[WG211/M12Rompf \| Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf		* [[WG211/M12Rompf \| Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
	* [[WG211/M12Schaefer \| Engineering Delta Modeling Languages]] Ina Schaefer [[Media:M12_schaefer.pdf \| (slides)]]		* [[WG211/M12Schaefer \| Engineering Delta Modeling Languages]] Ina Schaefer [[Media:M12_schaefer.pdf \| (slides)]]
	* [[WG211/M12Scholz \| Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz [[Media:M12_scholz.pdf \| (slides)]]		* [[WG211/M12Scholz \| Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz [[Media:M12_scholz.pdf \| (slides)]]
	* [[WG211/M12Schultz \| Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz		* [[WG211/M12Schultz \| Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz [[Media:M12_schultz.pdf \| (slides)]]
	* [[WG211/M12Siek \| Linking isn't Substitution]] Jeremy Siek		* [[WG211/M12Siek \| Linking isn't Substitution]] Jeremy Siek
	* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh		* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh

Eric: /* Talks */

2013-06-22T18:43:57Z

Talks

← Older revision		Revision as of 20:43, 22 June 2013
Line 68:		Line 68:
	* [[WG211/M12Carette \| Programming Languages through the Lens of Program Generation]] Jacques Carette [[Media:M12_carette.pdf \| (slides)]]		* [[WG211/M12Carette \| Programming Languages through the Lens of Program Generation]] Jacques Carette [[Media:M12_carette.pdf \| (slides)]]
	* [[WG211/M12Czarnecki \| TBD]] Krzysztof Czarnecki (Tuesday)		* [[WG211/M12Czarnecki \| TBD]] Krzysztof Czarnecki (Tuesday)
	* [[WG211/M12Erwig \| Towards Explicitness as a Language Design Criterion]] Martin Erwig (~~Monday or Tuesday~~)		* [[WG211/M12Erwig \| Towards Explicitness as a Language Design Criterion]] Martin Erwig [[Media:M12_erwig.pdf \| (slides)]]
	* [[WG211/M12Fischer \| Automatic Generation of Data Distribution Strategies for Data Parallel Programs]] Bernd Fischer		* [[WG211/M12Fischer \| Automatic Generation of Data Distribution Strategies for Data Parallel Programs]] Bernd Fischer
	* [[WG211/M12Glück \| Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück		* [[WG211/M12Glück \| Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück

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

2013-06-20T03:14:19Z

IFIP Working Group 2.11, Twelfth Meeting

← Older revision		Revision as of 05:14, 20 June 2013
Line 73:		Line 73:
	* [[WG211/M12Igarashi \| Revisiting Cross-Stage Persistence]] Atsushi Igarashi		* [[WG211/M12Igarashi \| Revisiting Cross-Stage Persistence]] Atsushi Igarashi
	* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner		* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner
	* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov		* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov [http://okmij.org/ftp/ML/MetaOCaml.html Info about MetaOCaml from the talk can be found here]
	* [[WG211/M12Lengauer \| Advanced Stencil-Code Generation]] Christian Lengauer [[Media:M12_lengauer.pdf \| (slides)]]		* [[WG211/M12Lengauer \| Advanced Stencil-Code Generation]] Christian Lengauer [[Media:M12_lengauer.pdf \| (slides)]]
	* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)		* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)

Eric: /* Talks */

2013-06-19T19:02:21Z

Talks

Eric: /* Talks */

2013-06-19T18:53:13Z

Talks

← Older revision		Revision as of 20:53, 19 June 2013
Line 85:		Line 85:
	* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh		* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh
	* [[WG211/M12Smaragdakis \| PQL: A Purely-Declarative Java Extension for Parallel Programming]] Yannis Smaragdakis		* [[WG211/M12Smaragdakis \| PQL: A Purely-Declarative Java Extension for Parallel Programming]] Yannis Smaragdakis
	* [[WG211/M12Wyk \| Debugging Attribute Grammars]] Eric Van Wyk [[Media:M12_vanwyk.pdf (slides)]]		* [[WG211/M12Wyk \| Debugging Attribute Grammars]] Eric Van Wyk [[Media:M12_vanwyk.pdf \| (slides)]]

	Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee		Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee

Eric: /* Talks */

2013-06-19T18:52:38Z

Talks

← Older revision		Revision as of 20:52, 19 June 2013
Line 85:		Line 85:
	* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh		* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh
	* [[WG211/M12Smaragdakis \| PQL: A Purely-Declarative Java Extension for Parallel Programming]] Yannis Smaragdakis		* [[WG211/M12Smaragdakis \| PQL: A Purely-Declarative Java Extension for Parallel Programming]] Yannis Smaragdakis
	* [[WG211/M12Wyk \| Debugging Attribute Grammars]] Eric Van Wyk		* [[WG211/M12Wyk \| Debugging Attribute Grammars]] Eric Van Wyk [[Media:M12_vanwyk.pdf (slides)]]

	Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee		Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee

Eric: /* Around campus */

2013-06-08T14:57:19Z

Around campus

← Older revision		Revision as of 16:57, 8 June 2013
Line 27:		Line 27:
	* All meetings are in Coffman Union. This is also shown in yellow on the map. From the hotel just cross the street, turn right and you can't miss Coffman Union. We are meeting in the Dale Shepard room on the 4th floor. Take either elevator to the fourth floor, turn left and walk to the end of the hallway to find this room. The route is highlighted on the map.		* All meetings are in Coffman Union. This is also shown in yellow on the map. From the hotel just cross the street, turn right and you can't miss Coffman Union. We are meeting in the Dale Shepard room on the 4th floor. Take either elevator to the fourth floor, turn left and walk to the end of the hallway to find this room. The route is highlighted on the map.
	* Bus stops are shown as yellow circles on the map. The shortest walking routes are highlighted.		* Bus stops are shown as yellow circles on the map. The shortest walking routes are highlighted.

	* Eating around campus: ... coming soon ...

	===Venue ===		===Venue ===

Robert at 17:02, 7 June 2013

2013-06-07T17:02:49Z

← Older revision		Revision as of 19:02, 7 June 2013
Line 148:		Line 148:
	=== Sharing a taxi from the university to the airport ===		=== Sharing a taxi from the university to the airport ===
	* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.		* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.
	* Robert: dep June 6 15:55, inclined to shuttle+train but will share taxi if convenient
	* Julia: dep June 6 15:45, inclined to shuttle+train but will share taxi if convenient		* Julia: dep June 6 15:45, inclined to shuttle+train but will share taxi if convenient

Lengauer: /* Talks */

2013-06-06T18:35:20Z

Talks

← Older revision		Revision as of 20:35, 6 June 2013
Line 76:		Line 76:
	* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner		* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner
	* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov		* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov
	* [[WG211/M12Lengauer \| Advanced Stencil-~~code~~ Generation]] Christian Lengauer		* [[WG211/M12Lengauer \| Advanced Stencil-Code Generation]] Christian Lengauer
	* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)		* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
	* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)		* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)

← Older revision		Revision as of 11:20, 8 July 2013
Line 77:		Line 77:
	* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)		* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
	* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday) [[Media:M12_mosses.pdf \| (slides)]]		* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday) [[Media:M12_mosses.pdf \| (slides)]]
	* [[WG211/M12Rhiger \| Towards static compilation of dynamic code generation ]] Morten Rhiger		* [[WG211/M12Rhiger \| Towards static compilation of dynamic code generation ]] Morten Rhiger [[Media:M12_rhiger.pdf \| (slides)]]
	* [[WG211/M12Rompf \| Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf		* [[WG211/M12Rompf \| Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
	* [[WG211/M12Schaefer \| Engineering Delta Modeling Languages]] Ina Schaefer [[Media:M12_schaefer.pdf \| (slides)]]		* [[WG211/M12Schaefer \| Engineering Delta Modeling Languages]] Ina Schaefer [[Media:M12_schaefer.pdf \| (slides)]]
	* [[WG211/M12Scholz \| Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz [[Media:M12_scholz.pdf \| (slides)]]		* [[WG211/M12Scholz \| Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz [[Media:M12_scholz.pdf \| (slides)]]
	* [[WG211/M12Schultz \| Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz		* [[WG211/M12Schultz \| Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz [[Media:M12_schultz.pdf \| (slides)]]
	* [[WG211/M12Siek \| Linking isn't Substitution]] Jeremy Siek		* [[WG211/M12Siek \| Linking isn't Substitution]] Jeremy Siek
	* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh		* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh

← Older revision		Revision as of 20:43, 22 June 2013
Line 68:		Line 68:
	* [[WG211/M12Carette \| Programming Languages through the Lens of Program Generation]] Jacques Carette [[Media:M12_carette.pdf \| (slides)]]		* [[WG211/M12Carette \| Programming Languages through the Lens of Program Generation]] Jacques Carette [[Media:M12_carette.pdf \| (slides)]]
	* [[WG211/M12Czarnecki \| TBD]] Krzysztof Czarnecki (Tuesday)		* [[WG211/M12Czarnecki \| TBD]] Krzysztof Czarnecki (Tuesday)
	* [[WG211/M12Erwig \| Towards Explicitness as a Language Design Criterion]] Martin Erwig (~~Monday or Tuesday~~)		* [[WG211/M12Erwig \| Towards Explicitness as a Language Design Criterion]] Martin Erwig [[Media:M12_erwig.pdf \| (slides)]]
	* [[WG211/M12Fischer \| Automatic Generation of Data Distribution Strategies for Data Parallel Programs]] Bernd Fischer		* [[WG211/M12Fischer \| Automatic Generation of Data Distribution Strategies for Data Parallel Programs]] Bernd Fischer
	* [[WG211/M12Glück \| Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück		* [[WG211/M12Glück \| Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück

← Older revision		Revision as of 05:14, 20 June 2013
Line 73:		Line 73:
	* [[WG211/M12Igarashi \| Revisiting Cross-Stage Persistence]] Atsushi Igarashi		* [[WG211/M12Igarashi \| Revisiting Cross-Stage Persistence]] Atsushi Igarashi
	* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner		* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner
	* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov		* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov [http://okmij.org/ftp/ML/MetaOCaml.html Info about MetaOCaml from the talk can be found here]
	* [[WG211/M12Lengauer \| Advanced Stencil-Code Generation]] Christian Lengauer [[Media:M12_lengauer.pdf \| (slides)]]		* [[WG211/M12Lengauer \| Advanced Stencil-Code Generation]] Christian Lengauer [[Media:M12_lengauer.pdf \| (slides)]]
	* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)		* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)

← Older revision		Revision as of 20:35, 6 June 2013
Line 76:		Line 76:
	* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner		* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner
	* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov		* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov
	* [[WG211/M12Lengauer \| Advanced Stencil-~~code~~ Generation]] Christian Lengauer		* [[WG211/M12Lengauer \| Advanced Stencil-Code Generation]] Christian Lengauer
	* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)		* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
	* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)		* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)

← Older revision		Revision as of 21:02, 19 June 2013
Line 66:		Line 66:
	Talks:		Talks:

	* [[WG211/M12Carette \| Programming Languages through the Lens of Program Generation]] Jacques Carette		* [[WG211/M12Carette \| Programming Languages through the Lens of Program Generation]] Jacques Carette [[Media:M12_carette.pdf \| (slides)]]
	* [[WG211/M12Czarnecki \| TBD]] Krzysztof Czarnecki (Tuesday)		* [[WG211/M12Czarnecki \| TBD]] Krzysztof Czarnecki (Tuesday)
	* [[WG211/M12Erwig \| Towards Explicitness as a Language Design Criterion]] Martin Erwig (Monday or Tuesday)		* [[WG211/M12Erwig \| Towards Explicitness as a Language Design Criterion]] Martin Erwig (Monday or Tuesday)
Line 73:		Line 73:
	* [[WG211/M12Igarashi \| Revisiting Cross-Stage Persistence]] Atsushi Igarashi		* [[WG211/M12Igarashi \| Revisiting Cross-Stage Persistence]] Atsushi Igarashi
	* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner		* [[WG211/M12Kaestner \| Variability-Aware Test Execution]] Christian Kaestner
	* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov		* [[WG211/M12Kiselyov \| MetaOCaml lives on]] Oleg Kiselyov
	* [[WG211/M12Lengauer \| Advanced Stencil-Code Generation]] Christian Lengauer		* [[WG211/M12Lengauer \| Advanced Stencil-Code Generation]] Christian Lengauer [[Media:M12_lengauer.pdf \| (slides)]]
	* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)		* [[WG211/M12Liebig \| Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
	* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)		* [[WG211/M12Mosses \| Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday) [[Media:M12_mosses.pdf \| (slides)]]
	* [[WG211/M12Rhiger \| Towards static compilation of dynamic code generation ]] Morten Rhiger		* [[WG211/M12Rhiger \| Towards static compilation of dynamic code generation ]] Morten Rhiger
	* [[WG211/M12Rompf \| Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf		* [[WG211/M12Rompf \| Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
	* [[WG211/M12Schaefer \| Engineering Delta Modeling Languages]] Ina Schaefer		* [[WG211/M12Schaefer \| Engineering Delta Modeling Languages]] Ina Schaefer [[Media:M12_schaefer.pdf \| (slides)]]
	* [[WG211/M12Scholz \| Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz		* [[WG211/M12Scholz \| Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz [[Media:M12_scholz.pdf \| (slides)]]
	* [[WG211/M12Schultz \| Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz		* [[WG211/M12Schultz \| Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz
	* [[WG211/M12Siek \| Linking isn't Substitution]] Jeremy Siek		* [[WG211/M12Siek \| Linking isn't Substitution]] Jeremy Siek
	* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh		* [[WG211/M12Singh \| Computing without Processors]] Satnam Singh
	* [[WG211/M12Smaragdakis \| PQL: A Purely-Declarative Java Extension for Parallel Programming]] Yannis Smaragdakis		* [[WG211/M12Smaragdakis \| PQL: A Purely-Declarative Java Extension for Parallel Programming]] Yannis Smaragdakis [[Media:M12_smaragdakis.pdf \| (slides)]]
	* [[WG211/M12Wyk \| Debugging Attribute Grammars]] Eric Van Wyk [[Media:M12_vanwyk.pdf \| (slides)]]		* [[WG211/M12Wyk \| Debugging Attribute Grammars]] Eric Van Wyk [[Media:M12_vanwyk.pdf \| (slides)]]