Ernest Ng
@ngernest2
Followers
498
Following
5K
Media
12
Statuses
694
Programming Languages PhD student @Cornell_CS | he/him
Joined November 2013
RT @alpha_convert: Nice, my talk from NYC Systems has been posted! Was really fun to talk with folks about PBT and performance engineering.….
0
3
0
RT @PLDI: Some more exciting news! This year we had not one, but two(!) dissertations receiving the SIGPLAN John C. Reynolds Doctoral Disse….
0
7
0
RT @_chenson__: I wrote a short blog post "The Interplay Between Metaprogramming and Computation in Lean":
0
2
0
RT @tsungjuc: Our paper Multi-Stage Programming with Splice Variables, co-authored with @xnningxie, has been accepted to ICFP'25 😀!. We des….
0
12
0
RT @ericachiang_: I can’t believe I’m saying this: our work received a Best Paper Award at #CHIL2025!! So so excited and grateful 🥰 Looking….
0
3
0
RT @eatonphil: Up next we've got Joe Cutler from UPenn talking about high performance property-based testing
0
1
0
RT @PLpreprintBot: Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li."Freer Arrows and Why You Need Them in Haskell"
0
1
0
RT @Keleesssss: My DC Systems talk on the Nitty Gritty Bits of PBT is out! Thanks to @AntithesisHQ for hosting, @gabe_guerra_ and @aaroneli….
0
9
0
RT @yminsky: I'm pleased to announce OxCaml!. OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and don….
0
238
0
RT @anmolkabra: 🚨 Our paper PhantomWiki is accepted to ICML 2025 @icmlconf!. OG: 🧑💻We designed it as a future-pro….
0
1
0
RT @elefthei: 🎉 Our paper “Structural Temporal Logic for Mechanized Program Verification” was accepted at OOPSLA 2025! We introduce Ticl, a….
0
8
0
RT @PLpreprintBot: Kai Pischke, Nobuko Yoshida."Asynchronous Global Protocols, Precisely: Full Proofs"
0
1
0
RT @awsTO: As part of SIGPLAN blog, Adrian Sampson and I started an interview series where we talk to PL luminaries. Our first one is a sup….
0
19
0
RT @charliermarsh: Today, we’re announcing the preview release of ty, an extremely fast type checker and language server for Python, writte….
0
515
0
RT @_chenson__: @slimjimmy_dev @Aron_Adler. My attempt to reply to this turned into a short blog post "Beginner Resources for Formalizing L….
0
5
0
RT @AntithesisHQ: We took a short break because of #bugbash but the #dcsystems meetup returns on Tuesday May 13th!. This edition features….
0
5
0