Ningning Xie
@xnningxie
Followers
4,106
Following
319
Media
32
Statuses
364
Having fun with types! @UofTCompSci @GoogleDeepMind
Joined August 2016
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
#HouseOfTheDragon
• 587733 Tweets
Le Pen
• 581585 Tweets
Melenchon
• 308923 Tweets
Rhaenys
• 273348 Tweets
seokjin
• 191994 Tweets
Meleys
• 179489 Tweets
Bautista
• 179103 Tweets
Emma
• 163053 Tweets
FRED GLOBAL AMBASSADOR JIN
• 155110 Tweets
#HOTD
• 142525 Tweets
#OccupyMOH
• 127690 Tweets
Aegon
• 109662 Tweets
#JinxFredJewelry
• 106265 Tweets
Vhagar
• 104577 Tweets
Aemond
• 104102 Tweets
Serena
• 68679 Tweets
Daemon
• 68632 Tweets
Sunfyre
• 44921 Tweets
#MondayMotivation
• 34552 Tweets
KMPDU
• 32966 Tweets
間宮結婚
• 22730 Tweets
Francji
• 22363 Tweets
セレクトセール
• 22104 Tweets
hyuna
• 18910 Tweets
間宮祥太朗
• 17975 Tweets
ドウデュース
• 15953 Tweets
萩のツッキー
• 15923 Tweets
PakPRABOWO SiapkanPROGRAM
• 15620 Tweets
Frankrijk
• 15192 Tweets
UntukNKRI LebihSEJAHTERA
• 15006 Tweets
Convenience
• 14184 Tweets
Happy New Week
• 13967 Tweets
Happy to share that I will join as an assistant professor in the Department of CS at the University of Toronto in Fall 2023
@UofTCompSci
!
From Fall 2022 I will also work as a research scientist at Google Brain
@GoogleAI
!
Very much looking forward to the next stage of my career!
51
8
673
Proud advisor moment: my PhD student Tsung-Ju gave his first ever research talk at Jane Street
2
15
410
Another faculty application season. Have been thinking about sharing some application experience for a long time. Now that I’ve finally moved to Toronto during the winter storm, it might be a good time to start this thread. (1/n)
2
30
347
If your name has the same pattern (or are willing to be turned into the same pattern), let me know and we should collaborate!
9
4
193
Excited to share that Perceus won a
@PLDI
2021 Distinguished Paper Award!
Having both a Distinguished Paper Award at POPL (2020) and at PLDI (2021) (as a (co-)first author) marks a perfect ending of my PhD.
Yes, I will be on the job market next year :)
9
15
183
Compile-time code generation for OCaml?
Stay tuned for our paper "MacoCaml: Staging Composable and Compilable Macros", conditionally accepted at
#ICFP2023
.
Joint work with Leo White,
@OlivierNicole1
, and Jeremy Yallop
5
23
159
I'm actively looking for students!
Apply to UofT and work with me if you're interested in programming languages, and/or their applications in broad domains (e.g., machine learning)
Get to know our newest
@UofTCompSci
faculty members, joining us throughout 2022 and 2023👋
Read more:
0
6
60
6
22
138
I am on the academic job market in programming languages (with focuses on functional programming and type theory).
Website:
CV:
5
34
128
As one step to promote Functional Programming in China, we're working on a proposal to upgrade ICFP to a rank A conference in the China Computer Federation ranking ().
HELP WANTED: is there any ICFP statistic data we could find to strengthen our proposal?
8
10
107
On my way back from the airport the Uber driver asked me if I’m Chinese.
Me: yes
He: So Happy New Year!
So yeah, Happy Chinese (Lunar) New Year!
1
0
95
Glad to share that our POPL submission got rejected (AABCC).
Haven't had rejections for a while so I guess it's good time for me to slow down a bit and think about what I'd like to do in the future.
7
1
90
Any recommendations for good tutorials and/or introductory papers on dependent types for students?
13
10
86
I will start as a research associate in Cambridge the coming fall. Any friend in Cambridge (or UK generally) would like to have a coffee together sometime?
9
1
82
Happy to share that our paper, "Staging with Class", a formalism of Typed Template Haskell w/ its subtle interaction with type classes, has been conditionally accepted at
@poplconf
!
Joint work with amazing people:
@mpickering_
,
@nicolasgwu
,
@kosmikus
, Jeremy Yallop and Meng Wang
4
6
83
Check out "flap: A Deterministic Parser with Fused Lexing", first work I did at Cambridge and joint work with Neel Krishnaswami and Jeremy Yallop
5
14
82
Happy Lunar New Year!!!
Wish you all the best in the year of the Dragon 🐉
0
3
73
Attending
@PLDI
'23?
Jeremy Yallop will be presenting our work "flap: A Deterministic Parser with Fused Lexing" at 17:40 Wed 21 June, by telling you how lexer and parser can be fused to achieve performance faster than ocamlyacc!
paper:
1
7
66
Paper is up!
Compile-time code generation for OCaml?
Stay tuned for our paper "MacoCaml: Staging Composable and Compilable Macros", conditionally accepted at
#ICFP2023
.
Joint work with Leo White,
@OlivierNicole1
, and Jeremy Yallop
5
23
159
0
14
66
Just heard the rumor that I have successfully defended my PhD! Great thanks to my advisor Bruno Oliveira (
@bcdsoliveira
), the committee chair Sergio Lourenco, and my examiners Giulio Chiribella, Zhiyi Huang (
@hzhiyi_tcs
), and Simon Peyton Jones (
@simonpj0
). (1/3)
5
2
57
I suppose I don’t need to announce new papers anymore now that I have got jobs, but still:
- First class names for effect handlers (oopsla22) with
@yuyuchazuke
, Kazuki Ikemori, and Daan Leijen
- Applicative intersection types (aplas22) with
@juniorxxue
and
@bcdsoliveira
1
6
56
I must admit chairing a conference makes you feel so exhausted yet gives you a great sense of accomplishment
2
1
53
My first in-person conference ever since the pandemic is going to be
#POPL2022
at Philly next week!
Please come say Hi 😊
2
2
50
Thanks so much for the recognition!🥰
Congratulations also to Jeremy Yallop,
@xnningxie
& Neel Krishnaswami! They won Publication of the Year (against stiff competition) for 'flap: A Deterministic Parser with Fused Lexing'.
0
2
13
2
2
50
Looking forward to
#ICFP2023
next week!
1. I will talk about "MacoCaml: Staging Composable and Compilable Macros" at ICFP; and
2. Jeremy Yallop will present "Safe and efficient generic functions with MacoCaml" at the OCaml workshop
1
2
47
Still WIP, but would like to spread the words already -- we have a group website for the PLSE group at UofT:
:)
0
5
43
Happy to share that our work "Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning" has been accepted at
#MLSys2022
!
First time submitting to a Non-PL (ML + systems) conference and it has been extremely fun!
1
0
44
Delighted to share that our paper "Perceus: Garbage Free Reference Counting with Reuse" has been conditionally accepted to
#PLDI2021
, written with Alex Reinking,
@leodemoura
, and Daan Leijen.
A technical report version is available:
4
8
41
Wish future POPLs will not overlap with Chinese New Year ('s Eve) again.
(Happened once in 2020, and happening again in 2023)
2
1
41
Glad that you enjoyed it! 😊
Effect handlers, the selection monad and machine learning. What's not to love about
@xnningxie
's keynote talk at the
#HaskellSymposium2023
during the
#ICFP2023
week. A lovely picture of Gordon Plotkin (collaborator on this work) to boot.
0
6
40
0
3
38
I am happy to announce that in this year's Haskell Implementors' Workshop (HIW 2021), Bengt Marten Agren from Standard Chartered, as our keynote speaker, will share with us "Haskell reinterpreted – large-scale real-world experience with the Mu compiler in Financial Markets".
2
15
37
- Do you know that you have grown up so much that you don’t fit into this small box anymore?
- Oh yeah? We will see
1
0
37
Seeing positive feedback on Koka from a (totally irrelevant) thread on High-order Virtual Machine made my day!
0
1
37
As a gift for speaking, I just received today a box of ETH-shaped chocolates!! How sweet it is!!
Thanks again for having me, and for the chocolates! 😋
We're excited to have an excellent line-up for our ETH reliability workshop next week, Oct 25-26, with
@mboehme_
, George Candea,
@byroncook
, Deepak Garg,
@j_gottschlich
,
@AndersMiltner
,
@polikarn
,
@xnningxie
!
Registration:
@CSatETH
@mvechev
@zhendongsu
0
3
16
1
1
34
But wait, I sort of like reformatting papers, as it gives you a feeling of doing something while you're actually doing nothing
SIGPLAN PL Perspectives Blog: PLDI will join PACMPL
0
6
49
5
0
35
For people who are interested in Perceus and thought that our PLDI2021 talk was too short, this is the invited talk I gave at Edinburgh earlier this year, explaining in more detail the transformation and theoretical results in Perceus:
2
6
35
And check out "Safe and efficient generic functions with MacoCaml"!
This year’s OCaml workshop program looks great! Multiple papers/talks on flambda2, WebAssembly and Multicore.
2
23
94
0
7
34
Join the best CS department in Canada!
Join us at
@UofTCompSci
!
We are now hiring for multiple tenure-stream positions in all areas of computer science.
Get the details:
#csjobs
0
20
36
0
3
34
In about 1.5 hours, Daan and I will give an ICFP tutorial on Koka. It will be live-streamed on Youtube. Come and have fun with algebraic effects and FBIP (functional-but-in-place).
0
3
34
Application summary: I applied to ~35 CS departments, got 12 full interview invitations, did 9 of them, and received 7 tenure-track assistant prof offers: George Tech, Wisconsin Madison, Cornell (US), Waterloo, U of Toronto (Canada), ETH Zürich, MPI-SWS (Europe). (3/n)
1
0
34
The
#ICFP2021
week is coming!
Please join us in our talk Generalized Evidence Passing for Effect Handlers. Daan and I will attend Q&A in the mirrored band.
(1/4)
1
0
29
PLDI'24 is looking for Artifact Evaluation Committee (AEC) members. Please nominate yourself!
For more information please check our site:
0
10
29
The whole world is an effect handler that gives semantics to every operation I perform.
2
1
28
Have your paper conditionally accepted at PLDI'24? Congratulations!
Remember to register your artifact before Monday, 4 March AOE.
Details:
0
1
28
Extended version available on Arxiv:
0
3
28
RIP
1
0
28
OK I think this little boy (or a girl?) has decided to settle down in our balcony as he has been coming back to sleep here everyday for this whole week
2
0
28
It was great co-hosting
@ShangyinT
as a student researcher at Google Brain / Google DeepMind this summer. Looking forward to continuing collaborating!
1
1
27
So grateful to the reviewers who read through our reply carefully. This work got conditionally accepted at ICFP! We worked extremely hard on the rebuttal but still cannot believe that it really made a difference!
Sometimes the adversarial Reviewer 2 gave you a Strong Reject and was so confident and gave you a counter example to one of your lemmas, and it turns out the counter example does not type-check. What would you do?
2
0
7
1
0
26
Planning my trips to MLSys and ICFP!
Will be hiring students for 23-24 academic year so if you're interested come and say hi!
0
0
26
Statistics: I have published 12 papers (with 10 as first author), and received 2 distinguished paper awards. I have so far had 20+ collaborators from 10+ different institutions. I spent half of my Ph.D. in Hong Kong, and the other half visiting researchers all around the world.
1
0
22
Are you a student? Working on some really cool research? Please consider submitting your undergoing work to SPLASH SRC, held in beautiful New Zealand! New deadline *July 28*
🥳 Don’t miss today’s deadline to apply for the Student Research Competition at
#SPLASH2022
.
So many reasons to submit your 2 page abstract if you have not done so yet:
1
3
7
1
6
22
Wisconsin-Madison: They have one of the strongest PL groups and I almost took the offer, especially since they promised me a cat in the startup package and I have been wondering if I could still claim it... (23/n)
2
1
20
It has been so much fun! Thanks for organising the meeting
Shonan 203 - Effect Handlers and General Purpose Languages is coming to an end.
Thanks to everybody who helped organize, participated, and contributed to the Seminar!
I had a great time, learnt a lot, and have plenty of new ideas 💡
2
6
54
1
0
19
ICFP'23: we offer a rate of 209 USD per night for the conference hotel
Actually: 209 room + 32.81 tax + 25 destination amenity fee + 4 convention fee = 270.81 USD per night
4
0
18
Preprint:
Happy to share that our paper, "Staging with Class", a formalism of Typed Template Haskell w/ its subtle interaction with type classes, has been conditionally accepted at
@poplconf
!
Joint work with amazing people:
@mpickering_
,
@nicolasgwu
,
@kosmikus
, Jeremy Yallop and Meng Wang
4
6
83
0
0
16
Just accepted another PC invitation. Should probably make that my last PC service for 2023...
0
0
15
Me after chairing a session at the ML workshop: I should practice more how to pronounce French names
1
0
15
and of course my current stay at Bristol with Meng Wang. Thanks to all the people who have made this journey worth it: my families, friends, collaborators, and so many people I met during conferences! You may address me as Dr. Xie now 😊 (3/3)
2
0
15
wait isn't this place right next to *Google Montreal*?
Having been walking to the office for 2-weeks...
0
0
15
Curious: if a student sometimes asks you to meet at night, what would you say?
7
0
14
Application deadline *Dec 1st*
I'm actively looking for students!
Apply to UofT and work with me if you're interested in programming languages, and/or their applications in broad domains (e.g., machine learning)
6
22
138
0
2
14
I started my application really late. I was finishing two papers in October (OOPSLA & MLSys), and immediately after that I was preparing a talk at a workshop (). I also just moved to Cambridge. In the end I started working on my materials end of Oct. (4/n)
1
0
14
Very excited to be there! Come and join us for fun discussions!
We're excited to host this year's Workshop on Dependable and Secure Software Systems (online), Oct 25-26. We look forward to many excellent talks and fun discussions!
Registration:
@ETH_en
@CSatETH
@mvechev
@zhendongsu
Peter Müller, Markus Püschel
0
7
24
2
0
13
My general guidance is to do at most one interview per week, as doing one takes lots of energy and you should enjoy a little break afterwards. Also often a few days before an interview you’d know who you’d be meeting with, so the break allows you to be better prepared. (8/n)
1
0
13
Including but not limited to the number of conference participants, impact of ICFP papers, or any other evidence demonstrating that ICFP is as good as other A-rank PL conferences (POPL/PLDI/OOPSLA).
2
1
13
Happening today! The very last talk of the main program and a perfect way to conclude your PLDI journey!
Attending
@PLDI
'23?
Jeremy Yallop will be presenting our work "flap: A Deterministic Parser with Fused Lexing" at 17:40 Wed 21 June, by telling you how lexer and parser can be fused to achieve performance faster than ocamlyacc!
paper:
1
7
66
1
0
12
Last time I saw a solar eclipse was 2009 in China. After 15 years!
1
0
12
I received most interview invitations in Jan-Feb. I chose in person interviews whenever possible, as I think it’s important to get to know the places and also equally important for them to know me as a person. (6/n)
1
0
12
That said, I must admit virtual interviews were easier: no travel, holding meetings with notes open in another window, easy sending links in the chat box etc. (7/n)
1
0
11
First and foremost, while I’m not going to mention any names in this thread, I have received tremendous advices and helps from friends and supportive professors. So yes, always ask for help! (2/n)
1
0
11
So in March, when I have got some offers, I started turning down a few scheduled visits to not burn myself out, but now I regret it: it’d have been fun to visit those places and professors there, even in the end you didn’t get or take an offer. (11/n)
1
0
11
How to prepare 1:1 meetings? I don't know if there is a best strategy. What I did mostly is to find their webpages, learn about their backgrounds, skim through their papers, find some interesting ones to take a closer look, and prepare a few questions. (14/n)
1
0
11
But I did ask for letters during the summer, so at least I was able to catch most application deadlines. I submitted a few applications after the deadlines, which was a bad idea. Like I received emails from some places in May next year saying they just saw my application. (5/n)
1
0
10
Thanks to everyone who attended our "Effect Handlers in Haskell, Evidently" talk. Hope you enjoyed it!
Our approach is available as a Haskell library:
Check it out and let us know how you like it!
2
4
10
I did all interviews in Feb-April. While it’s possible to schedule ones in Jan, as I said, I started really late, so I was still working on my slides in Jan. I’d recommend interviewing earlier, as having earlier results gives you lots of flexibilities in the season. (9/n)
1
0
10
For a visit, the schedule is usually: having breakfast with your host in the morning, giving the job talk, and 1:1 meetings. I ended up meeting with like 100+ professors during the whole season. Most (if not all) of them were very kind and friendly. (13/n)
1
0
8
Put my GDM hat on:
3. I will give a keynote "Haskell for choice-based learning" at the Haskell Symposium; and
4. Adam (
@apaszke
) will present "Infix-extensible Record Types for Tabular Data" at TyDe
0
0
9
In 42 hours! Haven't decided whether your talk is good at HIW? Submit it and let the program committee figure it out for you! Talks from all level Haskellers are welcome, and all we ask for is *an abstract*!
The 13th Haskell Implementors’ Workshop Call for Talks is out! We are looking forward to your cool ideas about Haskell implementations/tools/libraries/etc.
0
3
4
1
5
9
Another background information is I have a 2-body constraint, so it’s important to choose a place where we both feel happy about. Given our options around that time I think we made right decisions. (12/n)
1
0
9
With 12 interviews, however, it became inevitable to have 2 interviews in one week. It happened to me once that I did an in person visit in the beginning of a week and one day after I flew back I had a virtual visit scheduled. Sometimes you just have to carry on. (10/n)
1
0
9