User contributions for Jacques
From WG 2.11
Jump to navigationJump to search
27 April 2023
- 19:4719:47, 27 April 2023 diff hist +1 WG211/M22Schedule →Tuesday April 4th in Timmanzaal
- 19:4619:46, 27 April 2023 diff hist +67 WG211/M22Schedule →Tuesday April 4th in Timmanzaal
3 April 2023
- 22:3122:31, 3 April 2023 diff hist +22 WG211/M22Schedule →Monday April 3rd in Snijderzaal
- 22:2722:27, 3 April 2023 diff hist +28 WG211/M22Schedule →Schedule and Scientific program
- 09:0109:01, 3 April 2023 diff hist +63 WG211/M22Schedule →Tuesday April 4th in Timmanzaal
6 March 2023
- 21:2521:25, 6 March 2023 diff hist +38 WG211/M22Schedule →Scientific program
- 21:2421:24, 6 March 2023 diff hist +458 WG211/M22Schedule →Scientific program
1 March 2023
27 February 2023
- 23:1923:19, 27 February 2023 diff hist −16 WG211/M21Schedule Julia didn't end up talkign after all current
15 February 2023
31 January 2023
23 January 2023
13 January 2023
12 January 2023
- 23:5723:57, 12 January 2023 diff hist +21 WG211/M22Schedule →Attendance
- 23:0223:02, 12 January 2023 diff hist +18 WG211/M22Schedule →Attendance
9 January 2023
5 January 2023
- 19:0119:01, 5 January 2023 diff hist 0 WG211/M22Schedule →Scientific program
- 19:0019:00, 5 January 2023 diff hist +91 WG211/M22Schedule →Scientific program
- 18:5818:58, 5 January 2023 diff hist +17 WG211/M22Schedule →Attendance
16 August 2022
15 August 2022
14 August 2022
12 August 2022
- 11:1611:16, 12 August 2022 diff hist +814 N WG211/M21Zaytsev Created page with "We have analysed hundreds of papers of CAV and TACAS from recent years, and extracted information about 420+ tools used in them. Some of these tools are inaccessible even a ye..." current
- 11:1611:16, 12 August 2022 diff hist +79 WG211/M21Schedule →Talks
- 11:1511:15, 12 August 2022 diff hist +1,123 N WG211/M21Campusano Created page with " Drones can potentially improve and automatize several activities, such as logistics and precision farming, especially when they fly Beyond Visual Line of Sight (BVLOS). Howe..." current
- 11:1411:14, 12 August 2022 diff hist +113 WG211/M21Schedule →Talks
- 11:1311:13, 12 August 2022 diff hist +366 N WG211/M21RochaSilva Created page with "In this talk, I’ll present our current efforts towards the definition of a high-level DSL for specifying software behavior. We employ a scenario-based specification to make..." current
- 11:1211:12, 12 August 2022 diff hist +142 WG211/M21Schedule →Talks
- 11:0811: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
- 11:0811:08, 12 August 2022 diff hist +118 WG211/M21Schedule →Talks
- 11:0711: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
- 11:0711:07, 12 August 2022 diff hist +83 WG211/M21Schedule →Talks
- 11:0511: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
- 11:0511:05, 12 August 2022 diff hist +65 WG211/M21Schedule →Talks
- 11:0311: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
- 11:0311:03, 12 August 2022 diff hist +63 WG211/M21Schedule →Talks
10 August 2022
- 14:1714:17, 10 August 2022 diff hist +30 WG211/M21Schedule →Talks
- 14:1514:15, 10 August 2022 diff hist +45 WG211/M21Schedule →Talks
9 August 2022
- 12:1112: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
- 12:0612:06, 9 August 2022 diff hist +81 WG211/M21Schedule →Talks
4 August 2022
- 11:0611:06, 4 August 2022 diff hist +1 WG211/M21Schedule →Talks
- 11:0511:05, 4 August 2022 diff hist +18 WG211/M21Schedule →Attendance
3 August 2022
- 20:1520: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
- 20:1420:14, 3 August 2022 diff hist +77 WG211/M21Schedule →Talks
2 August 2022
- 11:2011: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
- 11:1911:19, 2 August 2022 diff hist +91 WG211/M21Schedule →Talks
- 11:1711:17, 2 August 2022 diff hist −35 WG211/M21Blazy No edit summary current
- 11:1711: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,..."
- 11:1611:16, 2 August 2022 diff hist +94 WG211/M21Schedule →Talks
