Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Publication

WOK: Statistical Program Slicing in Production

James Richard Larus, Bogdan-Alexandru Stoica
2019
Conference Papers

Abstract

Dynamic program slicing can significantly reduce the amount of code developers need to inspect by focusing only on program statements relevant to their investigation. However, this technique is still not ready for production-level use either in terms of runtime or storage efficiency.

Official source

James Richard Larus, Bogdan-Alexandru Stoica
2019
Conference Papers

Abstract

Official source

Related concepts (21)

Program analysis

In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.

Dynamic program analysis

Dynamic program analysis is analysis of computer software that involves executing the program in question (as opposed to static program analysis, which does not). Dynamic program analysis includes familiar techniques from software engineering such as unit testing, debugging, and measuring code coverage, but also includes lesser-known techniques like program slicing and invariant inference. Dynamic program analysis is widely applied in security in the form of runtime memory error detection, fuzzing, dynamic symbolic execution, and taint tracking.

Pumped-storage hydroelectricity

Pumped-storage hydroelectricity (PSH), or pumped hydroelectric energy storage (PHES), is a type of hydroelectric energy storage used by electric power systems for load balancing. The method stores energy in the form of gravitational potential energy of water, pumped from a lower elevation reservoir to a higher elevation. Low-cost surplus off-peak electric power is typically used to run the pumps. During periods of high electrical demand, the stored water is released through turbines to produce electric power.

Related publications (28)

WOK: Statistical Program Slicing in Production

Graph Chatbot

Energy Management of Price-Maker Community Energy Storage by Stochastic Dynamic Programming

Fair real-time control of energy storage systems in active distribution networks in the presence of uncertainties

Advanced control strategies to exploit the hydropower potential enhancing ancillary services provision to the power system