Benno Stein

program analysis, incremental computation, good/correct takes.

past lives: static analysis at Meta London, PhD at CU Boulder

[David Klion @DavidKlion]

JD Vance is a repulsive fraud who thinks you’re stupid and it would be so nice to have a candidate capable of articulating that message, or any message, or anything really

[Bor-Yuh Evan Chang @bechang]

Looking forward to seeing colleagues at @PLDI next week! I'll be giving the talk on Friday in the TOPLAS track on "Interactive Abstract Interpretation with Demanded Summarization" (part of @benno_stein 's PhD work and with @rakingleaves). https://t.co/PjgfJUTX9G

[Benno Stein @benno_stein]

@ShriramKMurthi the engineering building may look terrible, but at least it's also impossible to get around!

[Benno Stein @benno_stein]

This is work from the tail end of my PhD that has been working through peer review for quite a while, so I'm thrilled to finally have it out there -- and grateful for TOPLAS' great review process, open access and opportunity to present at a SIGPLAN conference!

[Benno Stein @benno_stein]

Excited to share that our paper Interactive Abstract Interpretation with Demanded Summarization (with @rakingleaves and @bechang) has been accepted at TOPLAS! https://t.co/qxNGQkVLWx

[Benno Stein @benno_stein]

The paper is about incremental and demand-driven evaluation of compositional abstract interpreters, showing how you can get analysis results to developers at interactive speed -- while preserving exactly the precision & metatheoretic guarantees of the underlying batch analysis.

[Chris @criccomini]

Ok, an interesting one for ya. @JulienVerlaguet has started @skiplabs to work on SKDB, a reactive DB built from the ground up (like, literally, they have their own sklang programming language). Really cool, deep tech.

https://t.co/g0VpFiduv7

[PLDI @PLDI]

A reminder that the nomination deadline is Dec. 22. Help us promote, share, and catalog the research artifacts by serving as an AEC member!

[Colorado PLV @cuplv]

Several PhD positions in CUPLV, the Programming Languages and Verification Group (https://t.co/NKz2TlE4AN), and the CS Department at CU Boulder!

[Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵 @rgiacobazzi]

Patrick Cousot’s Taxonomy of program logics!!! Simply beautiful!

[Infer @fbinfer]

The 4th edition of the Infer workshop (co-located with @PLDI in Orlando🌴) is this Sunday (18th). You can join online for free on Discord🙋‍♀️
https://t.co/PyLv40Z7N5

Check out the program at👇
https://t.co/nIDPkJZ8Bh

[Benno Stein @benno_stein]

@HerrDreyer I switched to when2meet and am pretty happy with it as a Doodle replacement

[ReductRs @reduct_rs]

‘No Way To Prevent Memory Errors,’ Says Only Programming Language Where This Regularly Happens

[Benno Stein @benno_stein]

@wilcoxjay @johnregehr Definitely a top two "old(e) forge" pub/bar in the world!

[Benno Stein @benno_stein]

@rakingleaves @UCR_CSE Congratulations, Manu!

[⏩ @[email protected] @chromakode]

New York City is like Linux:

- Spend the first year re-learning how to perform basic tasks

- Spend the rest of your lifetime claiming how much better it is

- Bad drivers

[Wouter Swierstra @wouterswierstra]

So you’re telling me a well typed this program?

[Benno Stein @benno_stein]

@TaliaRinger their monospace font is top notch too, imo

[Benno Stein @benno_stein]

@mgrnbrg I only ever work on my linux setup when I should be doing something more important... always assumed that's how everyone else does it too! tried out i3 for the first time last month while procrastinating thesis writing and loving it so far

[Benno Stein @benno_stein]

@moyix @lenary "condensed" is a big improvement over "standard" imo, though I still end up doing a bit of post-processing