Jeremy Lacomis

AS @PiedmontVaCC 2015, BA @UVA 2017, PhD @S3DatCMU 2023.

[Jeremy Lacomis @jlacomis]

It's that time of the year again! This is my annual pointer for people applying to grad school or people who know someone applying to grad school: all (seriously!) of my application material from when I applied to @isrcmu is available on my website: https://t.co/17BpbfEVGE

[Jeremy Lacomis @jlacomis]

@richinseattle @RolfRolles @clegoues @moyix That is the paper! You can find all the code and data here: https://t.co/9bYq6Pkx3k

[Jeremy Lacomis @jlacomis]

I’d love to hop on this mastodon thing but I literally cannot figure out how to follow an arbitrary person. The “Manually search” button in the app does nothing and from what I can tell this functionality does not exist anywhere else.

[Jeremy Lacomis @jlacomis]

@Pgh311 Plants (incl. porcelainberry) from the city’s unmaintained Hilltop Way between Hazelwood and Georgekay have started growing on to my property:

[Jeremy Lacomis @jlacomis]

@clegoues Oh my god hard same but with boy’s clothes with cats on them

[Jeremy Lacomis @jlacomis]

@moyix @ldklinux I can also confirm that USENIX does not, which I understand isn’t terribly helpful in your case

[Jeremy Lacomis @jlacomis]

@clegoues The replies in this thread have convinced me that yes, we are all living in a collective delusion.

[Jeremy Lacomis @jlacomis]

@davidthewid Yeah, my reaction was similar

[Jeremy Lacomis @jlacomis]

@clegoues @dave_andersen So close but so far

[Jeremy Lacomis @jlacomis]

@wdormann @tqbf Thanks for the attention, guys! I gave the talk, here's the specific issue that would need to be resolved before we can generate training data for Ghidra: https://t.co/ymSwbpnFyR

[Jeremy Lacomis @jlacomis]

@SCSatCMU @isrcmu

[Jeremy Lacomis @jlacomis]

@KevinAAngstadt @clegoues She’s right though, I did say almost. Although I might have cried later that day.

[Jeremy Lacomis @jlacomis]

@clegoues I prefer paper because it’s easier for me to do random-access while absorbing something I’m unfamiliar with.

[Bogdan Vasilescu @b_vasilescu]

Typical @ICSEconf pre-submission argument with co-authors. Organize LaTeX source:

[Jeremy Lacomis @jlacomis]

Yes, I did implement the Zune bug in COBOL for this demo: https://t.co/5s5qQFSPYk

[Jeremy Lacomis @jlacomis]

I was running our (joke?) COBOL automatic repair tool (https://t.co/V4jXyDdL34) for a demo in a talk by @clegoues. I ctrl-c'd before it could kill a COBOL implementation of the Zune bug it was fixing and came back much later to a screaming computer. I got bit by a COBOL Zune bug.

[Jeremy Lacomis @jlacomis]

@is_eqv @moyix @clegoues This is a great idea. Choosing the most natural structural decompilation (e.g., while vs. for loops) is something that I've been interested in and planning on looking into.