Hello I am Eric Lu

Human-computer interface. I can operate your computers and make them do things fast.

github - google scholar - linkedin

I have just finished a PhD at Harvard University under the supervision of the inimitable Eddie Kohler. I applied symbolic execution and SMT solving for synthesis and verification of systems code.

Publications

• Are Graph Neural Networks Optimal Approximation Algorithms?
  Morris Yau, Nikolaos Karalias, Eric Lu, Jessica Xu, Stefanie Jegelka
  NeurIPS 2024. arxiv code

• Deferring Branches to Speed Up Symbolic Execution
  Eric Lu, Eddie Kohler
  KLEE 2024. Presentation. slides

• Aquarium: Cassiopea and Alewife Languages
  David A. Holland, Jingmei Hu, Ming Kawaguchi, Eric Lu, Stephen Chong, Margo I. Seltzer
  Technical report. arxiv

• Towards Porting Operating Systems with Program Synthesis
  Jingmei Hu, Eric Lu, David A Holland, Ming Kawaguchi, Stephen Chong, Margo Seltzer
  ACM Transactions on Programming Languages and Systems 2023. paper

Other stuff

For a little while I ran factorizations on otherwise idle hardware to help the Great Internet Mersenne Prime Search. As of December 2024 I still have the 4th place spot on the GPU to 72 largest factor leaderboard, for size of factor found by running the P-1 method. Also in factoring, here is a small tool for cracking numbers from FactorDB.

I did a little computer vision to reconstruct and then 3D print this figurine of Hatsune Miku. Read more about that here. Now that the PhD is done, I look forward to taking advantage of the many advances in pose estimation and reconstruction since March 2023.

I like aircraft.

I like Vocaloid trance. vocadb profile

I like anime. MAL profile.

I implemented a GNN from chemprop in C and CUDA here, seeking a speedup by improving GPU occupancy.