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: "programmatic and direct manipulation together at last"
  Abstract: Direct manipulation interfaces and programmatic systems have distinct and complementary strengths. The former provide intuitive, immediate visual feedback and enable rapid prototyping, whereas the latter enable complex, reusable abstractions. Unfortunately, existing systems typically force users into just one of these two interaction modes. We present a system called Sketch-n-Sketch that integrates programmatic and direct manipulation for the particular domain of Scalable Vector Graphics (SVG). In Sketch-n-Sketch, the user writes a program to generate an output SVG canvas. Then the user may directly manipulate the canvas while the system immediately infers a program update in order to match the changes to the output, a workflow we call live synchronization. To achieve this, we propose (i) a technique called trace-based program synthesis that takes program execution history into account in order to constrain the search space and (ii) heuristics for dealing with ambiguities. Based on our experience with examples spanning 2,000 lines of code and from the results of a preliminary user study, we believe that Sketch-n-Sketch provides a novel workflow that can augment traditional programming systems. Our approach may serve as the basis for live synchronization in other application domains, as well as a starting point for yet more ambitious ways of combining programmatic and direct manipulation.

Connected through hyperedge HE-1 (induced by source paper "program sketching with live bidirectional evaluation"):
  with members:
    - "program synthesis by type guided abstraction refinement"
    - "live functional programming with typed holes"
    - "bidirectional evaluation with directmanipulation"
    - "synthesizing symmetric lenses"
    - "programming not only by example"
    - "program synthesis from polymorphic refinement types"
    - "type directed synthesis of products"
    - "coinductive big step operational semantics"

Connected through hyperedge HE-2 (induced by source paper "an evolutionary framework for automatic and guided discovery of algorithms"):
  with members:
    - "neural guided deductive search for real time program synthesis from examples"
    - "program synthesis using conflict driven learning"
    - "deepcoder learning to write programs"
    - "semi automated svg programming via direct manipulation"
    - "program synthesis from polymorphic refinement types"
    - "automated feedback generation for introductory programming assignments"

Connected through hyperedge HE-3 (induced by source paper "using e graphs for cad parameter inference"):
  with members:
    - "automatically leveraging mapreduce frameworks for data intensive applications"
    - "csgnet neural shape parser for constructive solid geometry"
    - "learning to infer graphics programs from hand drawn images"
    - "program synthesis from polymorphic refinement types"
    - "equality saturation a new approach to optimization"

Connected through hyperedge HE-4 (induced by source paper "targeted synthesis for programming with data invariants"):
  with members:
    - "neural sketch learning for conditional program generation"
    - "enforcing information flow policies with type targeted program synthesis"
    - "component based synthesis of table consolidation and transformation tasks from examples"
    - "program synthesis from polymorphic refinement types"
    - "flexible invariants through semantic collaboration"

Connected through hyperedge HE-5 (induced by source paper "sketch n sketch output directed programming for svg"):
  with members:
    - "bidirectional evaluation with directmanipulation"
    - "learning to infer graphics programs from hand drawn images"
    - "semi automated svg programming via direct manipulation"
    - "a core calculus for provenance"

Connected through hyperedge HE-6 (induced by source paper "live functional programming with typed holes"):
  with members:
    - "exploratory and live programming and coding a literature study comparing perspectives on liveness"
    - "augmenting source code lines with sample variable values"
    - "using elm to introduce algebraic thinking to k 8 students"
    - "imperative functional programs that explain their work"
    - "toward semantic foundations for program editors"
    - "a survey of symbolic execution techniques"
    - "dynamic witnesses for static type errors or ill typed programs usually go wrong"
    - "semi automated svg programming via direct manipulation"

Connected through hyperedge HE-7 (induced by source paper "d euce a lightweight user interface for structured editing"):
  with members:
    - "toward semantic foundations for program editors"
    - "semi automated svg programming via direct manipulation"
    - "hazelnut a bidirectionally typed structure editor calculus"

Connected through hyperedge HE-8 (induced by source paper "bidirectional evaluation with directmanipulation"):
  with members:
    - "automatic software repair a bibliography"
    - "synthesizing bijective lenses"
    - "semi automated svg programming via direct manipulation"

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)