0 results

People (8 results)
Pavel Panchekha

Pavel Panchekha

… …

Christian Yongwhan Lim

Christian Yongwhan Lim

… …

Ankush Desai

Ankush Desai

… …

Events (14 results)

Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks

OOPSLA 2024 People: Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang

… . Results show that all models are accurate in both prediction tasks, especially … of the results of all models in both tasks, concluding that deep learning models …

Cocoon: Static Information Flow Control in Rust

OOPSLA 2024 People: Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin

… overhead, or report false leaks, all of which hinder adoption. This paper presents …

Finding Cross-rule Optimization Bugs in Datalog Engines

OOPSLA 2024 People: Chi Zhang, Linzhang Wang, Manuel Rigger

… program, we can evaluate all rules individually by constructing a reference … and error bugs. Deopt can detect all bugs found by queryFuzz, a state-of-the-art …

Hydra: Generalizing Peephole Optimizations with Program Synthesis

OOPSLA 2024 People: Manasij Mukherjee, John Regehr

… project’s issue tracker. All of Hydra’s generalized peephole optimizations have been …

Attending Information (2 results)

Sponsoring

… , and Applications: Software for Humanity. SPLASH embraces all aspects of software …, to under-represented minorities and to people from all origins, everyone … attendance costs for all attendees. We also help ensure open-access publishing …

Students

… . In return, student volunteers receive free registration and access to all

Tracks (27 results)

SLE (Software Language Engineering) 2024

… of languages for all and everything.

Like its predecessors, the 17th edition … submission round for papers, including a rebuttal phase, where all authors … to infer their identities in implicit ways.

All submissions must be in PDF …

IWACO'24

… will not be rejected, but the reviewers can ignore all content above the page limit …. Above all, we want IWACO to allow interesting discussions!

Papers must …

JENSFEST 2024

… to. The JENSFEST workshop is inviting short papers on all topics that Jens …, presentation quality, and most of all–Jensness.

Formatting instructions …

General (14 results)

SAS 2024 Homepage

… Static Analysis Symposium 2024 Welcome to the website of the Static Analysis Symposium 2024 conference. We are working hard to fill the website with all related information. Please check back soon! d1d59341-a4ac-4456-8919-06775a117204 …

GPCE 2024 Homepage

… GPCE 2024 Welcome to the website of the GPCE 2024 conference. We are working hard to fill the website with all related information. Please check back soon! 44a0e8a2-75e4-4f88-ab8b-a0d4f3adee91 …

UNSOUND 2024 Homepage

… Unsound 2024 Welcome to the website of the Unsound 2024 conference. We are working hard to fill the website with all related information. Please check back soon! 6c53ea48-f5ad-42d6-a5a9-1e6594230737 …