human: Given a node-centered hypergraph: <hypergraph>, where nodes represent authors and hyperedges represent groups of authors who co-authored the same paper.

Details of the hypergraph:
Center node: "Type-preserving compilation of Featherweight Java"
  Abstract: We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavior as a standard implementation using vtables and self-application for method invocation. Classes inherit super-class methods with no overhead. We support mutually recursive classes while preserving separate compilation. Our strategy extends naturally to a significant subset of Java, including interfaces and privacy. The formal translation using Featherweight Java allows comprehensible type-preservation proofs and serves as a starting point for extending the translation to new features. Our work provides a foundation for supporting certifying compilation of Java-like class-based languages in a type-theoretic framework.

Connected through hyperedge HE-1 (induced by source paper "TIL: a type-directed optimizing compiler for ML"):
  with members:
    - "Safe kernel extensions without run-time checking"
    - "Compiling polymorphism using intensional type analysis"
    - "Vortex: an optimizing compiler for object-oriented languages"
    - "Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)"

Connected through hyperedge HE-2 (induced by source paper "Compiling polymorphism using intensional type analysis"):
  with members:
    - "Dynamic typing in a statically typed language"
    - "TIL: a type-directed optimizing compiler for ML"
    - "Scrap your boilerplate with class: extensible generic functions"
    - "A type system for certified binaries"
    - "Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)"

Connected through hyperedge HE-3 (induced by source paper "Safe kernel extensions without run-time checking"):
  with members:
    - "Leveraging legacy code to deploy desktop applications on the web"
    - "Dynamic function placement for data-intensive cluster computing"
    - "Programming languages for mobile code"
    - "TIL: a type-directed optimizing compiler for ML"
    - "A type system for certified binaries"

Connected through hyperedge HE-4 (induced by source paper "Featherweight Java: a minimal core calculus for Java and GJ"):
  with members:
    - "Safe composition of product lines"
    - "Type-based race detection for Java"

Question: Please tell me which research area the center author belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science