Yongwei Yuan
@YuanYongwei
Followers
236
Following
255
Statuses
21
Ph.D. student in Programming Language, Purdue https://t.co/uj73YuWK0C
West Lafayette, IN
Joined March 2020
RT @purdue_pl: Absolutely delighted to announce that two of these works were recognized as distinguished papers! Congrats to Zhe and Yongwe…
0
6
0
RT @konet: I am glad to announce that the tutorials and presentations of our first neurosymbolic programming summer school are now availabl…
0
29
0
RT @roopshasamanta: And we are done with our #PLDI2022 tutorial! Will share the link to the recording when it’s available. @NouraldinJaber…
0
4
0
@TzuHanH @roopshasamanta @awscloud @amangoelumich Thank you, Roopsha! @TzuHanH I am definitely up for a bubble tea meet! Let's figure out a time once the internship starts😊
0
0
1
RT @jbhuang0604: How to communicate clearly? Majority of our time goes into emails, slack messages, and loads of meetings. Yet, as a stu…
0
124
0
RT @yihongz_bot: I have a research blog now! Here I’m glad to introduce my first blog post: A Trick that Makes Classical E-Matching Faster.…
0
7
0
RT @AndersMiltner: I am on the academic job market this year! I’m a PL researcher working in synthesis and automated verification. I want t…
0
21
0
RT @LambdaDays: You cannot miss this! @kc_srk, Professor & Hacker, introduces effect handlers in OCaml, walking through several examples th…
0
13
0
RT @sangeetha_a_j: Undergrads who are getting started with research often get stuck because they are unfamiliar with various tools. I now p…
0
263
0
Look at us, enjoying sandwiches under sunshine with cool people! @ChrisWagn3r @NouraldinJaber @roopshasamanta
0
2
26
RT @propensive: I'm preparing for my talk, A Visual Language for Types, at @scala_love next week. Here's one of about fifty type diagrams I…
0
9
0
RT @roopshasamanta: @IsilDillig, @polikarn, & I all seem to be offering program verification &/or synthesis courses this spring! Check bac…
0
20
0
Indeed!
A huge relief for international students; I am really happy for them as I know very well the stress that they have been living under #AcademicTwitter
0
0
1
RT @roopshasamanta: I am looking for a grad. student or a postdoc to work on our MANTIS project on semantics-driven inductive synthesis. A…
0
30
0