ACM Conference on Object Oriented Programming Systems Languages and Applications

The ACM Conference on Object Oriented Programming Systems Languages and Applications is set to take place at the Oakland Marriott City Center in Oakland, United States. This conference provides a platform for researchers and practitioners to share advancements in programming systems, languages, and environments. The conference invites papers that delve into practical and theoretical investigations across all stages of software development, including requirements, modeling, design, implementation, verification, testing, and maintenance of software systems.Participants can expect a robust program featuring a variety of contributions and research papers. Some of the highlighted topics include: A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL, Automatic Propagation of Profile Information through the Optimization Pipeline, and Debugging Information Using Dynamic Call Trees. Additionally, innovations such as CMakeSonar for detecting CMake bugs, and sophisticated techniques like Differential Execution with Lexical Tracing will be discussed. Noteworthy presentations include contributions from leading researchers and institutions, such as the University of Texas at Austin, University of California campuses, and the Chinese University of Hong Kong, showcasing their latest findings and methodologies. The conference emphasizes a collaborative environment, encouraging discussions that can lead to new insights and advancements in programming languages. Attendees will have the opportunity to engage with authors during the review process and provide feedback on papers, fostering a community of practice that aims to elevate the standards of research in programming languages. With a diverse array of topics and expert speakers, the ACM Conference on OOPSLA promises to be an essential gathering for anyone involved in the field of programming systems and languages.