-
Tweets318
-
Followers55
-
Following22
-
Likes269
We are very happy to host Michael Pradel, who just presented his work on "LLM Agents for Program Repair and Project Setup" at our SRG Seminar.
@c_cadar is opening the 4th International KLEE Workshop on Symbolic Execution right now. Greetings to everyone from Portugal!
KLEE 3.1 is released! Many thanks to all the contributors! github.com/klee/klee/rele…
One week left until the first (visa-safe) deadline for KLEE 2024! Submission process is lightweight, and you can present both published and in-progress work! Early submission deadline: Friday, 3rd November AoE srg.doc.ic.ac.uk/klee24/
We recently had the pleasure of hosting @ShaohuaLi8 from ETH Zurich for a seminar on his recent work, in collaboration with @zhendongsu, on detecting bugs in compiler sanitizers.
Really delighted that our paper on GrayC, a tool for greybox fuzzing of C compilers and analysers, received a distinguished paper award at #ISSTA! Come to G01 now if you wanna see @arindam_sharma8's talk! Joint work with @KarineEvenMend1 @c_cadar. dl.acm.org/doi/pdf/10.114…
Daniel @danielschemmel presenting at @issta_conf KDAlloc, our new memory allocator for KLEE, which provides several advantages, among which determinism and better support for use-after-free error detection.
The best artifact award goes to...Cristian Cadar, Daniel Schemmel, Arindam Sharma for their paper Patch Specifications via Product Programs#FormaliSE23 #bestartifactaward #ICSE23
Our @danielschemmel talks about the challenges of testing of floating-point code at SIAM CSE in Amsterdam. #SIAMCSE23
I have a postdoc position for 12m to work with me on program analysis or systems topics, in the context of evolving software. Closing 6th March. Please let me know if you are interested, or know someone who is: srg.doc.ic.ac.uk/vacancies/post…
Slides and videos are now available for most KLEE 2022 workshop presentations. Thanks again to all participants for the great talks! srg.doc.ic.ac.uk/klee22/schedul…
Two academics from @ICComputing and @ImpMaterials have won European Research Council (@ERC_Research) Proof of Concept Grants to accelerate their research ideas and concepts. Read the news story: ow.ly/FcR950KQ67W
This was such a great event!! The number of international participants is testament to how much interest there is in dynamic symbolic execution, and KLEE in particular.
This was such a great event!! The number of international participants is testament to how much interest there is in dynamic symbolic execution, and KLEE in particular.
We had a blast at the @kleesymex 2022 workshop! Our @danielschemmel @f_busse and @nowack_m all gave presentations and served as co-chairs under @c_cadar. It was great to meet you all and we hope to see you at the next @kleesymex workshop!
Thanks Cristian and the whole KLEE team for the great workshop!
Thanks Cristian and the whole KLEE team for the great workshop!
Second day of @kleesymex workshop starts with our Sébastien's keynote, on five shades of symbolic execution for vulnerability hunting. A wild tale of years researching to unleash the power of symbolic execution on binary code to solve security issues...
Second day of @kleesymex workshop starts with our Sébastien's keynote, on five shades of symbolic execution for vulnerability hunting. A wild tale of years researching to unleash the power of symbolic execution on binary code to solve security issues...
Vitaly Chipounov @vitalychh giving an industry keynote at the @kleesymex workshop about the journey of S2E from a research prototype to a commercial product.
Thanks once again to all participants for a wonderful workshop! See you next time!
I'll be at the @kleesymex conference tomorrow. Come talk to me about profiling and optimising program analysis tools! Here's a quick analysis of what you get if you run KLEE on a system that prodfiler.com is observing:
Jan Strejček giving the first @kleesymex keynote on how they won SV-COMP 2022 with Symbiotic, a symbolic execution KLEE-based tool.
AISecHub @AISecHub
4K Followers 4K Following 🚀 AISecHub | AI & Cybersecurity | Discussing AI-driven threats, securing AI systems, and sharing insights on emerging challenges 💡
Tony Mosciski @mosciski21946
3 Followers 172 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/RILZ3nMVUB
Padraig X. Lamont @paddy_lamont
161 Followers 243 Following I make software. Creator of @royalur_net, and developer of https://t.co/T1NrsbJNv8
zhou xiao @xiaozhouqi520
1 Followers 28 Following Graduated from ShangHai JiaoTong University, AI Software Developer.
Vincenzo Riccio @p1ndsvin
1K Followers 1K Following Assistant Professor @uniud 🇮🇹 Previously, postdoc @usisoftware 🇨🇭 Born and raised in Napoli 💙 Software testing for AI 🛠️🤖🛠️
Héctor D. Menéndez @HectorDMenendez
193 Followers 492 Following A lecturer at King's College London working in software testing, malware and machine learning. More here: https://t.co/cKx6aCvFBh Sibi ipsis obtemperant
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Stephan Lipp (inactiv... @stephanlipp
153 Followers 576 Following
Michaël Marcozzi �... @michaelmarcozzi
522 Followers 439 Following Permanent researcher in cybersecurity (fuzzing) @UnivParisSaclay I make software safer by viciously torturing it to reveal its flaws I can be kind too
Vitaly Chipounov @vitalychh
237 Followers 131 Following Chief Architect at Cyberhaven, S2E lead developer
Hallel Shohat @HallelShohat
8 Followers 412 Following
James Maden @james_maden7
97 Followers 2K Following
Karine Even-Mendoza @KarineEvenMend1
137 Followers 500 Following Computer scientist and a lucturer@KCL/Informatics
Martin Nowack @nowack_m
20 Followers 19 Following
SRG Imperial @SRGImperial
260 Followers 18 Following Research of the Software Reliability Group at Imperial College London
Samin Arefin @SaminArefin
56 Followers 840 Following
William Brandon @exists_forall
741 Followers 1K Following he/him • Trying to become compute-bound • PhD student at MIT CSAIL • Prev: CS & Math at UC Berkeley; ML Compilers at NVIDIA • Opinions my own
jose.fragoso.santos @josefragososan
138 Followers 624 Following Assistant professor at IST Lisbon. PL and Formal Methods.
John Wickerson @wicko3
1K Followers 789 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social
Arindam Sharma @arindam_sharma8
46 Followers 89 Following Computer Science PhD student at @SRGImperial Working on software patch testing and fuzzing London/Oxford
Zainab @zainabhasan24
473 Followers 2K Following Better infrastructure, better world | Fellow @notfellows | member @developer_dao | prev. @xorddotcom, @block_apex
Anwarias @Dondarum
3 Followers 37 Following
Constantin Sander @constsand
6 Followers 25 Following Ph.D. student at COMSYS, RWTH Aachen University.
prasun /prʌˈsun/ @p_r
98 Followers 1K Following
Ahmed Zaki @pengwinsurf
312 Followers 1K Following Building something cool | Previously @Meta, @NCCGroupInfosec, @symantec, @Sophos | PhD @SRGImperial
Tyler Sorensen @Tyler_UCSC
1K Followers 879 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
Cristian Cadar @c_cadar
1K Followers 270 Following
Hernan Ponce De Leon @h_poncedeleon
404 Followers 226 Following Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.
SOARlab @soarlab
121 Followers 191 Following Software Analysis Research Laboratory, School of Computing, University of Utah
SuperS @SuperS59831240
7 Followers 355 Following
Timotej Kapus @k_timotej
33 Followers 52 Following
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0
Markus Dahlmanns @markusdahlmanns
17 Followers 30 Following Researcher in Security and Privacy at RWTH Aachen
David L @d_laprell
10 Followers 176 Following
Dan Liew @dan_liew
424 Followers 568 Following Software Engineer at Apple . I work on the Sanitizers that are part of LLVM/Clang/Swift.
Julian Büning @julianbuening
41 Followers 132 Following PhD student @ RWTH Aachen University. Program Analysis and Symbolic Execution.
Felix Rath @felixmrath
14 Followers 8 Following PhD student with a focus on automated software testing and symbolic execution at @COMSYS_rwth. Also @rustlang enthusiast!
Maggie @chubbymaggie
265 Followers 2K Following
Rasool Maghareh @RMaghareh
146 Followers 481 Following - Senior Compiler Software Engineer at Lemurian Labs - Co-inventor of Opensource TracerX Symbolic Execution Engine.
Dinesh Bolkensteyn @DBolkensteyn
329 Followers 558 Following Vulnerability Researcher @GitLab; Ex @SonarSource; Loves running all kind of experiments; Enjoying the Digital Nomad lifestyle as a family!
Maryam Dabaghchian @MDabaghchian
129 Followers 355 Following Formal Verification Engineer @ :: Personal account
Stefan Sellmer @Stefan0x531
559 Followers 1K Following Security Researcher @Microsoft - All tweets are my own!
Benedikt Christoph Wo... @worengawins
323 Followers 863 Following Systems Janitor @Cloudflare. #WebPerf #WebSecurity #WebProtocols. Formerly @COMSYS_rwth/@netray_io. Tweets are my own.
Jens Hiller @jens_hiller
63 Followers 126 Following Network Security Researcher / Ph.D. Student at COMSYS, RWTH Aachen University; tweets are my own
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Stephan Lipp (inactiv... @stephanlipp
153 Followers 576 Following
Vitaly Chipounov @vitalychh
237 Followers 131 Following Chief Architect at Cyberhaven, S2E lead developer
Arindam Sharma @arindam_sharma8
46 Followers 89 Following Computer Science PhD student at @SRGImperial Working on software patch testing and fuzzing London/Oxford
Martin Nowack @nowack_m
20 Followers 19 Following
SRG Imperial @SRGImperial
260 Followers 18 Following Research of the Software Reliability Group at Imperial College London
CAV @confCAV
796 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0
David L @d_laprell
10 Followers 176 Following
Maryam Dabaghchian @MDabaghchian
129 Followers 355 Following Formal Verification Engineer @ :: Personal account
Julian Büning @julianbuening
41 Followers 132 Following PhD student @ RWTH Aachen University. Program Analysis and Symbolic Execution.
Felix Rath @felixmrath
14 Followers 8 Following PhD student with a focus on automated software testing and symbolic execution at @COMSYS_rwth. Also @rustlang enthusiast!
Martin Henze @mrtnhnz
131 Followers 288 Following Securing industrial networks, one bit at a time. Assistant professor @RWTH, research group leader @Fraunhofer_FKIE. Tweets are my own @[email protected]
Oliver Hohlfeld @ohohlfeld
1K Followers 483 Following Professor, head of Distributed Systems group @uni_kassel University of Kassel Research focus: networking / internet measurement / quality of experience
Roman Matzutt @matzutt
38 Followers 78 Following
Jens Hiller @jens_hiller
63 Followers 126 Following Network Security Researcher / Ph.D. Student at COMSYS, RWTH Aachen University; tweets are my own
kleesymex @kleesymex
801 Followers 1 Following
Dan Liew @dan_liew
424 Followers 568 Following Software Engineer at Apple . I work on the Sanitizers that are part of LLVM/Clang/Swift.
Cristian Cadar @c_cadar
1K Followers 270 Following
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College LondonTrends for United States
You might like
