Programming Languages Ph.D. Student at @Northeastern. Interested in Program Analysis and Compilers. Removing lazy evaluation from R. @PLteaforplt organizer.

Boston, MA
Joined March 2017
Aviral Goel/अविरल गोयल retweeted
Sneak peek of our soon-to-be-published work on a new IL for hardware design!
Join us on Wednesday for liaison meetings with Jessica Shi and Rachit Nigam! adacenter.org/liaison-meetin….
0
1
10
Aviral Goel/अविरल गोयल retweeted
I love Calvin and Hobbes!!!!
0
3
19
Aviral Goel/अविरल गोयल retweeted
What are some important things to look for and consider when you look for a faculty position, to make sure you end up somewhere you will thrive and be happy?
14
6
31
Aviral Goel/अविरल गोयल retweeted
Unpopular view: a big service that PhD advisors should provide is help their students understand where best they can fit on the job market. People are welcome to APPLY. But I look at some apps and think "I hope your advisor has helped you understand you don't have a shot here". »
29
15
161
Show this thread
Aviral Goel/अविरल गोयल retweeted
I'm looking for a PhD student who wants to study program analysis, high-performance logic programming, automated reasoning. Our lab has broken new ground in 2020 and we have exciting plans for 2021. Please reach out if you're applying to PhD programs and we can talk all about it!
3
34
78
Show this thread
Aviral Goel/अविरल गोयल retweeted
Simple ADTs, simple pattern matching, simple higher-order functions, there's a lot to be gained with those simple tools
4
4
61
Aviral Goel/अविरल गोयल retweeted
Replying to @disconcision
Because they don't have to scale up the ideas and implementation to arbitrary kinds of data, programmer-created abstractions, large data, and performance requirements. Same with Bret Victor demos.
1
2
9
Aviral Goel/अविरल गोयल retweeted
Postdocs and former postdocs: How much did you enjoy your postdoc experience compared to your PhD, compared to what you're now doing? How are you funded and how much autonomy do you have in your research? What other obligations do you have beyond research? Thanks in advance!
16
8
49
Aviral Goel/अविरल गोयल retweeted
Are you interested in static/dynamic program analysis, fuzz testing, binary analysis, secure language design, and similar PL/SE/Security topics? Join our fantastic team at Correct Computation -- we are hiring! Learn a lot, have fun, make a difference. correctcomputation.com/jobs/
0
15
48