human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "abstract interpretation under speculative execution"):
  Abstract: Analyzing the behavior of a program running on a processor that supports speculative execution is crucial for applications such as execution time estimation and side channel detection. Unfortunately, existing static analysis techniques based on abstract interpretation do not model speculative execution since they focus on functional properties of a program while speculative execution does not change the functionality. To fill the gap, we propose a method to make abstract interpretation sound under speculative execution. There are two contributions. First, we introduce the notion of virtual control flow to augment instructions that may be speculatively executed and thus affect subsequent instructions. Second, to make the analysis efficient, we propose optimizations to handle merges and loops and to safely bound the speculative execution depth. We have implemented and evaluated the proposed method in a static cache analysis for execution time estimation and side channel detection. Our experiments show that the new method, while guaranteed to be sound under speculative execution, outperforms state-of-the-art abstract interpretation techniques that may be unsound.

Includes members:
  Member "mitigating power side channels during compilation":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "specusym speculative symbolic execution for cache timing leak detection")
  Member "eliminating timing side channel leaks using program repair":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "a compiler assisted scheduler for detecting and mitigating cache based side channel attacks")
  Member "adversarial symbolic execution for detecting concurrency related cache timing leaks":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "specusym speculative symbolic execution for cache timing leak detection")
  Member "spectre attacks exploiting speculative execution":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "towards probabilistic verification of machine unlearning")
  Member "canal a cache timing analysis framework via llvm transformation":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "specusym speculative symbolic execution for cache timing leak detection")
  Member "time protection the missing os abstraction":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "specfuzz bringing spectre type vulnerabilities to the surface")
  Member "modular verification of interrupt driven software":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "datalog based scalable semantic diffing of concurrent programs")
  Member "thread modular static analysis for relaxed memory models":
    also connected through other hyperedges:
      - Hyperedge HE-8 (induced by source paper "dynamic verification with observational equivalence of c c concurrency")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.PL(Programming Languages)