Rachit Nigam @notypes Twitter profile | Pikagi

Pikagi

Rachit Nigam

@notypes

5,037

Followers

1,332

Following

317

Media

3,722

Statuses

Incoming professor at MIT. Programming Languages, Compilers, Computer Architecture

https://t.co/qjIvpiJXxY

Joined December 2017

Don't wanna be here? Send us removal request.

Pinned Tweet

@notypes

Rachit Nigam

2 months

I am delighted to announce that I'll be joining @MIT_CSAIL as a tenure-track assistant professor in the 2025-26 academic year! MIT has an incredible history of connecting programming languages with computer architecture and I could not imagine a better place to pursue my work!

61

25

907

Last Seen Profiles

@EngVocaPromo

@RETSU_Sein

@AlbertoEjido7

@shintamhrni__

@XohebS

@stwmaniax

@geshukukan

@btsgaggedme_

@angelina_swang

@bryguy1955

@BinorRaja

@bokeplokalmalam

@gaymaleaddict

@Ane2smi

@bokeplokalmalam

@TruthSlingerX

@ibubohay2

@remsdwt

@tsgirlcandy

@John27416

@kexun00

@jacobjarv

@rikuriao

@PilotMJN

@alvarominaya23

@Sukabinorstw11

@cncpts

@MSCcardshop

@DubinskyZach

@bokeplokalmalam

@castapella

@bokeplokalmalam

@saunderseli13

@Zesandayo

@theCAMBOYS

@stw_pdg

@notypes

Rachit Nigam

5 years

I want to start this trend in academic papers:

Tweet media one

17

561

2K

@notypes

Rachit Nigam

2 years

okay hear me out: instead of serving alcohol at profession events like conferences (where younger students can't consume it anyways), we were to instead offer boba It sounds ridiculous but: 1. everyone likes boba 2. It probably has less sugar than a can of soda

32

19

353

@notypes

Rachit Nigam

2 years

do theory: it's not practical do applied: it's not deep build on infrastructure: it's not novel build new things: you're reinventing the wheel i wish i could win

11

32

285

@notypes

Rachit Nigam

2 years

My net income for the last three months is negative because I keep paying for conferences and not getting reimbursed for months This whole "exploiting me because I like my job" thing is getting real old now. Give grad students now P-cards ffs CC @CornellGSU @CornellCIS

Tweet media one

7

19

236

@notypes

Rachit Nigam

4 years

#GradSchool hack: find a paper reading partner and schedule a weekly reading time. I‘ve read papers more consistently in the last month than almost any other time in grad school.

4

7

213

@notypes

Rachit Nigam

4 years

Potentially dumb question: If pure functional languages are "inherently parallel", why aren't the programs I write in them magically faster?

44

6

201

@notypes

Rachit Nigam

3 years

Dear Sir, You Have Built a Compiler: Addressed to, Those who did not want to build a compiler

7

24

181

@notypes

Rachit Nigam

4 years

OH: "Deadlocks are memory safe; you can't do anything bad to memory if you can't do anything"

5

20

180

@notypes

Rachit Nigam

2 years

Super humbled and excited to be supported by Jane Street's Fellowship next year!! I'm particularly happy because Jane Street is a solid PL shop and is working on making Hardware Design accessible to the rest of the world so they basically combine all my interests!

@yminsky

Yaron (Ron) Minsky

2 years

Exciting news! Jane Street has announced the winner's of its first Graduate Research Fellowship: It was a great process, and we were all deeply impressed with the quality of the applicants.

3

3

94

11

3

172

@notypes

Rachit Nigam

4 years

Your annual reminder that grad school is, in fact, very hard. You only survive because of supportive people who cheer you on despite your failures.

3

6

159

@notypes

Rachit Nigam

1 year

Priya was my mentee, collaborator, and a good friend. I will always miss them:

@TaliaRinger

Talia Ringer 🟣 🎗️

1 year

Everyone who knew Priya will always miss the bright light they were, and I want people to remember them, and I want to remember them as I move into a space in which I now remember another bright light that went out this week, just this light in time and in peace

0

5

51

7

18

143

@notypes

Rachit Nigam

1 year

I'm going on the academic and industrial research job market in Fall 2023! I'm interested building cool programming languages, compilers, and hardware accelerators Also, I'm spending my last year of grad school at @MIT_CSAIL with @jrk working on programmability of accelerators

@notypes

Rachit Nigam

1 year

FCRC (and @PLDI ) is done! Couple of highlights: I gave my first-ever conference talk*, which was on ! A packed room with lots of cool PL and @ISCAConfOrg people Recording: (Yes, that's John Hughes and Mary Sheeran in the front!!)

Tweet media one

Tweet media two

2

2

42

4

19

135

@notypes

Rachit Nigam

2 years

Thread on companies and teams doing fun programming languages, architecture, and compilers work! Feel free to respond below with self plugs and I'll retweet in the thread 🧵

20

16

134

@notypes

Rachit Nigam

5 years

I'm delighted/excited/thrilled to announce that my first grad school paper "Predictable Accelerator Design with Time-Sensitive Affine Types" has been conditionally accepted to @PLDI 2020! 🎉🎈🥳🍾 Short thread on some of the results and a link to the preprint >>

@notypes

Rachit Nigam

5 years

This week: Cons: broke my wrist Pros: still submitted a @PLDI paper (with huge thanks to my awesome collaborators @peacock_samuel , @samps , @tbauer242 , @qino_sd , @Sachillea , and other people too cool for twitter)

Tweet media one

3

0

34

9

8

135

@notypes

Rachit Nigam

3 years

After long deliberations, the "special committee on the Rachit Situation" has decided that I can no longer continue as a PhD Student at Cornell. I must spend the remainder of my time as a PhD candidate. Feel free to blame/thank @samps , @natefoster (and other non twitter folk).

@notypes

Rachit Nigam

3 years

I'm proposing my thesis on May 5th @ 8.30am EST! If you'd like to attend please DM me. I reserve the right to say "no" if too many people message me.

Tweet media one

1

0

56

13

0

129

@notypes

Rachit Nigam

4 years

FWIW, I have enjoyed every moment studying in the USA — surrounded by people who judged me by my ideas instead of my color, my background, or place in the hierarchy. I hope I can continue doing that.

2

8

118

@notypes

Rachit Nigam

10 months

Hi everyone! I'm on the research job market this year. I build new programming models to make the *design* and *use* of customized hardware easier Some highlights: (1\n)

4

29

110

@notypes

Rachit Nigam

1 year

every international student is successful *despite* being an international student there are no obvious benefits to this life we just rely on the incredible kindness of people to make us feel home

@notypes

Rachit Nigam

1 year

everything is always twice as hard getting an internship, collaborating with people, traveling to conferences, fellowships everything, all the time

2

1

63

3

7

117

@notypes

Rachit Nigam

2 years

Super excited to announce that our work, "Stepwise Debugging for Hardware Accelerators", is conditionally accepted to ASPLOS '23! Checkout the thread for a summary 🧵

1

8

113

@notypes

Rachit Nigam

1 year

I used to worry a lot about "competing projects" in my area of research but after ~5 years I've realized most projects stop evolving 5 minutes after a paper deadline The way to "win"/do deep research is to keep on building upon your work and infrastructure

4

6

111

@notypes

Rachit Nigam

2 years

@natefoster told me that a PhD is three papers: 1. You get a problem, a solution and you implement it 2. You get a problem, you solve and implement it 3. You find the problem The gap between 2 & 3 is so infinitely, dauntingly big that it took forever to cross

4

14

109

@notypes

Rachit Nigam

2 years

I'm seeing anecdotal evidence that attrition rates among PhD students who started during the the pandemic are higher As I keep saying, without a community of people to support and encourage you, this job is just a lot of work without a whole lot of anything else

4

4

105

@notypes

Rachit Nigam

1 year

I'm absolutely delighted to announce that our paper "Modular Hardware Design with Timeline Types" has been accepted to @PLDI '23. The paper is written in an extremely example-heavy manner so you only have to read the first 2 sections to get it! 1/n

6

7

105

@notypes

Rachit Nigam

1 year

People should stop being afraid of the word compiler: (and stop making up words)

6

17

104

@notypes

Rachit Nigam

5 years

(1/n) Observed an exchange between a student and a senior faculty: S: Do you consider X in this project? F: Of source, I've done some work in X *scoffs*. *everyone in the room laughs at S*. The faculty was a renowned researcher in X. The student wasn't a part of the community.

1

19

101

@notypes

Rachit Nigam

2 years

one reason why the thought of graduating from my PhD program is so terrifying is because I now know that I do not know so many things

7

2

99

@notypes

Rachit Nigam

3 years

In 30 minutes of random hanging out with my friend/colleague, I made more progress on research than I did alone in this week the immeasurable cost of lost creativity from these random encounters during my pandemic PhD will keep me up for many nights

0

1

97

@notypes

Rachit Nigam

2 years

Papers sometimes feel like a terrible way to communicate systems research; systems continue evolving but papers are static Our compiler () is three years into development but people keep citing the paper and discussing limitations that have been addressed

4

6

97

@notypes

Rachit Nigam

4 years

I've been at @CornellCIS for ~2 years now! I wrote a blog post about all the ups and downs during this time: I added a "failures" section to highlight that I spend most of my time failing at things.

3

7

91

@notypes

Rachit Nigam

2 years

After exactly 4 years at @CornellCIS , I'm moving to Seattle to hang out with the @uwplse folks as a visiting student I will pursue the final contractual obligation of my PhD: the Seattle-to-Portland bike; an apparent tradition of my academic lineage b/w @samps @djg98115

Tweet media one

5

1

87

@notypes

Rachit Nigam

2 years

I sometimes worry that we write papers for reviewers instead of general readers

8

0

84

@notypes

Rachit Nigam

3 years

#CornellPL has got some new friends!! Welcome @alexandra8silva and Justin Hsu!

Tweet media one

2

6

83

@notypes

Rachit Nigam

3 years

The final versions of our two ASPLOS papers are up! Now with beautiful artifact evaluated logos! Go check 'em out! Calyx: Diospyros:

Tweet media one

Tweet media two

5

3

80

@notypes

Rachit Nigam

2 years

Instead of saying that "cornell owes me $3k in reimbursement", I'm going start saying that "I gave a multi-billion dollar institute an interest-free loan for thousands of dollars"

0

5

79

@notypes

Rachit Nigam

2 years

Common adage in PhD programs is to not worry about the money but that only applies if you have enough money already to not worry Prospective students: this is definitely a plus. Carefully contemplate what your life will look like with 29% more money

@AntonisPs

ΛNTONIS

2 years

. @IllinoisCS announced earlier that the compansation of its PhD students will be increased by ~29% (!!) effective in Aug. 2023. 😍🥲 #UIUC

9

6

169

0

6

77

@notypes

Rachit Nigam

1 year

I'm absolutely delighted to announce that our paper "Modular Hardware Design with Timeline Types" will appear at @PLDI '23 The paper is written in an extremely example-heavy style so you only need to read the first two sections to get the big ideas! 🧵

2

9

78

@notypes

Rachit Nigam

4 years

A sufficiently advanced compiler is indistinguishable from a program synthesizer.

6

6

73

@notypes

Rachit Nigam

2 years

I've written several papers in grad school but this one is unique I remember the day I saw the problem It took me couple of months to show it was worth solving and a couple more to solve it And so, 1.5 years later, I have solved a problem that I decided was worth solving

1

0

70

@notypes

Rachit Nigam

6 months

In a particularly angst period of my PhD, a prof told me: """ It's very easy to avoid feeling like an imposter. Just stop trying to do new things Every time you do something new, someone else has been doing it for longer, better, and more successfully """

2

4

69

@notypes

Rachit Nigam

2 years

All people starting PhDs–do an industry internship this summer if you can. That "small" amount of money is basically the entire financial buffer you'll have for 5-6 years I can't believe how many grad students i know live paycheck-to-paycheck and this is in CS #AcademicChatter

@notypes

Rachit Nigam

2 years

i love fronting money for this billion dollar institute so that the slow bureaucracy can take weeks to process my reimbursements while i'm out a significant portion of my net worth #AcademicChatter

0

1

30

4

5

69

@notypes

Rachit Nigam

4 years

This alone should convince you to use Racket.

@lambda_calculus

David Van Horn

@lambda_calculus

4 years

current status

Tweet media one

5

61

374

1

9

67

@notypes

Rachit Nigam

1 year

Im super excited about this work!! My extremely grandiose pitch here is to do for hardware what @rustlang did for software: meaningful type safety for hardware design!

@LatchUpConf

Latch-Up

1 year

Last speaker before the break is @notypes talking about fearless hardware design using Filament

Tweet media one

1

1

17

2

10

67

@notypes

Rachit Nigam

4 years

PL Student Regrets Messing with The Compilers People

@notypes

Rachit Nigam

4 years

A sufficiently advanced compiler is indistinguishable from a program synthesizer.

6

6

73

1

2

66

@notypes

Rachit Nigam

1 year

Our 🌟research compiler🌟, Calyx (), is on Compiler explorer: Super nice to see it getting adopted by the community!! Lot of work to be done but a good start!

Tweet card media

Compiler Explorer - CIRCT (CIRCT opt (trunk))

module attributes {calyx.entrypoint = "main"} { calyx.component @main(%lhs: i32, %rhs: i32, %clk: i1 {clk}, %reset: i1 {reset}, %go: i1 {go}) -> (%out: i32, %done: i1 {done}) { %true = hw.constant...

3

5

64

@notypes

Rachit Nigam

2 years

a PhD is not a sprint or a marathon but a secret third thing

9

0

63

@notypes

Rachit Nigam

1 year

everything is always twice as hard getting an internship, collaborating with people, traveling to conferences, fellowships everything, all the time

2

1

63

@notypes

Rachit Nigam

5 years

(4/n) Researchers who mock ignorance annoy me. 1. We're not actively trying to be ignorant. If you point young researchers to a resource, they'll probably learn it. 2. You lacked knowledge at some point as well and would probably not be here if people around you mocked you.

4

5

62

@notypes

Rachit Nigam

4 years

I wrote a short overview on FPGAs and their programming models! I'm excited about this area not only because FPGAs allow software people like me to build hardware but also because PL people have so much to offer in this space!

0

15

62

@notypes

Rachit Nigam

4 years

I'm super excited to announce our workshop on Languages, Tools, and Techniques for Accelerator Design (co-located with @ASPLOSConf )! The problems in this space are wildly interdisciplinary and we need help from everyone: architects and PL people alike!

0

14

59

@notypes

Rachit Nigam

4 years

Along with PL twitter influencers @koronkebitch and @TheAviralGoel , I'm super excited to announce the first Programming Languages (virtual) Tea! If you're a PL researcher and looking to meet people in the community, come by! RSVP here: More details >>

2

20

55

@notypes

Rachit Nigam

1 year

it feels like a rite of passage for PL people to get obsessed with databases and reinvent datalog and somehow, i think that's a good thing but also damn the DB people and their beautiful, finite, practically useful formalisms

4

4

56

@notypes

Rachit Nigam

3 years

Systems research is weird: publishing a paper marks the start, not the end, of a project. In the one since year publication, we've built significant new tools on top of Calyx (). I'm super excited to announce them: (1/7)

@notypes

Rachit Nigam

4 years

First paper at @ASPLOSConf : Calyx, our intermediate language for generating hardware accelerators. Calyx tackles the hard problem of analyzing and transforming low-level hardware descriptions using clever language design!

3

3

39

3

6

56

@notypes

Rachit Nigam

2 years

Add to list of questions visiting grad students should ask potential schools: are you going to install spyware on my machines?

@alpha_convert

Joe Cutler

2 years

My advisor is buying me a new laptop. I just learned that the delivery is going to be intercepted by Penn so they can “set up the machine”. I pressed, and they said they were installing spyware software called CrowdStrike.

113

75

792

4

4

56

@notypes

Rachit Nigam

3 years

I'm proposing my thesis on May 5th @ 8.30am EST! If you'd like to attend please DM me. I reserve the right to say "no" if too many people message me.

Tweet media one

1

0

56

@notypes

Rachit Nigam

4 years

Super excited to host the PL/Architecture external talk series at @cucapra and #CornellPL ! Since we already have our group lunches over zoom, I decided to have these awesome researchers give talks about their research!

Tweet media one

1

7

56

@notypes

Rachit Nigam

2 years

I only have two "Greg"s in my contact list and one day the dean of Cornell tech will get a message asking if we need more toilet paper for the house

3

0

56

@notypes

Rachit Nigam

2 years

I would've quit grad school several times over without Adrian's guidance and kindness. My only career aspiration is be at least half as supportive to people who work with me as he has been to me. Congratulations @samps !!

2

0

55

@notypes

Rachit Nigam

4 months

My PLDI '23 talk on some new work on hardware design abstractions is finally up! I'm really excited about the work and redesigning the foundations of HDLs with these ideas:

Tweet card media

[PLDI'23] Modular Hardware Design with Timeline Types

Modular Hardware Design with Timeline Types (Video, PLDI 2023) Rachit Nigam, Pedro Henrique Azevedo de Amorim, and Adrian Sampson (Cornell University, USA; C...

www.youtube.com

1

9

55

@notypes

Rachit Nigam

2 years

Idea: twitch streams where i just chat* with other grad students about their cool research and play with their systems way more interactive & fun than reading papers *explicitly setting it up as being informal and not a formal research talk

5

4

54

@notypes

Rachit Nigam

3 years

I'm a "senior" PhD student and need to figure out what I'll do with my life I'm especially curious about chatting with people who work in industrial research-like (broadly construed) positions. If your company hires for such positions, please ping me and I'd love to chat!

13

0

54

@notypes

Rachit Nigam

11 months

the heavens looked and weeped for we have created the perfect thing

Tweet media one

6

10

53

@notypes

Rachit Nigam

3 years

Many years of lonely research work becomes worth it when a person you respect acknowledges it. Having these kinds of interactions has become increasingly hard when there is no regular physical conferences etc., making research and PhDs all that much harder

2

2

52

@notypes

Rachit Nigam

9 months

Two superstar undergrads from our research group, @cucapra are applying to grad schools this year: Caleb Kim and Pai Li have: 1. *Lead* a paper submission for ASPLOS '24 2. *Won* awards at PLDI '23 SRC 3. *Experts* in PL and Comp. Arch. 4. *Built* real systems Need I say more?

1

4

53

@notypes

Rachit Nigam

5 years

Double Blind paper: BRILLIANT previous work [10] uses RIGOROUS science to PROVE that this is the BEST way to... Camera Ready paper: Our previous work [10] shows...

0

4

52

@notypes

Rachit Nigam

5 years

Whiteboards in various CS labs: Theory A: beautiful graphs, symmetries, and probabilities Theory B: languages, denotations, and categories thereof Systems: the kernel, and a giant arrow through it saying “bypass”

1

4

51

@notypes

Rachit Nigam

1 year

Does anyone have pointers on how to design compiler frontends and the trade-offs involved? There's a lot words spent on the trade-offs in IR design but not much on the concerns of how the frontend should be designed to enable good diagnostics infrastructure, source locations, etc

12

4

50

@notypes

Rachit Nigam

2 years

i wonder why there are so many Haskell-based hardware description languages i would've imagined FP people would be horrified by ... everything in hardware

19

1

49

@notypes

Rachit Nigam

4 years

Just heard from the @PLDI 20 committee that they're going virtual... It's obviously the right decision but I can't get over feeling really sad that I don't get to present my work to my community in person. I been so excited to give this presentation for a year.

4

1

48

@notypes

Rachit Nigam

5 years

Sys/PL papers are so painful — The designs can’t always be clean because they interact with real things. The evals are painful because you have to work with complicated tools. It takes SO LONG to get to a reasonable, cohesive story. But there’s nothing else I’d rather do.

0

3

49

@notypes

Rachit Nigam

4 years

Day N of work from home: I’ve mastered the “from home” part but can’t get the hang of “working”

2

1

48

@notypes

Rachit Nigam

4 years

My phone seems to have learned my deepest darkest secrets

Tweet media one

1

2

48

@notypes

Rachit Nigam

3 years

I always find it weird when someone is called a "superstar researcher". Research is collaborative, creative, and there is so much luck involved in what get famous "creative researcher" or " collaborative research" might be more apt anyways?

2

4

48

@notypes

Rachit Nigam

4 years

Teach a person an optimization and it'll be used once. Teach a compiler an optimization and it'll be used millions of times. Teach a compiler writer an optimization and it'll never be used because object initialization still doesn't work damnit.

0

1

46

@notypes

Rachit Nigam

2 years

I'm so excited that @PLDI has the "SIGPLAN track" for authors to present papers accepted during the pandemic. I was really down about not being able to present my paper in 2020 and really excited to do it this summer. I continue to appreciate the thoughtfulness of @sigplan folks

2

0

46

@notypes

Rachit Nigam

2 years

Some of the work we've been doing at @cucapra on building DSL-to-hardware compiler won a @Google research award!! Full credit to @samps who actually wrote the grant application!

3

1

46

@notypes

Rachit Nigam

3 years

Instead of saying "by contradiction, proven" say "Got 'em"

2

1

46

@notypes

Rachit Nigam

4 years

Reviewers hitting the holy trinity today: - easy to read, hard to read - novel, not novel - too broad, too narrow Such feedback, much wow

0

1

45

@notypes

Rachit Nigam

3 years

i am being attacked by machine learning. send help (For the correct pronunciation of my name, check out my website: )

Tweet media one

2

0

45

@notypes

Rachit Nigam

2 years

“Compute is cheap, memory is expensive“ is a well known adage but all our programming languages focus on new compute abstractions Most successful high performance languages (Rust, Halide) have important memory abstractions

2

5

44

@notypes

Rachit Nigam

2 years

profound joy i feel when meetings are cancelled we should just schedule some meetings every week to cancel them

3

0

44

@notypes

Rachit Nigam

2 years

I'm really enjoying working with my undergrad mentees this summer. They've all reached "escape velocity": they solver problems faster than I can come up with them I go into the office every day excited to learn from them!

0

0

43

@notypes

Rachit Nigam

5 years

One thing I can consistently rely on at @CornellCIS is a constant supply of free shirts will cool PL related memes: (Designed by talented undergrad TAs @RachelNash and Sophie Zheng for our Functional Programming course) I'm pretty sure this outdoes @JaneStreetGroup 's shirts.

Tweet media one

3

6

42

@notypes

Rachit Nigam

4 years

I don't like to brag Our artifacts do it for me (w/ @peacock_samuel & @avanhatt )

Tweet media one

0

0

42

@notypes

Rachit Nigam

2 years

Roughly 5 years ago, we added support for continuations to OCaml, JS, Scala, Dart (and more) without modifying any of the compilers The trick? We built a source-to-source JS compiler that that implements continuation saving much more efficiently than CPS:

@msimoni

Manuel Simoni

2 years

This does a full CPS transform, so your code can block on async JS calls. If this is shown to work for real-world apps, OCaml might be the best language for JS/Web dev right now (because you can actually program with control flow like a human being).

2

8

40

3

5

42

@notypes

Rachit Nigam

2 years

i have fulfilled my life long dream of going to a boba place and saying "can i have $400 worth of boba"

3

0

42

@notypes

Rachit Nigam

1 year

FCRC (and @PLDI ) is done! Couple of highlights: I gave my first-ever conference talk*, which was on ! A packed room with lots of cool PL and @ISCAConfOrg people Recording: (Yes, that's John Hughes and Mary Sheeran in the front!!)

Tweet media one

Tweet media two

2

2

42

@notypes

Rachit Nigam

5 years

(3/n) Innocuous jokes like these do real damage -- new members of our communities are afraid to ask questions because they'll be outed as an outsider. For academia, which is supposed to welcome learning instead of mocking ignorance, this is problematic.

2

0

41

@notypes

Rachit Nigam

2 years

Laptop buying experience Personal: Delivered in 5 days Any tech company ever: Walk to tech support and you now have a new laptop Cornell: Wait 2 months and maybe it'll come your way if the gods will it Talk to me about how university bureaucracy improves my life

5

1

41

@notypes

Rachit Nigam

4 years

If you're someone working on programming languages/computer architecture/compilers and would like to give a virtual talk to our research group at Cornell, please DM me! Bonus points if you're organizing talks and would like someone from our lab to give a talk at your school/org!

0

13

41

@notypes

Rachit Nigam

2 years

Corollary: Force all PL people to take computer architecture course and all architects, a PL/compilers course Let's stop pretending our abstractions are free and our architectures can be designed programmability agnostically

@notypes

Rachit Nigam

2 years

the mythical compiler that takes in C programs, analyzes them, and generates optimized code for your fancy architecture found (only) in: all computer architecture papers

1

0

39

3

3

41

@notypes

Rachit Nigam

2 years

Boba social at @PLDI was immensely successful!! We had tons of people visit and ran out of boba in the first 10 minutes!

Tweet media one

1

3

41

@notypes

Rachit Nigam

1 year

The @PLDI & @ISCAConfOrg junior student mixer was an absolute success with over 200 attendees. Made possible without the help of @alex_renda_ , @CompArchSA , and @stevemblackburn 's support. I'm retiring as @PLDI 's social chair after this year so a little self-indulgent thread >>

Tweet media one

1

5

41

@notypes

Rachit Nigam

1 year

Excited to be presenting at the inaugural MIT PL Review: The paper in question is my first project in grad school, Dahlia: Ideas about type systems and hardware design have morphed into my larger "fearless hardware design" agenda!

Tweet media one

1

7

40

@notypes

Rachit Nigam

4 years

me: I don't have much experience writing modern C++... advisor: you should try doing it! It's a good thing to know. me (internally): Is this the snake fight? This must be the snake fight.

3

0

38

@notypes

Rachit Nigam

2 years

the mythical compiler that takes in C programs, analyzes them, and generates optimized code for your fancy architecture found (only) in: all computer architecture papers

1

0

39

@notypes

Rachit Nigam

4 years

I'm going to implement a small language in python wish me luck.

12

0

39

@notypes

Rachit Nigam

4 years

First paper at @ASPLOSConf : Calyx, our intermediate language for generating hardware accelerators. Calyx tackles the hard problem of analyzing and transforming low-level hardware descriptions using clever language design!

@notypes

Rachit Nigam

4 years

The architects agree that our papers provide adequate support!! 1. Along with @peacock_samuel , we develop a new intermediate language for generating hardware accelerators! 2. Led by the brilliant @avanhatt , builds a search-based compiler for high-performance DSP programming!

3

2

35

3

3

39

@notypes

Rachit Nigam

4 years

Why can't we run the LLVM compiler on a GPU? I heard a senior compilers researcher say that compilers should be embarrassingly parallel but, AFAIK, most compilers only make use of coarse-grained parallelism (file-level). Why can't compilation pipelines be parallel?

18

2

38

@notypes

Rachit Nigam

5 years

One of the biggest lies in programming: ";" is sequential composition. ";" gives a nice abstraction of over what is going on in modern hardware -- rampant reordering and data dependent execution. The real semantics of ";" are remarkably subtle.

4

8

38