human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "the essence of javascript"
  Abstract: We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites. Finally, we illustrate utility by defining a security property, implementing it as a type system on the core, and extending it to the full language.

Connected through hyperedge HE-1 (induced by source paper "a language based serverless function accelerator"):
  with members:
    - "spectre attacks exploiting speculative execution"
    - "occupy the cloud distributed computing for the 99"
    - "virtual machine warmup blows hot and cold"
    - "dependent types for javascript"

Connected through hyperedge HE-2 (induced by source paper "making high performance robots safe and easy to use for an introduction to computing"):
  with members:
    - "interactive robot transition repair with smt"
    - "putting in all the stops execution control for javascript"

Connected through hyperedge HE-3 (induced by source paper "sequential effect systems with control operators"):
  with members:
    - "koka programming with row polymorphic effect types"
    - "an effect system for algebraic effects and handlers"

Connected through hyperedge HE-4 (induced by source paper "rust distilled an expressive tower of languages"):
  with members:
    - "linking types for multi language software have your cake and eat it too"

Connected through hyperedge HE-5 (induced by source paper "refactoring legacy javascript code to use classes the good the bad and the ugly"):
  with members:
    - "understanding the factors that impact the popularity of github repositories"

Connected through hyperedge HE-6 (induced by source paper "jsai designing a sound configurable and efficient static analyzer for javascript"):
  with members:
    - "dependent types for javascript"
    - "abstracting abstract machines"

Connected through hyperedge HE-7 (induced by source paper "safejs hermetic sandboxing for javascript"):
  with members:
    - "adsafety type based verification of javascript sandboxing"

Connected through hyperedge HE-8 (induced by source paper "pushdown abstractions of javascript"):
  with members:
    - "deciding k cfa is complete for exptime"
    - "cfa2 a context free approach to control flow analysis"
    - "pushdown control flow analysis of higher order programs"
    - "abstracting abstract machines"

Question: Please tell me which class the center node 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)