ICOOOLPS 2023 When: Mon 17 Jul 2023 10:30 - 11:00 People: Joannah Nanjekye, David Bremner, Aleksandar Micic

… the fewest bytes (1%—40%) for all benchmarks across the C/Python boundary compared …

DEBT 2023 When: Mon 17 Jul 2023 08:45 - 10:00 People: Andreas Zeller

… specific behavior. But how does one specify an input language such that all …

Keynotes When: Fri 21 Jul 2023 09:00 - 10:00 People: Heather Miller

… about. Next thing I know, I’m the “documentation czar” writing all …

FUZZING 2023 When: Mon 17 Jul 2023 13:30 - 14:15 People: Kostya Serebryany

… Most existing fuzzing tools use edge coverage to identify interesting inputs and guide the expansion of the corpus. This coverage signal is convenient because it is bounded in size. Once fuzzing discovers all reachable edges, however …

Research Papers When: Fri 21 Jul 2023 10:45 - 11:00 People: Petar Maksimović, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner

… for verifying properties of heap-manipulating programs: all terminating …, but there is no mechanism for understanding if all terminating behaviour has … and UX true bug-funding: all terminating behaviour is characterised, and all …

Research Papers When: Wed 19 Jul 2023 15:45 - 16:00 People: Felix Stutz

… Multiparty session types (MSTs) provide efficient means to specify and verify asynchronous message-passing systems. For a global type, which specifies all … there are local specifications for all roles such that their composition …

Research Papers When: Wed 19 Jul 2023 16:45 - 17:00 People: Luca Olivieri, Vincenzo Arceri, Luca Negrini, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

… , provide many sources of non-determinism. However, not all non-deterministic … results show that GoLiSA is able to detect all vulnerabilities related to non …

Research Papers When: Thu 20 Jul 2023 16:15 - 16:30 People: Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina

… in loss of user state. Even though modern browsers reopen all pages (tabs) after an update to minimize inconvenience, this approach still loses all local user … to each target page, that can be automated. First, SINATRA captures all the non …

Research Papers When: Thu 20 Jul 2023 13:45 - 14:00 People: Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang

… queries for all the tasks, taking only 2.56 seconds on average. …

Research Papers When: Wed 19 Jul 2023 11:15 - 11:30 People: Jan de Muijnck-Hughes, Wim Vanderbauwhede

… typing of bound terms, we can provide design-time checks that all wires and ports have been used, and ensure that all wiring decisions are explicitly made …

Research Papers When: Thu 20 Jul 2023 11:30 - 11:45 People: Jinhao Tan, Bruno C. d. S. Oliveira

… In most programming languages a (runtime) environment stores all the definitions that are available to programmers. Typically, environments are a meta …, and show that E_i can encode all well-typed λ_i programs. …

Research Papers When: Fri 21 Jul 2023 10:30 - 10:45 People: João Mota, António Ravara, Marco Giunti

… the program terminates, all objects are in the final state (protocol completion …

Research Papers When: Thu 20 Jul 2023 14:00 - 14:15 People: Henrique Botelho Guerra, João F. Ferreira, João Costa Seco

… that matches all types. This enables the algorithm to produce \textit{incomplete functions …

Keynotes People: Heather Miller

… about. Next thing I know, I’m the “documentation czar” writing all …

Research Papers When: Wed 19 Jul 2023 13:30 - 13:45 People: Roland Kuhn, Hernan Melgratti, Emilio Tuosto

… participating device can locally make progress at all times, not encumbered …

Research Papers When: Fri 21 Jul 2023 11:15 - 11:30 People: Yannan Li, Chao Wang

… is efficient in optimizing all benchmark programs. Furthermore, the optimized programs …

Research Papers When: Wed 19 Jul 2023 13:45 - 14:00 People: Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini

… all the following advantages: it (1) allows developers to design custom data …