Ningning Xie (@xnningxie)

Ningning Xie Retweeted

D

Demis Hassabis@demishassabis · Jul 21

We've now been given permission to share our results and are pleased to have been part of the inaugural cohort to have our model results officially graded and certified by IMO coordinators and experts, receiving the first official gold-level performance grading for an AI system!

14

32

1.0K

32

67.0K

N

Ningning Xie@xnningxie · Jul 21

We're all excited to see our advanced Gemini Deep Think model achieve a gold-medal level performance in the recent IMO, solving 5 of the 6 problems perfectly (35 of 42 points)! 🥇 Unlike our entry last year, which first converted the problems to a formal proof language (Lean),…

TThang Luong@lmthang · Jul 21

Very excited to share that an advanced version of Gemini Deep Think is the first to have achieved gold-medal level in the International Mathematical Olympiad! 🏆, solving five out of six problems perfectly, as verified by the IMO organizers! It’s been a wild run to lead this…

24

76

912

69

87.0K

Ningning Xie Retweeted

K

KC Sivaramakrishnan@kc_srk · Jul 1

This should be fun!

5

12

127

36

5.0K

N

Ningning Xie@xnningxie · Jun 27

Tsung-Ju did all the work for the paper---the design, mechanization, and the implementation. It's amazing work!

TTsung-Ju Chiang@tsungjuc · Jun 27

Our paper Multi-Stage Programming with Splice Variables, co-authored with @xnningxie, has been accepted to ICFP'25 😀! We designed a language for flexible, type-safe code generation, with advanced features like code pattern matching — enabled by what we call splice variables.

0

1

36

2

3.0K

Ningning Xie Retweeted

T

Tsung-Ju Chiang@tsungjuc · Jun 27

You can try out the language with this interactive demo: 👉tsung-ju.org/icfp25/ And here’s the paper: 📄tsung-ju.org/icfp25/Multi-S…

0

2

15

2

1.0K

Ningning Xie Retweeted

T

Tsung-Ju Chiang@tsungjuc · Jun 27

Our paper Multi-Stage Programming with Splice Variables, co-authored with @xnningxie, has been accepted to ICFP'25 😀! We designed a language for flexible, type-safe code generation, with advanced features like code pattern matching — enabled by what we call splice variables.

2

13

53

13

6.0K

N

Ningning Xie@xnningxie · Jun 24

PLMW @ ICFP/SPLASH 2025 is calling for student applications!! Details: conf.researchr.org/home/icfp-spla… Application form: forms.gle/yk6JdC55tMNx92…

0

6

2

953

Ningning Xie Retweeted

P

POPL 2026@poplconf · Jun 24

Are you preparing for POPL'26? Now it's the perfect time to make your submissions! Call for papers (due July 10 AOE): popl26.sigplan.org/track/POPL-202… Call for Workshops and Co-located Events (due July 25 AOE): popl26.sigplan.org/track/POPL-202… We're looking forward to another exciting year!!!

0

2

14

0

1.0K

Ningning Xie Retweeted

P

PLDI@PLDI · Jun 23

4. Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic (doi.org/10.1145/3729246) 5. Practical Type Inference with Levels (doi.org/10.1145/3729338) 6. AWDIT: An Optimal Weak Database Isolation Tester (doi.org/10.1145/3742465)

0

3

7

2

1.0K

N

Ningning Xie@xnningxie · Jun 9

Good luck with your submissions!!!

NNingning Xie@xnningxie · May 28

Only two weeks left to submit your paper to the Haskell Symposium 2025 (ddl June 9 AOE)! Consider submitting a paper and join us in Singapore, where Haskell'25 will be co-located with ICFP and SPLASH: conf.researchr.org/home/icfp-spla…

0

8

0

1.0K

N

Ningning Xie@xnningxie · Jun 6

deadline approaching!!!

NNingning Xie@xnningxie · May 28

Only two weeks left to submit your paper to the Haskell Symposium 2025 (ddl June 9 AOE)! Consider submitting a paper and join us in Singapore, where Haskell'25 will be co-located with ICFP and SPLASH: conf.researchr.org/home/icfp-spla…

0

1

0

878

N

Ningning Xie@xnningxie · May 28

Only two weeks left to submit your paper to the Haskell Symposium 2025 (ddl June 9 AOE)! Consider submitting a paper and join us in Singapore, where Haskell'25 will be co-located with ICFP and SPLASH: conf.researchr.org/home/icfp-spla…

0

4

11

0

4.0K

Ningning Xie Retweeted

G

Graham Hutton@haskellhutt · May 6

FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 30th May 2025. Please share! tinyurl.com/jfp-phd-abstra…

4

25

68

15

5.0K

N

Ningning Xie@xnningxie · Apr 2

😂

ZZhongtang Luo@zhtluo · Mar 27

Do you know that a system paper might be worth 3 AI papers in computer science according to some dubious metric? I launched an interactive website to measure the relative effort spent on one top-tier paper in each computer science field. cspubs.org

0

5

1

2.0K

Ningning Xie Retweeted

M

Matthew Parkinson@ParkyMatthew · Jan 20, 2023

I am immensely honoured that yesterday at #popl23 the Views paper has been names the “Most Influential Paper from POPL’13”. I have always loved POPL, and to receive this honour is truly amazing.

10

30

208

37

27.0K

Ningning Xie Retweeted

I

Ilya Sergey@ilyasergey · Feb 17

A prolific security researcher: “I work on post-quantum crypto, zk-based L2 blockchain scalability, fuzzing, trusted execution environments, membership inference attacks, neural code synthesis and AI-powered formal proofs”. A prolific PL researcher: “I work on effect handlers”.

7

5

88

12

6.0K

Ningning Xie Retweeted

P

POPL 2026@poplconf · Jan 12

Planning your POPL trip? You can now read papers you're interested in from the PACMPL (Vol. 9, No. POPL) proceeding! dl.acm.org/toc/pacmpl/202…

0

6

25

2

3.0K

Ningning Xie Retweeted

P

POPL 2026@poplconf · Jan 7

Happy New Year -- rather excitingly, POPL'25 is happening in 2 weeks! Haven't registered? Come and join us! popl25.sigplan.org/attending/regi…

0

3

14

0

2.0K