User contributions for Creichen

1 December 2024

• 11:2511:25, 1 December 2024 diff hist +703 N WG211/M23Reichenbach WG2.11/M24: Circular reference attribute evaluation current

29 November 2024

• 12:3312:33, 29 November 2024 diff hist +115 WG211/M24Schedule No edit summary

2 October 2024

• 22:4822:48, 2 October 2024 diff hist +24 WG211/M24Schedule →Attendance

11 August 2022

• 17:5217:52, 11 August 2022 diff hist +18 WG211/M21Reichenbach No edit summary current
• 17:5117:51, 11 August 2022 diff hist +699 N WG211/M21Reichenbach Created page with "Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on program analysis. In this talk I will discuss two bug detecti..."
• 17:4517:45, 11 August 2022 diff hist +56 WG211/M21Schedule CR: Added my tentative title

5 August 2022

• 14:3214:32, 5 August 2022 diff hist 0 WG211/M21Schedule Fixed lexicographic ordering of names according to one interpretation of the specification

30 May 2022

• 21:2021:20, 30 May 2022 diff hist +23 WG211/M21Schedule →Attendance

11 February 2020

• 18:3218:32, 11 February 2020 diff hist 0 Main Page Fixed my country affiliation to SE

6 February 2020

• 09:5109:51, 6 February 2020 diff hist +761 N WG211/M20Reichenbach Created page with "Joint work with Alexandru Dura, Hampus Balldin, Emma Söderberg Datalog and its relatives have emerged as useful tools for concisely expressing highly efficient program analy..." current
• 09:5109:51, 6 February 2020 diff hist +100 WG211/M20Schedule No edit summary

15 November 2019

• 20:3520:35, 15 November 2019 diff hist +23 WG211/M20Schedule →Attendance

24 May 2018

• 06:4506:45, 24 May 2018 diff hist +128 WG211/M18Schedule →June 4-7, 2018 in Kyoto, Japan.

22 May 2018

• 08:1908:19, 22 May 2018 diff hist +432 N WG211/M18Reichenbach Created page with "Incremental program transformation with behaviour-preservation guarantees, or program metamorphosis, allows developers to refactor their code interactively while receiving gui..." current
• 08:0308:03, 22 May 2018 diff hist +98 WG211/M18Schedule →Talks

2 April 2018

• 21:4821:48, 2 April 2018 diff hist +54 WG211/M18Schedule →Joint trips before/after the meeting

16 March 2018

• 17:3017:30, 16 March 2018 diff hist +23 WG211/M18Schedule No edit summary

21 July 2017

• 20:1420:14, 21 July 2017 diff hist −2 m WG211/M17Schedule Renamed the talk slides current
• 20:1320:13, 21 July 2017 diff hist +95 N File:WG211-M17-creichen-pql-backend.pdf Christoph Reichenbach, `Adding an Extensible Backend to PQL/Java', WG 2.11 meeting 17 (Koblenz) current
• 20:1120:11, 21 July 2017 diff hist +58 WG211/M17Schedule Added my slides for the talk. (I mislabelled the uploaded file but can't seem to find a way to rename it.)
• 20:0720:07, 21 July 2017 diff hist +90 N File:Wg2.11-M18-christoph-reichenbach.pdf `Adding an extensible backend to PQL/Java'; Christoph Reichenbach (IFIP WG2.11 meeting 18) current

17 July 2017

• 06:4106:41, 17 July 2017 diff hist −2 m WG211/M17Schedule Fixed a grammatical error in my talk's title

1 July 2017

• 18:1918:19, 1 July 2017 diff hist +1,527 N WG211/M17Reichenbach Created page with "In many data processing tasks, declarative query programming offers substantial benefit over manual data analysis: the query processors found in declarative systems can use po..." current
• 18:1618:16, 1 July 2017 diff hist +38 WG211/M17Schedule →Talks

21 April 2017

• 12:2412:24, 21 April 2017 diff hist +78 WG211/M17Schedule Added myself to the list of attendees and to the list of talks.