Our work on visualization-by-example got a best paper award at CHI'21! I also want to take this opportunity to broadcast that the amazing Chenglong Wang is on the academic job market!
I am thrilled to announce that Ken McMillan will be starting as a professor at @UTCompSci this semester! With Ken and recent hires @swarat and @siderealed, @UTCompSci is a great place to pursue a PhD in formal methods and programming languages!
I find these types of reviews very frustrating: โYou could've solved the problem using Y instead of X; REJECT" (when you *successfully* do it using X). How do folks deal with such reviews? If someone thinks they can solve it *even* better using Y, why not write their own paper?
As PC chair for PLDI'22, I'm soliciting nominations (incl. self-nominations) for PC members in an effort to reach a broader part of the community. Please fill out this form to nominate yourself or someone you think would do a good job:
For those reaching out to me for the upcoming PhD admissions cycle: Yes, I am taking students and post-docs with a strong PL background and similar research interests. So, if you are interested, please apply to UTCS!
Welcome break after a miserable week: water back on, no burst pipes, gorgeous weather. Plus our Oakland submission on verifying liveness properties of smart contracts got accepted ๐
Very proud of my student Shankara Pailoor for his work on automating sandboxing that won a distinguished paper award at OOPSLA this week! cs.utexas.edu/~isil/abhaya.pโฆ
