WG211/M17Schedule - Revision history

Creichen: Renamed the talk slides

2017-07-21T18:14:48Z

Renamed the talk slides

← Older revision		Revision as of 20:14, 21 July 2017
Line 94:		Line 94:
	* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]		* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]
	* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]		* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
	* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]] [[Media:~~wg2.11~~-~~M18~~-~~christoph~~-~~reichenbach~~.pdf\| (slides) ]]		* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]] [[Media:WG211-M17-creichen-pql-backend.pdf\| (slides) ]]
	* Ulrik Pagh Schultz [[WG211/M17Schultz \| Safety as a Programming Language Concept]]		* Ulrik Pagh Schultz [[WG211/M17Schultz \| Safety as a Programming Language Concept]]
	* Chung-chieh Shan [[WG211/M17Shan \| Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)		* Chung-chieh Shan [[WG211/M17Shan \| Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)

Creichen: Added my slides for the talk. (I mislabelled the uploaded file but can't seem to find a way to rename it.)

2017-07-21T18:11:10Z

Added my slides for the talk. (I mislabelled the uploaded file but can't seem to find a way to rename it.)

← Older revision		Revision as of 20:11, 21 July 2017
Line 94:		Line 94:
	* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]		* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]
	* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]		* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
	* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]]		* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]] [[Media:wg2.11-M18-christoph-reichenbach.pdf\| (slides) ]]
	* Ulrik Pagh Schultz [[WG211/M17Schultz \| Safety as a Programming Language Concept]]		* Ulrik Pagh Schultz [[WG211/M17Schultz \| Safety as a Programming Language Concept]]
	* Chung-chieh Shan [[WG211/M17Shan \| Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)		* Chung-chieh Shan [[WG211/M17Shan \| Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)

Ups: /* Social events */

2017-07-20T10:43:31Z

Social events

← Older revision		Revision as of 12:43, 20 July 2017
Line 181:		Line 181:
	** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]		** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
	* Thursday 20 July; 12.30-1.30pm		* Thursday 20 July; 12.30-1.30pm
	** Lunch in the city center: ~~Remo's Koblenz~~ (~~right next~~ to the train station)		** Lunch in the city center: Restaurant Aubergine (close to the train station)

	Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.		Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

Ups: /* Social events */

2017-07-20T09:11:38Z

Social events

← Older revision		Revision as of 11:11, 20 July 2017
Line 180:		Line 180:
	* Wednesday 19 July; 6.45-11pm		* Wednesday 19 July; 6.45-11pm
	** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]		** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
	* Thursday 20 July; 12.01-1.30pm		* Thursday 20 July; 12.30-1.30pm
	** Lunch in the city center		** Lunch in the city center: Remo's Koblenz (right next to the train station)

	Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.		Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

Eric: /* Scientific program */

2017-07-19T15:52:50Z

Scientific program

← Older revision		Revision as of 17:52, 19 July 2017
Line 124:		Line 124:
	* 15.00-15.30: Break		* 15.00-15.30: Break
	* 15.30-16:15: 1 talk		* 15.30-16:15: 1 talk
	** ~~Stephan~~ Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging		** Stefan Marr Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging
	* 16.50: meet in hotel lobby and start walking at 17:00 to social event		* 16.50: meet in hotel lobby and start walking at 17:00 to social event

Eric: /* Talks */

2017-07-19T15:46:07Z

Talks

← Older revision		Revision as of 17:46, 19 July 2017
Line 92:		Line 92:
	* Stefan Marr [[WG211/M17Marr \| Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf \| (slides) ]]		* Stefan Marr [[WG211/M17Marr \| Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf \| (slides) ]]

	* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]]		* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]
	* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]		* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
	* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]]		* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]]

Eric: /* Program / schedule */

2017-07-19T10:47:21Z

Program / schedule

← Older revision		Revision as of 12:47, 19 July 2017
Line 155:		Line 155:
	** Eric Van Wyk: Extensible and composable type qualifiers in AbleC		** Eric Van Wyk: Extensible and composable type qualifiers in AbleC
	* 15.45-16:15: Break		* 15.45-16:15: Break
			* 18:15: meet in lobby to walk or bus to social event
	* 18:45: Social event		* 18:45: Social event

Eric: /* Program / schedule */

2017-07-19T09:10:58Z

Program / schedule

← Older revision		Revision as of 11:10, 19 July 2017
Line 151:		Line 151:
	** Ulrik Pagh Schultz: Safety as a Programming Language Concept		** Ulrik Pagh Schultz: Safety as a Programming Language Concept
	* 12.30-14.15: Lunch (break)		* 12.30-14.15: Lunch (break)
	* 14.15-15.00: ~~1 talk~~		* 14.15-15.45: 2 talks
	** Christoph Reichenbach: Adding an extensible backend to PQL/Java		** Christoph Reichenbach: Adding an extensible backend to PQL/Java
	* 15.30-17.00: 2 talks
	** Eric Van Wyk: Extensible and composable type qualifiers in AbleC		** Eric Van Wyk: Extensible and composable type qualifiers in AbleC
	** Kevin Hammond: ~~<<tentative>>~~		* 15.45-16:15: Break
	* 18:45: Social event		* 18:45: Social event

Ralf at 09:09, 19 July 2017

2017-07-19T09:09:39Z

← Older revision		Revision as of 11:09, 19 July 2017
Line 156:		Line 156:
	** Eric Van Wyk: Extensible and composable type qualifiers in AbleC		** Eric Van Wyk: Extensible and composable type qualifiers in AbleC
	** Kevin Hammond: <<tentative>>		** Kevin Hammond: <<tentative>>
	* ~~17.30~~: Social event		* 18:45: Social event

	Thursday July 20:		Thursday July 20:
Line 178:		Line 178:
	* Tuesday 18 July; 7.30-10pm		* Tuesday 18 July; 7.30-10pm
	** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls		** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls
	* Wednesday 19 July; 5.30-11pm		* Wednesday 19 July; 6.45-11pm
	** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]		** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
	* Thursday 20 July; 12.01-1.30pm		* Thursday 20 July; 12.01-1.30pm

Eric: /* Talks */

2017-07-18T11:54:56Z

Talks

← Older revision		Revision as of 13:54, 18 July 2017
Line 90:		Line 90:
	* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer \| The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]		* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer \| The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
	* Ralf Lämmel [[WG211/M17Laemmel \| Systematic comparison of metaprogramming technologies]]		* Ralf Lämmel [[WG211/M17Laemmel \| Systematic comparison of metaprogramming technologies]]
	* ~~Stephan~~ Marr [[WG211/M17Marr \| Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]		* Stefan Marr [[WG211/M17Marr \| Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf \| (slides) ]]

	* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]]		* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]]
	* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]		* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]

← Older revision		Revision as of 20:14, 21 July 2017
Line 94:		Line 94:
	* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]		* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]
	* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]		* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
	* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]] [[Media:~~wg2.11~~-~~M18~~-~~christoph~~-~~reichenbach~~.pdf\| (slides) ]]		* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]] [[Media:WG211-M17-creichen-pql-backend.pdf\| (slides) ]]
	* Ulrik Pagh Schultz [[WG211/M17Schultz \| Safety as a Programming Language Concept]]		* Ulrik Pagh Schultz [[WG211/M17Schultz \| Safety as a Programming Language Concept]]
	* Chung-chieh Shan [[WG211/M17Shan \| Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)		* Chung-chieh Shan [[WG211/M17Shan \| Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)

← Older revision		Revision as of 20:11, 21 July 2017
Line 94:		Line 94:
	* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]		* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]
	* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]		* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
	* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]]		* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]] [[Media:wg2.11-M18-christoph-reichenbach.pdf\| (slides) ]]
	* Ulrik Pagh Schultz [[WG211/M17Schultz \| Safety as a Programming Language Concept]]		* Ulrik Pagh Schultz [[WG211/M17Schultz \| Safety as a Programming Language Concept]]
	* Chung-chieh Shan [[WG211/M17Shan \| Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)		* Chung-chieh Shan [[WG211/M17Shan \| Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)

← Older revision		Revision as of 17:46, 19 July 2017
Line 92:		Line 92:
	* Stefan Marr [[WG211/M17Marr \| Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf \| (slides) ]]		* Stefan Marr [[WG211/M17Marr \| Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf \| (slides) ]]

	* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]]		* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]] [[Media:M17Oliveira-Slides.pdf \| (slides) ]]
	* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]		* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
	* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]]		* Christoph Reichenbach [[WG211/M17Reichenbach \| Adding an extensible backend to PQL/Java]]

← Older revision		Revision as of 13:54, 18 July 2017
Line 90:		Line 90:
	* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer \| The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]		* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer \| The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
	* Ralf Lämmel [[WG211/M17Laemmel \| Systematic comparison of metaprogramming technologies]]		* Ralf Lämmel [[WG211/M17Laemmel \| Systematic comparison of metaprogramming technologies]]
	* ~~Stephan~~ Marr [[WG211/M17Marr \| Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]		* Stefan Marr [[WG211/M17Marr \| Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]] [[Media:M17Marr-Slides.pdf \| (slides) ]]

	* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]]		* Bruno C. d. S. Oliveira [[WG211/M17Oliveira \| Semantic Modularization Techniques in Practice: A TAPL case study ]]
	* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]		* Markus Püschel [[WG211/M17Puschel \| Program generation for small linear algebra (not on Monday or last talk Thursday) ]]