User contributions for Jacques

10:0810:08, 12 August 2022 diff hist +947 N WG211/M21Kammar Created page with "A recurring task in program generation involves developing data-structures representing semantically-distinct code fragments. We can stage an optimised version of the original..." current
10:0810:08, 12 August 2022 diff hist +118 WG211/M21Schedule →Talks
10:0710:07, 12 August 2022 diff hist +253 N WG211/M21Chiw Created page with "Diderot is a domain-specific language used for scientific visualization and image analyze. I will showcase the natural transition of algorithms written in this space to the de..." current
10:0710:07, 12 August 2022 diff hist +83 WG211/M21Schedule →Talks
10:0510:05, 12 August 2022 diff hist +518 N WG211/M21Yallop Created page with "Lexers and parsers are typically defined separately and connected by a token stream. This separate definition is important for modularity, but harmful for performance. We sh..." current
10:0510:05, 12 August 2022 diff hist +65 WG211/M21Schedule →Talks
10:0310:03, 12 August 2022 diff hist +501 N WG211/M21Kelly Created page with " This talk is intended to provoke thinking and discussion about program generation where the generator inspects (some of) the input data, and generates code that is optimised..." current
10:0310:03, 12 August 2022 diff hist +63 WG211/M21Schedule →Talks

11:1111:11, 9 August 2022 diff hist +487 N WG211/M21Carette Created page with "[Joint work with Amr Sabry and Gerardo Ortiz] I will show that by using partial evaluation of quantum circuits (using classical computation) run in the reverse direction with..." current
11:0611:06, 9 August 2022 diff hist +81 WG211/M21Schedule →Talks

19:1519:15, 3 August 2022 diff hist +1,213 N WG211/M21Erdweg Created page with "Datalog is a carefully restricted logic programming language. What makes Datalog attractive is its declarative fixpoint semantics: Datalog queries consist of simple Horn claus..." current
19:1419:14, 3 August 2022 diff hist +77 WG211/M21Schedule →Talks

10:2010:20, 2 August 2022 diff hist +388 N WG211/M21Amin Created page with "We (Nada Amin, Michael Ballantyne and Will Byrd) present a novel framework for staging interpreters written as relations, in which the programs under interpretation are allowe..." current
10:1910:19, 2 August 2022 diff hist +91 WG211/M21Schedule →Talks
10:1710:17, 2 August 2022 diff hist −35 WG211/M21Blazy No edit summary current
10:1710:17, 2 August 2022 diff hist +1,143 N WG211/M21Blazy Created page with " Static Single Assignment (SSA) has proven useful for implementing many static-analysis and optimisation passes, thanks to its structural and semantic properties. However,..."
10:1610:16, 2 August 2022 diff hist +94 WG211/M21Schedule →Talks

16:1816:18, 21 July 2020 diff hist −93 Main Page The chairs list no longer works.

20:0020:00, 4 February 2020 diff hist +1,728 N WG211/M20Zaytsev Created page with "Title: BabyCOBOL: The Challenge to Program Generation Tool Developers On one side of the gap we have academic researchers developing new techniques of language processing in..." current
19:5919:59, 4 February 2020 diff hist +1,385 N WG211/M20Kiselyov Created page with "Title: Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems Abstract: Whereas ordinary types approximate the results, session types ap..." current
19:5819:58, 4 February 2020 diff hist +278 WG211/M20Schedule →Talks