LR parsing is the static typing of parsing: if your grammar is provably LR, you've ruled out a whole class of ways it can go wrong. Every time I've examined a non-LR parser, it has had unexpected bugs: parsers are hard to get right!
03.06.2025 07:54 โ ๐ 11 ๐ 1 ๐ฌ 1 ๐ 0
Well deserved. Congrats.
01.05.2025 17:07 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Gave a talk today at @kingscollegelondon.bsky.social on hybrid fuzzing for structured inputs. Huge thanks to @ltratt.bsky.social and the team for the great questions and warm hospitalityโreally enjoyed the exchange!
15.04.2025 19:51 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Delighted that our paper on "Grammar mutation for testing input parsers" - led by Bachir Bendrissou and joint with @ccadar.bsky.social - is now published in ACM TOSEM! This came from a registered report at FUZZING. Check it out! doc.ic.ac.uk/~afd/papers/...
14.01.2025 10:19 โ ๐ 14 ๐ 6 ๐ฌ 1 ๐ 0
I work on Programming Languages at Microsoft Research
Assoc. prof. at Uppsala University, working in programming languages and verification
Programming language researcher at Microsoft.
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Professor of Computer Science at National University of Singapore
https://abhikrc.com
Lecturer (Assistant Professor) at Loughborough University.
Working on Software Engineering, Programming Languages, and Formal Methods.
๐ Looking for PhD and visiting students.
The CISPA Helmholtz Center for Information Security is a German national Big Science Institution within the Helmholtz Association. We research information security in all its facets.
https://cispa.de/en/data-privacy-policy-social-media#Netiquette
Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
Language-based security is the continuation of compiler construction by other means.
PLs, pretty much all things compilers.
(Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
CS professor at UT Austin, does research in programming languages & formal methods.
now: Assistant Professingโข in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Fuzzing & stuff https://hexgolems.com
Lecturer at the University of Sydney, Australia. เดถเตเดฐเตเดฆเตเดตเดฟ's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
