About Me

Hello! I am a third-year Ph.D. student in Computer and Information Science at the University of Pennsylvania.

I am interested in:

• Dynamical systems, programming languages, formal methods
• Linear algebra, mathematical analysis, probability theory

Email: firstnamelastname@seas.upenn.edu

CV (PDF)

Papers

• A. Xue and N. Matni. Data-Driven System Level Synthesis, L4DC 2021, (arXiv)
• K. S. Namjoshi and A. Xue. A Self-Certifying Compilation Framework for WebAssembly, VMCAI 2021, (PDF)
• W. T. Hallahan, A. Xue, and R. Piskac. G2Q: Haskell Constraint Solving, Haskell Symposium 2019, (PDF)
• W. T. Hallahan, A. Xue, M. T. Bland, R. Jhala, and R. Piskac. Lazy Counterfactual Symbolic Execution, PLDI 2019, (PDF) (Video Abstract)

Projects

• Data-Driven Optimal Control (GitHub)
• Self-Certified Optimizations for WebAssembly (GitHub)
• Symbolic Execution for Haskell (GitHub)
• Symbolic Execution for R (GitHub)
• LaTeX Templates (GitHub)

Fun Sketches

Fun ideas that might work, or not.

• First-order Methods for Constrained LQR Optimization (PDF)
• Kernel Methods and Automata (PDF)
• Metric Spaces for Regular Languages (Undergraduate Senior Thesis) (PDF)