Source author record

Shengtian Zhou

Shengtian Zhou appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2020arXiv

Context-Aware Parse Trees

The simplified parse tree (SPT) presented in Aroma, a state-of-the-art code recommendation system, is a tree-structured representation used to infer code semantics by capturing program \emph{structure} rather than program \emph{syntax}. This is a departure from the classical abstract syntax tree, which is principally driven by programming language syntax. While we believe a semantics-driven representation is desirable, the specifics of an SPT's construction can impact its performance. We analyze these nuances and present a new tree structure, heavily influenced by Aroma's SPT, called a \emph{context-aware parse tree} (CAPT). CAPT enhances SPT by providing a richer level of semantic representation. Specifically, CAPT provides additional binding support for language-specific techniques for adding semantically-salient features, and language-agnostic techniques for removing syntactically-present but semantically-irrelevant features. Our research quantitatively demonstrates the value of our proposed semantically-salient features, enabling a specific CAPT configuration to be 39\% more accurate than SPT across the 48,610 programs we analyzed.

preprint2014arXiv

Explicit Orbifold Riemann-Roch for quasismooth varieties

Considering quasismooth varieities as global $\CC^*$ quotients, we present a Riemann-Roch formula via general Riemann-Roch formula for quotient stacks. Furthermore, we give a parcing formula for Hilbert series associated to a polarized quasismooth projectively Gorenstein algebraic varieties with orbifold curves and dissident points, which is an extension of the result in \cite{BRZ}.

preprint2012arXiv

Ice cream and orbifold Riemann-Roch

We give an orbifold Riemann-Roch formula in closed form for the Hilbert series of a quasismooth polarized n-fold X,D, under the assumption that X is projectively Gorenstein with only isolated orbifold points. Our formula is a sum of parts each of which is integral and Gorenstein symmetric of the same canonical weight; the orbifold parts are called "ice cream functions". This form of the Hilbert series is particularly useful for computer algebra, and we illustrate it on examples of K3 surfaces and Calabi-Yau 3-folds. These results apply also with higher dimensional orbifold strata (see [A. Buckley and B. Szendroi, Orbifold Riemann-Roch for 3-folds with an application to Calabi-Yau geometry, J. Algebraic Geometry 14 (2005) 601--622] and [Shengtian Zhou, Orbifold Riemann-Roch and Hilbert series, University of Warwick PhD thesis, March 2011, 91+vii pp.], although the correct statements are considerably trickier. We expect to return to this in future publications.