Peter O'Hearn @PeterOHearn12
formal proof for fun Joined February 2020-
Tweets256
-
Followers1K
-
Following98
-
Likes1K
What an immense pleasure to host @jvanegue today in the @HexHiveEPFL @EPFL_en for a talk on improving verification to combat concurrency bugs. Best hacker formal talk, first time I understood several of these concepts 🐝🐝🐝
I am in Lisbon to attend the KLEE workshop, present the CASL logic and chair the “coverage & memory errors” session srg.doc.ic.ac.uk/klee24/ This flavor of the CASL talk is geared towards security researchers who are not formal methods experts. Looking forward to meeting everyone!
I am in Lisbon to attend the KLEE workshop, present the CASL logic and chair the “coverage & memory errors” session srg.doc.ic.ac.uk/klee24/ This flavor of the CASL talk is geared towards security researchers who are not formal methods experts. Looking forward to meeting everyone!
My Journey to the Dark Side This is my talk from the Incorrectness workshop at POPL'24. Lots of other talks available too at the same link. youtube.com/watch?v=MBceXk…
AI for the People. My talk at the N40AI workshop from POPL'24 is on youtube... along with lots of other talks at the workshop. (Note: AI is referring to Abstract Interpretation here, not the "other AI" :) ). youtube.com/watch?v=WY6884…
Sir Antony Hoare FRS is awarded the Royal Medal for revolutionising computer programming, and for the development of "Hoare logic" that has paved the way for provably correct code, providing a robust framework for ensuring software reliability. #RSMedals royalsociety.org/grants-schemes…
I talked to Patrick about his new @poplconf article which he described as an “easy paper”. My POV: This is one of the best abstract interpretation papers of all time, building and relating proof systems like Hoare’s and O’Hearn’s using fixpoint abstraction doi.org/10.1007/BF0196…
I talked to Patrick about his new @poplconf article which he described as an “easy paper”. My POV: This is one of the best abstract interpretation papers of all time, building and relating proof systems like Hoare’s and O’Hearn’s using fixpoint abstraction doi.org/10.1007/BF0196…
We're expanding our engineering team as a result of customer interest following the launch last month of @Lacework's Code Security products. Prior experience not necessary; looking for great programmers eager to learn, create, and help make security. lacework.com/careers/job-op…
More on our news yesterday and the extension of the Lacework platform even further left into #codesecurity. As @Forbes notes, the #cloudsecurity market is crowded, but Lacework is “one of the very few that delivers full application lifecycle protection." okt.to/WnDUrZ
Cool!
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🙋♀️ pldi23.sigplan.org/attending/atte… Check out the program at👇 pldi23.sigplan.org/home/infer-202…
Just accepted :-) dl.acm.org/doi/10.1145/35…
Totally well deserved. Tons of insight in this work.
Tutorial @poplconf on incorrectness+underapproximation. My slides on - how to infer procedure pre-/post- specification via bi-abduction - Pulse-x demo loc.bitbucket.io/papers/POPL23T…
Tutorial @poplconf on incorrectness+underapproximation. My slides on - how to infer procedure pre-/post- specification via bi-abduction - Pulse-x demo loc.bitbucket.io/papers/POPL23T…
Enjoyed giving a tutorial @poplconf on incorrectness+underapproximation, with @AzaleaRaad , @QLocLe , @jvanegue . Here are the slides for my part on semantic foundations, drawing on (unpublished) joint work with Jules Villard (cc @fbinfer) www0.cs.ucl.ac.uk/staff/p.ohearn…
Delighted to announce that I've been appointed as the co-director of the UK Research Institute on Verified Trustworthy Software Systems (VeTSS)(vetss.org.uk). It has been hard sitting on this news since November! ncsc.gov.uk/news/ncsc-anno…
Too right @jvanegue ! Adversarial logic is too cool
Getting ready for Incorrectness Logic + Underapproximation tutorial at @poplconf with @AzaleaRaad , @QLocLe and @jvanegue popl23.sigplan.org/program/progra…
If you're a PL nerd and have never read this paper STOP WHAT YOU ARE DOING AND GO READ IT!!!!! It's SO COOL to get front row seats to the initial conception of many of our most prized concepts, from someone at the center of conceiving them.
If you're a PL nerd and have never read this paper STOP WHAT YOU ARE DOING AND GO READ IT!!!!! It's SO COOL to get front row seats to the initial conception of many of our most prized concepts, from someone at the center of conceiving them.
Loris D'Antoni @lorisdanto
6K Followers 730 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Ilya Sergey @ilyasergey
5K Followers 965 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Andrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPMike Hicks @michael_w_hicks
5K Followers 494 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new locationKristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Jonathan Aldrich is K.. @JAldrichPL
4K Followers 1K Following Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.Marcel Böhme👨�.. @mboehme_
5K Followers 976 Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynBNate Foster (@natefos.. @natefoster
5K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.Alex Potanin @AlexP_DownUnder
798 Followers 300 Following Associate Professor, School of Computing, Australian National University. Review Committee Chair for OOPSLA 2024. Always looking for PhD students in PL and SE!Ron Garcia @rg9119
2K Followers 457 Following Transmogrifies coffee into LaTeX at University of British ColumbiaNikhil Swamy @lambdaNik
755 Followers 214 FollowingSydney Gibson 🚛 �.. @sydgibs
3K Followers 340 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.wang zhonghan @YogurtShadow272
2 Followers 120 FollowingKenya22 @sweety20231
3K Followers 6K Following "Three things cannot hide for long; the sun, the moon and the truth"mlecchaslayer156 @mlecchasla37448
97 Followers 3K FollowingChriss_0x01 @Chriss_0x01
903 Followers 4K Following Proud #EthicalHacker #CyberCrime🖥️#Investigator #BugBounty🏆#Hunter #ThreatHunter (#InfoSec & #CyberSec) #Expert🧑💼 && _I_AM_: CEO @EthiclSecAgency 👀Naman Devnani @naman_devnani
328 Followers 5K Following Security Researcher | Purple Team | Bug Hunter | CTF Player | Science & Tech Enthusiast | R&D | All-Source Intelligence | CAP | DCSP | TTIA | BCDEMugunthan @iroh_tweets
5 Followers 43 Following Crystallising my thoughts through tweets. Not all thoughts are my own but paraphrased version of someone else's.fredcheng @neumanncheng
29 Followers 2K FollowingBogdan "Bo" Alexandru.. @CacheMisses
104 Followers 383 Following PhD student in Systems @ U of Chicago. Working on software reliability & efficiency. Opinions, my own. Retweets are not endorsements.Saikat Mondal @saikatcsebd
106 Followers 284 Following Ph.D. student, University of Saskatchewan, Canada. Empirical Software Engineering, Mining Software Repository, Explainable AI, GenAI, LLMAnkit Shrivastava @ankitshri08
115 Followers 4K FollowingToan Nguyen Thanh @ToanNguyenThanh
6 Followers 54 Following A backpacker who wants to discover the worldNWMonster @NWMonster
195 Followers 496 FollowingMohammad Abdulaziz @Mohamma21639814
18 Followers 171 Following Lecturer at King's College London. Interested in logic-based AI, theoretical CS, formal verification, and formalisation of maths.Mariano Bertoni @mariano_bertoni
182 Followers 4K FollowingAlecs @KleeneAlgebra
6 Followers 48 Following P = NP • I really like programming languages, formal methods and category theory • MSc Student @UniPadova looking for a PhD position :)neuroevolutus @neuroevolutus
4 Followers 984 Followinglambdasofthecosmicsla.. @Cosmic_Lambdas
1 Followers 77 Following An attempt of a selftaught journey in: - Functional Programming - Programming Language Theory - Type Theory - Proof Assistantsserenidad_monotropica @Fernand06180883
9 Followers 278 Following Cryptid 🌈 he/they/it? Autistic ADHD Hyperempathic HSP RSD Polyamorous Daydreamer Dreamatorium/Impro/roleplay/RPG Nomadic. My mind is open. Erdös AnarchyMirco Giacobbe @mircogiacobbe
50 Followers 252 Following Computer scientist @unibirmingham. Making artificial intelligence safefrang @frang_u99393
111 Followers 2K Followingcenzhang @zhclhy
115 Followers 533 FollowingEva Darulova @malyzajko
167 Followers 93 Following Assoc. prof. at Uppsala universitet. Programming languages, verification, approximate computing, finite-precision. Also @[email protected]wilbur kuo @WilburKuo90745
2 Followers 575 FollowingJinhao Tan @tamkamhou
41 Followers 280 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, and program verification.Sorawee Porncharoenwa.. @sorawee_p
242 Followers 485 FollowingXudong Sun @xu_dong_sun
510 Followers 541 Following Ph.D. student at UIUC CS | Working on testing and verification for cloud systems | Playing/fighting with KubernetesJames Caldwell @jlcaldwell2
65 Followers 224 Following Professor Emeritus, Department of Computer Science, University of Wyoming.Sundara Vishnu @sundara_vishnu
50 Followers 239 Following @UMich '25 | pl, distributed systems, & math | 🏃♂️🧗♂️🚴♂️|Fabian Zaiser @fabian_zaiser
38 Followers 111 Following PhD student @UniofOxford, working on (probabilistic) programming languages and verification. Rust fan and contributor to its compiler and the Kani verifier.Michael Schröder @schrototo
289 Followers 751 Following PhD student at TU Wien. Before printing this twitter feed, please consider the environment.G Chin @GonoregUmach
209 Followers 2K Following Founder of the theory of Decentralized Fragmentary Intelligence Capitalism in replacement of the theory of the global centralized economy.ben🍪 @benkeks
336 Followers 331 Following I research how to subtract program behaviors from one-another. Computer science, logics, games at #tuberlin.Rommel Quintanilla @rommelqc
138 Followers 2K FollowingFZ @filipzof
293 Followers 2K FollowingAltynbek @chelovekizmekha
125 Followers 2K Following Comedic Connoisseur. My serious credentials? From the land of laughter.Mean Reversion @Mean_Reversion
179 Followers 5K FollowingDavid @David5219249567
26 Followers 28 FollowingDr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/HerViet ha bui @Buivietha1984
14 Followers 278 FollowingDr. Kleber Câmara @kleber_math
160 Followers 4K Following I am an Adjunct Professor at the Federal Rural University of Semi-Árido. My interest focuses on Mathematical Analysis and Number Theory.Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / #tezos / #smartrollups / #ocaml / #functionalprogrammingShriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Ilya Sergey @ilyasergey
5K Followers 965 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Mike Hicks @michael_w_hicks
5K Followers 494 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new locationKristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Jonathan Aldrich is K.. @JAldrichPL
4K Followers 1K Following Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.Marcel Böhme👨�.. @mboehme_
5K Followers 976 Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynBRon Garcia @rg9119
2K Followers 457 Following Transmogrifies coffee into LaTeX at University of British ColumbiaNikhil Swamy @lambdaNik
755 Followers 214 FollowingRoberto Giacobazzi @rgiacobazzi
760 Followers 596 Following Professor in Computer Science: Theory of computation, computers, languages and their semanticsToby Murray @tobycmurray
1K Followers 633 Following Associate Professor at @UniMelb and @cis_unimelb cyber lead; @UniofOxford DPhil (@HertfordCollege); @DefenceScience and @UniofAdelaide alum. He/him✨ Jean Yang ✨ @jeanqasaur
25K Followers 4K Following New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.Azalea Raad @AzaleaRaad
1K Followers 286 Following Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.John Wickerson @wicko3
1K Followers 813 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @[email protected].Julien Vanegue @jvanegue
6K Followers 944 Following CTO Office / Head of Infrastructure & Security Research @Bloomberg. Interested in software, systems, and network verification for finance tech.Anders Møller @amoellercsaudk
476 Followers 215 Following Co-founder @ Coana | Professor at Aarhus UniversityUCL-CS PPLV @ucl_pplv
246 Followers 159 Following Programming Principles, Logic and Verification group at University College LondonJonathan Metzman @metzmanj
2K Followers 437 Following Fuzzing on Google's Open Source Security Team. I work on FuzzBench/OSS-Fuzz/ClusterFuzz. Speaking on behalf of myself, not my employer.David Tarditi @davetarditi
239 Followers 123 Following Compiler and programming languages researcher. Working on quantum compilers at IonQ. Side gig making C programs safer with Checked C. All opinions my own.Vaggelis Atlidakis @Vatlidak
3K Followers 1K Following Postdoc @BrownUniversity; Ph.D, M.Phil, MSc @Columbia; The only thing necessary for evil to triumph in the world is that good men do nothing.Veselin Raychev @vesuraychev
365 Followers 343 Following making machine learning work for code @snyksecPippa Crerar @PippaCrerar
459K Followers 4K Following Political Editor, The Guardian || Political Journalist of the Year [email protected]Greg Foss @35Foss
5K Followers 3K Following Security Engineering Leader @Datadoghq | Advisor | Mentor. Tweets are my own & do not reflect the opinions of my employer. @[email protected] on MastadonRajeev Alur @RajeevAlur
1K Followers 230 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systemsmark lucovsky @marklucovsky
6K Followers 790 Following Founder, Ex-{Google, Facebook, Mombo, VMware, Google, Microsoft, DEC, Vitesse, Culler, Data General, Victor}Mike Speiser @laserlikemike
38K Followers 326 Following Building products and companies at Sutter Hill Ventures in Silicon Valley and LondonJay Parikh @jayparikh
3K Followers 1K FollowingNoam Zilberstein @NZComplete
167 Followers 98 Following Recovering tech worker turned PhD student @CornellCIS. PL, Logic, Formal VerificationFederica Sarro 🏳�.. @f_sarro
999 Followers 548 Following Professor of Software Engineering at University College London @UCLCSTim Carstens Ⓥ @intoverflow
2K Followers 2K Following Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨Steam 🚂 maxi ✨ Eng @ RISC Zero 🤫 Personal account 🥸Manu Sridharan @rakingleaves
2K Followers 1K Following Professor @UCR_CSE doing research in programming languages and software engineering. https://t.co/8YGA4y2NaS or https://t.co/Z0Cn1GTSq9Alexandra Silva @alexandra8silva
2K Followers 850 Following Computer scientist, loves traveling and food tasting!jose.fragoso.santos @josefragososan
127 Followers 621 Following Assistant professor at IST Lisbon. PL and Formal Methods.kiniry @kiniry
1K Followers 1K Following Dad. Partner. Scientist. Activist. Maker. — He/Him Mastodon at @[email protected]Eddie Aftandilian @eaftandilian
840 Followers 326 Following Researcher @GitHubNext. Previously Java at Google. Views are my own.evan.sui @EvanWeb3
25K Followers 2K Following Co-founder & CEO of Mysten Labs - creating foundational web3 infra @SuiNetwork. Before: Wrote SW that runs on every single one of your devicesBor-Yuh Evan Chang @bechang
590 Followers 403 Following Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.Lacework @Lacework
20K Followers 585 Following Secure from code to cloud. Lacework is the data-driven cloud-native application protection platform. #CloudSecureGregory Malecha @gregory_malecha
115 Followers 75 FollowingLinghui Luo @LinghuiLuo
502 Followers 302 Following my personal account only represents my personal opinionsTej Chajed @tchajed
100 Followers 48 Following Researcher working on formal verification of systems software. I do most of my work in the Coq proof assistant using Iris.Benno Stein @benno_stein
119 Followers 322 Following program analysis, incremental computation, good/correct takes. past lives: static analysis at Meta London, PhD at CU BoulderHila Peleg is not her.. @HilaCodes
2K Followers 401 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)Marco Elver @maelver
226 Followers 116 Following Build reliable systems. Tweets about: Open source & Linux kernel. Opinions are my own.spoons @jchr1sty
52 Followers 387 FollowingTianyin Xu @tianyin_xu
4K Followers 998 Following Watchman in a cornfield @IllinoisCS @ECEILLINOIS @ACMSIGOPSTimotej Kapus @k_timotej
37 Followers 55 FollowingFrancesco Logozzo @FrancescoLogozz
181 Followers 171 FollowingDimitris Vardoulakis @dimvar
698 Followers 922 Following ML compilers @nvidia. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua. @[email protected]Benjamin Kaminski @Kaminski_BL
69 Followers 196 Following Theoretical computer scientist. Professor at Saarland University, Lecturer at University College London.Mike Dodds @miike
894 Followers 540 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own. Photo project: https://t.co/T9z02dBMuQKostya Serebryany @kayseesee
4K Followers 526 Following Keeping C++ insanity at bay: AddressSanitizer, Memory Tagging. Fuzzing software and hardware. Views are my own. Tweets are not only about tech.Jim Purbrick @JimPurbrick
1K Followers 853 Following Maker of @oculus, @facebook, @EveOnline and @SecondLife software and @alienalarms music. More at https://t.co/92taXlrnNj and @[email protected]Mooly Sagiv @SagivMooly
1K Followers 2K Following CEO of @CertoraInc and a chair of software systems at @TelAvivUniMarco Carbone @carbonem
59 Followers 80 FollowingCrowdsoucing formal specifications adds an extra layer on security around DeFi protocols. Thanks to community auditing platforms like @cantinaxyz , @code4rena , @CodeHawks , @HatsFinance , @immunefi, and @sherlockdefi for supporting this.
Audit competitions have changed the game: 💰 researchers get paid 🛡️ protocols get new layer of security Adding formal verification takes it to next level: 💰💰 more ways for researchers to earn 🛡️🛡️ sustained & thorough coverage for protocols certora.com/blog/community…
My mantra: "You're not that important." I find it a lot easier to take risks and take feedback when I remember people don't spend much time thinking about me. Similarly, not feeling entitled to people remembering my needs or problems has made me a better advocate for myself.
Do y’all have mantras that have really helped you in your life? Mine is “I already have a no”- I use this when I’m nervous about asking for something that me or my team needs. This saying alone has made me into a pretty good negotiator.
A true leader bringing temporal logic to the world leaving us the legion of formal verification.
On this day in 1941, Amir Pnueli was born. He received the 1996 #ACMTuringAward for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification: bit.ly/3vf1G19
@mboehme_ @ShriramKMurthi @samth @guidosalva @ICSE2024 (2) I actually don't think we should incentivize paper quality above/to the exclusion of everything else. We also care about things like fair review processes, accurate representations of intellectual contributions, and ethical mentorship of junior scientists, among others.
@clegoues @ShriramKMurthi @samth @guidosalva @ICSE2024 (1) Fully agree. This discussion must come up regularly. Constructively, it would be nice if the community would be more transparent about how the recruitment and tenure process is really not decided based on quantity. (2) This is obviously true. Happy to see many such efforts.
@bradneuberg WRONG — these companies ONLY exist due to the economics of Open Source. Imagine if their only alternative was to purchase a windows license, per server, in their data centers… Linux was the only economically viable option for them.
Flight back from @ICSEconf in Lisbon cancelled, weather problems Stateside. Oh Sigh. I guess I'll have to eat more Pasteis de Nata, wander around Mouraria, and listen to Fado for one more day. Woe is me.
It must be a lot of fun now that you are starting to see adaption. We are learning Move...
The great Gilles Barthe begins his plenary at @BellairsResear1
I was walking downtown, in New York City, hanging on my own, dreaming about functors, starjunctions and operators, when I stumbled upon, my old friends in crime, Adrien Pierard and Jules Villard 🎶
What an immense pleasure to host @jvanegue today in the @HexHiveEPFL @EPFL_en for a talk on improving verification to combat concurrency bugs. Best hacker formal talk, first time I understood several of these concepts 🐝🐝🐝
I am in Lisbon to attend the KLEE workshop, present the CASL logic and chair the “coverage & memory errors” session srg.doc.ic.ac.uk/klee24/ This flavor of the CASL talk is geared towards security researchers who are not formal methods experts. Looking forward to meeting everyone!
What an immense pleasure to host @jvanegue today in the @HexHiveEPFL @EPFL_en for a talk on improving verification to combat concurrency bugs. Best hacker formal talk, first time I understood several of these concepts 🐝🐝🐝
Simplicity is the most valuable feature you can have in a product. But it's not one you can add.
@JDHamkins but as regards model theory (if I understand correctly), Reynolds produced a negative result for set theory in a classical logic setting: inria.hal.science/inria-00076261…
@JDHamkins A highly influential paper in programming language that gets to the heart of this right from the first page is John C. Reynolds' Types, Abstraction, and Parametric Polymorphism. people.mpi-sws.org/~dreyer/tor/pa…
@betanalpha Shoot, did I leave the front door open, closed, or clopen?
LLM start-up announced to solve software supply-chain security in 3, 2, 1, ...
Ada Lovelace, Alan Turing, Vaneevar Bush, John von Neumann, and Claude Shannon. (I’m a programmer; I start counting at zero.)
Who is on your tech Mt. Rushmore? Four names only.
@0x30n @jduck @mboehme_ @RolfRolles @halvarflake I find that tools work best when customized to the problem at hand. Testing or comparing tools with vanilla configs is likely to lead to poor/misleading outcome. For abstract interpretation, the reference to me are Patrick's papers and course @ MIT/ENS: web.mit.edu/16.399/