0 results

People (3 results)
Dimi Racordon

Dimi Racordon

… …

Hector Menendez

Hector Menendez

… …

Abhik Roychoudhury

Abhik Roychoudhury

… …

Events (40 results)

Towards Reliable Memory Management for Python Native Extensions

ICOOOLPS 2023 People: Joannah Nanjekye, David Bremner, Aleksandar Micic

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

Exact Separation Logic

Research Papers 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

Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts

Research Papers 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 …

Flow Analysis for Detecting Non-Determinism in Blockchain

Research Papers 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 …

Attending Information (4 results)

Visas

… a letter should allow 7-10 business days to receive it. All requests are handled ….

For visa support letters, refer all requests to supportletters@acm.org. Please allow up to 10 business days to receive a letter. All requests are handled …

ECOOP/ISSTA Covid-19 Disclosure & Liability Waiver

… with COVID-19 Safety Measures

We ask and expect that all attendees and volunteers will follow any and all applicable recommendations of the Centers for Disease Control … of COVID-19 at the Event, I hereby forever release, waive and discharge any and all

ECOOP / ISSTA 2023 Registration Is Open

Platinum All conference events Conference All ECOOP/ISSTA technical ... Conference 1-day All ECOOP/ISSTA technical sessions ...
Tracks (15 results)

COP 2023

… are particularly welcome.

All papers must be original. Submissions must … Library (SCOPUS). All presentations are scheduled to be held in person, but feel …

First Workshop on Future Debugging Techniques

… projects.

The goal of this workshop is to gather researchers from all areas … software. We welcome researchers from all related areas including dynamic … is a venue for all approaches to debugging. A non-exclusive list of topics …

FUZZING 2023

… The 2nd International Fuzzing Workshop (FUZZING) 2023 welcomes all researchers … as Phase 1 in a 2-phase preregistration-based publication process. All research … made available to all participants. These drafts will be presented and discussed …

General (8 results)

VORTEX 2023 Homepage

… VORTEX 2023 Welcome to the website of the VORTEX 2023 conference. We are working hard to fill the website with all related information. Please check back soon! 6632ddff-8531-4647-bb4c-23b648afd93c …

FTfJP 2023 Homepage

… FTfJP 2023 Welcome to the website of the FTfJP 2023 conference. We are working hard to fill the website with all related information. Please check back soon! ab077ded-b697-44a3-bd0c-d3c353b305a3 …

DEBT 2023 Homepage

… DEBT 2023 Welcome to the website of the DEBT 2023 conference. We are working hard to fill the website with all related information. Please check back soon! 43b78db5-6b53-4e90-a2f5-5357dc21e49e …