User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:32, 27 April 2023 (diff | hist) . . (+79) . . WG211/M222Fischer (current)
- 21: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,...")
- 20:28, 27 April 2023 (diff | hist) . . (+18) . . N File:DatalogDebugging.pdf (Sebastian's slides) (current)
- 20: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)
- 19:58, 27 April 2023 (diff | hist) . . (+65) . . WG211/M22Schedule (→Tuesday April 4th in Timmanzaal)
- 18:49, 27 April 2023 (diff | hist) . . (-1) . . WG211/M22Yallop (current)
- 18:49, 27 April 2023 (diff | hist) . . (+18) . . N File:Macros.pdf (Slides from Jeremy) (current)
- 18:48, 27 April 2023 (diff | hist) . . (+22) . . WG211/M22Yallop
- 18: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.")
- 18:47, 27 April 2023 (diff | hist) . . (+1) . . WG211/M22Schedule (→Tuesday April 4th in Timmanzaal)
- 18:46, 27 April 2023 (diff | hist) . . (+67) . . WG211/M22Schedule (→Tuesday April 4th in Timmanzaal)
- 21:31, 3 April 2023 (diff | hist) . . (+22) . . WG211/M22Schedule (→Monday April 3rd in Snijderzaal)
- 21:27, 3 April 2023 (diff | hist) . . (+28) . . WG211/M22Schedule (→Schedule and Scientific program)
- 08:01, 3 April 2023 (diff | hist) . . (+63) . . WG211/M22Schedule (→Tuesday April 4th in Timmanzaal)
- 20:25, 6 March 2023 (diff | hist) . . (+38) . . WG211/M22Schedule (→Scientific program)
- 20:24, 6 March 2023 (diff | hist) . . (+458) . . WG211/M22Schedule (→Scientific program)
- 22:46, 1 March 2023 (diff | hist) . . (+16) . . WG211/M22Schedule (→Attendance)
- 22:19, 27 February 2023 (diff | hist) . . (-16) . . WG211/M21Schedule (Julia didn't end up talkign after all) (current)
- 16:58, 15 February 2023 (diff | hist) . . (+16) . . WG211/M22Schedule (→Attendance)
- 14:16, 31 January 2023 (diff | hist) . . (+13) . . WG211/M22Schedule (→Attendance)
- 20:15, 23 January 2023 (diff | hist) . . (+63) . . WG211/M22Schedule (→Attendance)
- 16:42, 13 January 2023 (diff | hist) . . (+21) . . WG211/M22Schedule (→Attendance)
- 22:57, 12 January 2023 (diff | hist) . . (+21) . . WG211/M22Schedule (→Attendance)
- 22:02, 12 January 2023 (diff | hist) . . (+18) . . WG211/M22Schedule (→Attendance)
- 15:03, 9 January 2023 (diff | hist) . . (+16) . . WG211/M22Schedule (→Attendance)
- 18:01, 5 January 2023 (diff | hist) . . (0) . . WG211/M22Schedule (→Scientific program)
- 18:00, 5 January 2023 (diff | hist) . . (+91) . . WG211/M22Schedule (→Scientific program)
- 17:58, 5 January 2023 (diff | hist) . . (+17) . . WG211/M22Schedule (→Attendance)
- 11:11, 16 August 2022 (diff | hist) . . (+118) . . WG211/M21Schedule (→Scientific program)
- 14:34, 15 August 2022 (diff | hist) . . (+86) . . WG211/M21Schedule (→Scientific program)
- 17:56, 14 August 2022 (diff | hist) . . (+142) . . WG211/M21Schedule (→Scientific program)
- 10: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:16, 12 August 2022 (diff | hist) . . (+79) . . WG211/M21Schedule (→Talks)
- 10: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:14, 12 August 2022 (diff | hist) . . (+113) . . WG211/M21Schedule (→Talks)
- 10: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:12, 12 August 2022 (diff | hist) . . (+142) . . WG211/M21Schedule (→Talks)
- 10: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:08, 12 August 2022 (diff | hist) . . (+118) . . WG211/M21Schedule (→Talks)
- 10: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:07, 12 August 2022 (diff | hist) . . (+83) . . WG211/M21Schedule (→Talks)
- 10: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:05, 12 August 2022 (diff | hist) . . (+65) . . WG211/M21Schedule (→Talks)
- 10: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:03, 12 August 2022 (diff | hist) . . (+63) . . WG211/M21Schedule (→Talks)
- 13:17, 10 August 2022 (diff | hist) . . (+30) . . WG211/M21Schedule (→Talks)
- 13:15, 10 August 2022 (diff | hist) . . (+45) . . WG211/M21Schedule (→Talks)
- 11: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:06, 9 August 2022 (diff | hist) . . (+81) . . WG211/M21Schedule (→Talks)
- 10:06, 4 August 2022 (diff | hist) . . (+1) . . WG211/M21Schedule (→Talks)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
