Yan Chen

11 papers A* 3A 3B 2Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2014 A conf
Functional programming for dynamic and large data with self-adjusting computation.
ICFP
Yan Chen, Umut A. Acar, Kanat Tangwongsan
2014 J jnl
Implicit self-adjusting computation for purely functional programs.
J. Funct. Program.
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
2013 — conf
Streaming big data with self-adjusting computation.
DDFP
Umut A. Acar, Yan Chen
2012 A* conf
Type-directed automatic incrementalization.
PLDI
Yan Chen, Jana Dunfield, Umut A. Acar
2011 A conf
Implicit self-adjusting computation for purely functional programs.
ICFP
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
2011 J jnl
Self-Adjusting Stack Machines
CoRR
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
2011 A conf
Self-adjusting stack machines.
OOPSLA
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
2009 A* conf
CEAL: a C-based language for self-adjusting computation.
PLDI
Matthew A. Hammer, Umut A. Acar, Yan Chen
2009 B conf
Formal Verification for High-Assurance Behavioral Synthesis.
ATVA
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang
2008 A* conf
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.
DAC
Yan Chen, Fei Xie, Jin Yang
2007 B conf
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.
FMCAD
Yan Chen, Yujing He, Fei Xie, Jin Yang
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling