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
30 July 2023
- 15:0315:03, 30 July 2023 diff hist +50 Main Page →Current Members
28 July 2023
- 22:0822:08, 28 July 2023 diff hist +139 Main Page →Current Members
28 April 2023
- 12:5312:53, 28 April 2023 diff hist 0 WG211/M22Kammar No edit summary current
- 12:5312:53, 28 April 2023 diff hist 0 N File:Slides-delft-wg-2-11-partial-evaluation-algebra.pdf No edit summary current
- 12:5212:52, 28 April 2023 diff hist +787 N WG211/M22Kammar Created page with "Modern partial evaluation takes advantage of semantic invariants and properties to partially evaluate stuck open code fragments. In this talk, I will argue that the motivation..."
- 12:5112:51, 28 April 2023 diff hist +96 WG211/M22Schedule →Monday April 3rd in Snijderzaal current
27 April 2023
- 22:3222:32, 27 April 2023 diff hist +14 N File:Fischer-Delft-GrammarRepair.pptx Bernd's slides current
- 22:3222:32, 27 April 2023 diff hist +79 WG211/M222Fischer No edit summary current
- 22:3022:30, 27 April 2023 diff hist +1,120 N WG211/M222Fischer Created page with "Grammars are software too, but like other software they can contain bugs, too. How can we automatically find, and more importantly, fix these bugs? This talk describes gfixr,..."
- 21:2821:28, 27 April 2023 diff hist +18 N File:DatalogDebugging.pdf Sebastian's slides current
- 21:2721:27, 27 April 2023 diff hist +1,150 N WG211/M22Erdweg Created page with "Datalog is often used as a programming language nowadays, with complex programs consisting of numerous inter-dependent predicates. But Datalog lacks interactive debugging tech..." current
- 20:5820:58, 27 April 2023 diff hist +65 WG211/M22Schedule →Tuesday April 4th in Timmanzaal
- 19:4919:49, 27 April 2023 diff hist −1 WG211/M22Yallop No edit summary current
- 19:4919:49, 27 April 2023 diff hist +18 N File:Macros.pdf Slides from Jeremy current
- 19:4819:48, 27 April 2023 diff hist +22 WG211/M22Yallop No edit summary
- 19:4819:48, 27 April 2023 diff hist +163 N WG211/M22Yallop Created page with "I'll describe work in progress to extend OCaml with support for typed, hygienic, compile-time computation, drawing inspiration and ideas from MetaOCaml and Racket."
- 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
