wrote a pair of PLSE blog posts explaining the basics of Verilog syntax (post 1) and semantics (post 2) for a PL audience:
syntax: uwplse.org/2024/02/19/verilo…
semantics: uwplse.org/2024/07/22/verilo…
feedback welcome! from a PL perspective, Verilog is fascinating.
i defended! if you'd like to learn more about the automatic generation of compiler backends from models of hardware, check it out:
youtube.com/watch?v=ePPksgj3…
app readers: lookout for my longtime mentees Andrew Cheung (ninehusky.github.io/) and Vishal Canumalla (vcanumalla.github.io/) who have experience w/
- paper writing, eval building
- ML *and* hardware compilers
- prog. synth.
- eqsat
(bonus: they're just plain good people!)
Generate Compilers from Hardware Models!
youtube.com/watch?v=IkdRtgnJ…
the video of my talk at the 2023 PL for Architecture workshop (@PLDI /@ISCAConfOrg ) is up! thanks to my coauthors @ben_kushigian, @vcanumalla, Andrew Cheung, René Just, and @ztatlock & the PLARCH organizers!
by the way -- both Andrew (ninehusky.github.io/) and Vishal (vcanumalla.github.io/) are applying for PhDs this year. it's been a joy to work with them both over the past few years, and they will both make stellar PhD students. be on the lookout for their applications!
Gus Smith retweeted
@notypes and I are starting a brand new stream: TheForkJoin! First stream will be THIS SATURDAY (July 15th) at 10am PT.
🗓️: rb.gy/wpv8a
tv: twitch.tv/theforkjoin
This time we'll chat with @shwestrick about making parallel functional programming wicked fast. (1/2)
Gus Smith retweeted
@yihongz_bot just gave a wonderful talk on unifying Equality Saturation and Datalog at PLDI!
Gus Smith retweeted
Gus Henry Smith giving a call to action against the hardware lottery. PLARCH at @PLDI @sarahookr
Generate Compilers from Hardware Models!
arxiv.org/pdf/2305.09580.pdf
agree? disagree? don't care? come tell us @ PLARCH! (pldi23.sigplan.org/home/plar…)
(s/o @ben_kushigian, @vcanumalla, Andrew Cheung, René Just, and especially @ztatlock whose chief contribution among many was the "!")
Gus Smith retweeted
Last call for PNW PLSE next Tue, May 9!
Amazing schedule with tons of interesting folks. Come join us for a day of great talks, lively discussion, and catching up with old friends!!
Schedule: sites.google.com/cs.washingt…
Registration: docs.google.com/forms/d/e/1F…
Gus Smith retweeted
If you are an undergrad/grad student, please consider submitting your work to PLDI-SRC 2023!!
CFP: pldi23.sigplan.org/track/pld…
This year, you can also nominate yourself as a reviewer/judge here: forms.gle/GwPsGEtcKMJGF2ZBA
@ChandrakanaNaN and I are co-chairing @PLDI SRC 2023. We are excited to invite students to submit their research and reviewers to help us review the submissions this year.
Reviewers' self-nomination: forms.gle/GwPsGEtcKMJGF2ZBA
CFP: pldi23.sigplan.org/track/pld…
Gus Smith retweeted
The EGRAPHS workshop will be taking place again at PLDI 2023 in Orlando!
Start thinking about a talk that will generate great discussion about anything related to e-graphs!
deadline: Apr 5
pldi23.sigplan.org/home/egra…
Gus Smith retweeted
I am currently applying for tenure-track faculty positions in the US and abroad. Please contact me at [email protected] if you are hiring this upcoming cycle!
CV, web.eecs.umich.edu/~takh/cv_…
Website, web.eecs.umich.edu/~takh/
(RTs are appreciated)
I proposed my thesis and discussed my new project, Lakeroad, in my Generals talk two weeks ago! video here: youtube.com/watch?v=M8i2HKEn… thanks as always to @ztatlock and @luisceze for being such great advisors!