Manu SridharanJun 21, 2024
Excited to be attending @pldi next week! I’ll be giving a keynote at SOAP on our resource leak verification work https://pldi24.sigplan.org/details/SOAP-2024-papers/12/Lightweight-Resource-Leak-Verification-and-Inference And Evan Chang will be talking about our work on demanded summarization https://pldi24.sigplan.org/details/pldi-2024-papers/96/-TOPLAS-Interactive-Abstract-Interpretation-with-Demanded-Summarization Hope to see you there! #PLDI2024
Lightweight Resource Leak Verification and Inference (SOAP 2024) - PLDI 2024

Static and dynamic analysis techniques and tools for mainstream programming languages (such as Java, C, JavaScript), have received widespread attention for a long time. The application domains of these analyses range from core libraries to modern technologies such as web services and mobile applications. Over time, various analysis frameworks have been developed to provide techniques for optimizing programs, ensuring code quality, and assessing security and compliance. SOAP 2024 aims to bring together the members of the program analysis community to share new developments and shape new in ...

mattpdJun 20, 2024
Programming Language Design and Implementation (PLDI) 2024 Proceedings
https://dl.acm.org/toc/pacmpl/2024/8/PLDI
@pldi #PLDI2024
PACMPL: Vol 8, No PLDI

Proceedings of the ACM on Programming Languages
Kiran 🏳️‍⚧️Jun 20, 2024

as the only prson in the lab who likes drawing n stuff, I've been working on revamping our lab website and logo in preparation for #pldi2024 #pldi #inkscape #MastoArt

(this logo was vetoed but I kinda like it lol, has kinda witchy vibes)

Matthieu LemerreJun 20, 2024
I am so glad that my PhD student Dorian Lesbre will be presenting our paper "Compiling with Abstract Interpretation" this year at #PLDI2024! This paper shows how to perform syntactic transformation with abstract interpretation, such that syntactic transformations and semantic analyses can simultaneously be performed, resulting in a modular yet precise analyser. This paper shows how domain signatures correspond to the definition of imperative and SSA languages in the tagless-final style; ...
PLDI 2026Feb 15, 2024

SOAP 2024 is now accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 4th, 2024 (https://soap24.hotcrp.com).

More info here 👉 https://pldi24.sigplan.org/home/SOAP-2024 #SOAP2024 #CallForPapers #ProgramAnalysis
Co-located with #PLDI2024

SOAP 2024

DyalogFeb 13, 2024
ARRAY 2024 (part of ACM SIGPLAN's PLDI 2024) will take place 24-28 June in Denmark. They are looking for papers that explore all aspects of array programming. The deadline for submissions is 31 March 2024. For more information, see https://pldi24.sigplan.org/home/ARRAY-2024 #PLDI2024 #ACM #sigplan
ARRAY 2024 - PLDI 2024

Array-oriented programming unites two uncommon properties. As an abstraction, it directly mirrors high-level mathematical concepts commonly used in many fields from natural sciences over engineering to financial modeling. As a language feature, it exposes regular control flow, exhibits structured data dependencies, and lends itself to many types of program analysis. Furthermore, many modern computer architectures, particularly highly parallel architectures such as GPUs and FPGAs, are well-suited to efficiently execute array operations. The ARRAY series of workshops explores all aspects of ...