ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Thu 18 Apr 2024 12:15 - 12:22 at Glicínia Quartin - Dependability and Formal methods 2 Chair(s): Jácome Cunha

An accepted practice to decrease applications’ memory usage is to reduce the amount and frequency of memory allocations. Factors such as (a) the prevalence of out-of-memory (OOM) killers, (b) memory allocations in modern programming languages done implicitly, (c) overcommitting being a default strategy in the Linux kernel, and (d) the rise in complexity and terminology related to memory management makes the existing guidance inefficient. The industry needs detailed guidelines for optimizing memory usage targeting specific operating systems (OS) and programming language types.

Thu 18 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Dependability and Formal methods 2Research Track / Software Engineering Education and Training / Demonstrations / Software Engineering in Practice at Glicínia Quartin
Chair(s): Jácome Cunha University of Porto & HASLab/INESC
11:00
15m
Talk
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning
Research Track
Pingchuan Ma HKUST, Zhenlan Ji The Hong Kong University of Science and Technology, Peisen Yao Zhejing University, Shuai Wang The Hong Kong University of Science and Technology, Kui Ren Zhejiang University
11:15
15m
Talk
Translation Validation for JIT Compiler in the V8 JavaScript Engine
Research Track
11:30
15m
Talk
Assessing the impact of hints in learning formal specification
Software Engineering Education and Training
Alcino Cunha University of Minho; INESC TEC, Nuno Macedo University of Porto; INESC TEC, José Creissac Campos University of Minho & HASLab/INESC TEC, Iara Margolis Center for Computer Graphics, Emanuel Sousa Center for Computer Graphics
11:45
15m
Talk
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
Software Engineering in Practice
12:00
15m
Talk
Dynamic Alert Suppression Policy for Noise Reduction in AIOps
Software Engineering in Practice
karan bhukar IBM Research, Harshit Kumar IBM Research, Ruchi Mahindru IBM Research, Rohan Arora IBM Research, Seema Nagar IBM Research, Pooja Aggarwal IBM Research, Amit Paradkar IBM Watson Research Center
12:15
7m
Talk
What Do You Mean by Memory? When Engineers Are Lost in the Maze of Complexity
Software Engineering in Practice
Gunnar Kudrjavets Amazon Web Services, USA, Aditya Kumar Google, Jeff Thomas Meta Platforms, Inc., Ayushi Rastogi University of Groningen, The Netherlands
DOI Pre-print
12:22
7m
Talk
SpotFlow: Tracking Method Calls and States at Runtime
Demonstrations
Pre-print Media Attached