1.1k citations · 1.6k across the 12 of their papers we have counts for
12 papers
Degrees of Separation: A Flexible Type System for Data Race Prevention
Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky
Data races are a notorious problem in parallel programming. There has been great research interest in type systems that statically prevent data races. Despite the progress in the s…
A Mechanized Theory of the Box Calculus
Joseph Fourment, Yichen Xu
The capture calculus is an extension of System F<: that tracks free variables of terms in their type, allowing one to represent capabilities while limiting their scope. While previ…
Formalizing Box Inference for Capture Calculus
Yichen Xu, Martin Odersky
Capture calculus has recently been proposed as a solution to effect checking, achieved by tracking the captured references of terms in the types. Boxes, along with the box and unbo…
A Survey on Pretrained Language Models for Neural Code Intelligence
Yichen Xu, Yanqiao Zhu
As the complexity of modern software continues to escalate, software engineering has become an increasingly daunting and error-prone endeavor. In recent years, the field of Neural…
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu +1
Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotl…
A Survey on Deep Graph Generation: Methods and Applications
Yanqiao Zhu, Yuanqi Du, Yinkai Wang +4
Graphs are ubiquitous in encoding relational information of real-world objects in many domains. Graph generation, whose purpose is to generate new graphs from a distribution simila…