Thomas Gilray

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.

[Thomas Gilray @tomgilray]

Logic programming in a nutshell.

[Thomas Gilray @tomgilray]

Great visiting @krismicinski @StarGazerMiao and Co here at Syracuse U today!

[Kristopher Micinski -- REBORN @krismicinski]

Releasing the latest iteration of our Assemblage dataset for binary analysis

[Thomas Gilray @tomgilray]

@krismicinski It's recreational strawmanning I think, as you say.

[Thomas Gilray @tomgilray]

@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?!"

[Joe Barrow @barrowjoseph]

@krismicinski “It difficult to get a man to understand something, when his h-index depends upon his not understanding it.”

[Kristopher Micinski -- REBORN @krismicinski]

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)

[Thomas Gilray @tomgilray]

Great news!! I'm glad you'll be here in the PNW with us Yihao.

[Thomas Gilray @tomgilray]

@krismicinski @miniapeur 4.

[Thomas Gilray @tomgilray]

@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.

[Thomas Gilray @tomgilray]

@krismicinski Well? Are you still copy-pasting Kris?

[Thomas Gilray @tomgilray]

@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.

[Thomas Gilray @tomgilray]

@krismicinski Everyone knows array indices go 1,2,3,4a,4b,4c,4d,5,6,7. Why? Well, simply because that's how many fingers we have.

[Thomas Gilray @tomgilray]

@krismicinski Just wait for ClaudeCarve to get out of beta.

[Thomas Gilray @tomgilray]

@krismicinski We need to give Dr. Claude its PhD already. (Some Uni needs to step up to the plate.) I think we all know it's earned it...

[Thomas Gilray @tomgilray]

@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.

[Thomas Gilray @tomgilray]

@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.

[Yihao Sun @StarGazerMiao]

pure vibe coded vscode plugin

[Joe @alpha_convert]

Incredible. The ACM DL has replaced everyone's abstracts with AI-written summaries of the paper

[Thomas Gilray @tomgilray]

@krismicinski @samlakig