On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
User contributions for Jacques
From WG 2.11
Jump to navigationJump to search
3 April 2023
- 21:2721:27, 3 April 2023 diff hist +28 WG211/M22Schedule →Schedule and Scientific program
- 08:0108:01, 3 April 2023 diff hist +63 WG211/M22Schedule →Tuesday April 4th in Timmanzaal
6 March 2023
- 20:2520:25, 6 March 2023 diff hist +38 WG211/M22Schedule →Scientific program
- 20:2420:24, 6 March 2023 diff hist +458 WG211/M22Schedule →Scientific program
1 March 2023
27 February 2023
- 22:1922: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
- 22:5722:57, 12 January 2023 diff hist +21 WG211/M22Schedule →Attendance
- 22:0222:02, 12 January 2023 diff hist +18 WG211/M22Schedule →Attendance
9 January 2023
5 January 2023
- 18:0118:01, 5 January 2023 diff hist 0 WG211/M22Schedule →Scientific program
- 18:0018:00, 5 January 2023 diff hist +91 WG211/M22Schedule →Scientific program
- 17:5817:58, 5 January 2023 diff hist +17 WG211/M22Schedule →Attendance
16 August 2022
15 August 2022
14 August 2022
12 August 2022
- 10:1610: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
- 10:1610:16, 12 August 2022 diff hist +79 WG211/M21Schedule →Talks
- 10:1510: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
- 10:1410:14, 12 August 2022 diff hist +113 WG211/M21Schedule →Talks
- 10:1310: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
- 10:1210:12, 12 August 2022 diff hist +142 WG211/M21Schedule →Talks
- 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
10 August 2022
- 13:1713:17, 10 August 2022 diff hist +30 WG211/M21Schedule →Talks
- 13:1513:15, 10 August 2022 diff hist +45 WG211/M21Schedule →Talks
9 August 2022
- 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
4 August 2022
- 10:0610:06, 4 August 2022 diff hist +1 WG211/M21Schedule →Talks
- 10:0510:05, 4 August 2022 diff hist +18 WG211/M21Schedule →Attendance
3 August 2022
- 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
2 August 2022
- 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
1 June 2022
26 May 2022
19 May 2022
- 15:2915:29, 19 May 2022 diff hist +737 Main Page →Past members
- 15:2715:27, 19 May 2022 diff hist −69 Main Page →Current Members
