Arthur Correnson
@CorrensonArthur
Followers
32
Following
357
Media
1
Statuses
38
PhD Student at CISPA. On a mission to verify program verifiers in Coq 🐓
Saarbrücken, Germany
Joined November 2015
CTL is a sneaky logic... It seduces you with its cheap model checking problem but its semantics is so counterintuitive that it's hard to understand what you specify with it ^^". I'm an LTL person, I guess...
0
0
2
If you didn't already have enough reasons to use OCaml--we have a Professor Xavier. Literally no other language can claim that.
5
6
45
Realization of the day: Bounded model checking (BMC) and symbolic execution (SE) with state merging are essentially the same method. However, in the literature, it seems that: (1) SE + merging focuses on efficient search heuristics (2) BMC focuses on "good" logical encodings
0
0
2
Imagine paying 700$ worth of publication fees to a professional editor and have them request that you spend days typesetting your paper so it's ready to be printed
0
0
4
7
218
1K
Marijn Heule shares an important lesson on the second day of #SAT2023: "Any proof framework that has not been mechanically verified is unsound."
1
11
52
Friday, @ArthurCorrenson presents his paper "Engineering a Formally Verified Automated Bug Finder" in @OutSystems AI RG. Paper from @CISPA. Paper: https://t.co/HmjfjQLWQ9 Check out https://t.co/Tntpc75sLd for archives, zoom link, and contact.
0
2
10
Hot take, equality in constructive type theory is a MESS !
0
0
1
YouTube Short's recommendation algorithm is clearly optimized to display redundant content, and this is freaking me out... It's especially more worrying that this metric is often called "content relevance".
0
0
1
At this point, there are 2 explanations: either it's an easter egg setup by a random intern in the OS team at Apple OR the mess in the code of macos is so big that some new unspecified features are emerging. Honestly, I can't tell which is more likely.
0
0
0
I was watching a movie with my girlfriend, and the screen was flickering. After 10 min of unsuccessfully tweaking the display parameters, I googled the problem.. The solution was to set the size of the cursor to the max and then back to normal...
1
0
1
I just spent a free evening studying constructive aspects of the proof(s) of the fundamental theorem of calculus and discussing the role of equality in type theory with friends.... I think I'm turning into a type theorist (or even worst, into a mathematician !)... help !
1
0
5
I'm currently helping a German friend applying for some french masters programs and, honestly I'm ashamed of being French... Our application procedures are completely broken, poorly documented, and only available in french... What a nice way to welcome students from abroad.
0
0
0
I am tired or hearing people complaining about how their theoretical CS education didn't teach them anything useful for their software engineering career.... It's as stupid as saying "My biology degree didn't teach me how to be a good lawyer".
0
0
0
Am I the only one to be extremely hyped and proud of what I'm writing when I start a new paper, and then a couple of days before the submission deadline I feel like what I wrote is pure garbage?
0
0
2
I arrived at the office at 8:30am this morning... It is now 2:30pm and I realized I've been doing only boring administrative paperwork so far... I guess that's part of being a researcher?
0
0
0
Good Bye Ljubljana and good bye ICFP! I had the time of my life talking about PLT (and also other less serious stuff) with new people! #ICFP2022
0
0
2