CS prof @ WSU, HARP lab.
Formerly: Basili Fellow @ UMD; prof @ UAB.
I build programming languages & static analyses.
Free your mind and your ass will follow.
@krismicinski Yeah, I've been puzzled by the reaction to some of these comments. I haven't seen anyone defending fraudulent citations, but I've seen a bunch of "Has nobody ever had a co-author add a poor quality citation at 2am?" -> "So you're saying it's ok to quote papers you never read?!"
Are you interested in worst-case optimal joins, high-performance analytic reasoning, or logic programming? I am having a seminar in upstate NY this summer (June 3-6). Please get in contact (industry/academia/etc. welcome) if this sounds like a fit! (Cost is $1.05k)
@StarGazerMiao This is exactly what context sensitivity is meant to solve eh. Also let polymorphism and related techniques. Precision for a subtype requires analyses that distinguish it's uses from uses of other subtypes.
@krismicinski You're breaking into his house to ask if indices start at 0 or 1. I'm breaking into his house to make sure he's up late working. One's magnum opus doesn't stay up late to write itself.
@krismicinski It was always an unsustainable accident of history that, for a few years, one could get a high paying job by knowing a touch of html and JS, even if you rather hated the coding yourself.
@krismicinski The grain of truth is that the supply and demand around hiring developers is changing, and it makes so much less sense to go into software development unless you are genuinely passionate about the subject yourself. But that is always the thing to prioritize.