Cristian Cadar
@c_cadar
Followers
1K
Following
979
Media
65
Statuses
713
Joined February 2015
RT @SRGImperial: Our own Ahmed Zaki (@pengwinsurf) just presented his APISlicer work with a talk titled "Generating and contributing test c….
0
2
0
I am looking to fill a Research Associate/Assistant position on an exciting project at the intersection of program analysis and GenAI. Candidates should be able to start soon (in the next few months). If you are interested, please get in touch ASAP!.
0
14
38
My PhD student Ahmed's research is focused on the challenging problem of both generating and contributing test cases to library repositories. Our recent paper presents an interesting relevant technique and case study. Talk to him at SANER!
On the way to #SANER2025 to present our work on test case generation for C software libraries from clients with @arindam_sharma8 and @c_cadar. If you are in Montreal and want to chat about our work and/or program analysis drop me a dm.
1
1
15
Thank you, @davidlo2015 for hosting me at SMU today, and thanks to everyone in the audience for their excellent questions and suggestions.
Thank you very much, @c_cadar, for giving a great talk on "Fuzzing Research and Practice: Advances and Open Challenges" at @sgSMU :)
1
0
20
I am delighted to be in Singapore for an extended visit, kindly hosted by @AbhikRoychoudh1 and his awesome group at @NUSingapore. I've already had many interesting and productive meetings at NUS and beyond, and I'm looking forward to my remaining time here!.
1
0
21
We have six open faculty positions in the Department of Computing @ICComputing at @imperialcollege, with software engineering among the focus areas! Outstanding candidates across all areas of computer science are encouraged to apply. More info at
0
6
17
Delighted to talk today about program analysis for safe and secure software evolution to a great audience in Singapore! Many thanks to Imperial Global Singapore @imperialcollege for hosting my talk.
1
1
39
I have a postdoc position in my group to work on an exciting project at the intersection of program analysis and GenAI:.Reposts appreciated, both here and elsewhere.
1
17
39
It was great to catch up today with the verification community at the 16th VSTTE. My keynote reflected on testing vs. verification, and introduced dynamic symbolic execution as a technique between T & V. Slides for my keynote are now available at:
0
6
23
RT @kleesymex: Slides and talks from the KLEE 2024 workshop in Lisbon are now available! Thanks again to all of our speakers!. https://t.co….
0
11
0
Excellent keynote from @Tomasz_Kuchta at the @kleesymex workshop this year, do check it out!.
Interested to hear a few thoughts on how to help make symbolic execution mainstream and how Academia/Industry perspectives matter? Check out a keynote I gave at KLEE'24 workshop:.
0
1
17
Great to be at FUZZING'24, where we are presenting two registered reports, one on CI/CD fuzzing and the other on sparse loop symbolic execution.
1
0
19
Excited to start working soon on FORTE, an @ERC_Research Proof of Concept project which will explore practical applications of our research on safe and secure software evolution. More details in the article below.
Four engineers from @ICComputing and @ImperialBioeng have each won a €150,000 @ERC_Research grant to develop research concepts. Their research spans AI models, safe and sustainable software development, engineered microbes and upper limb prothesis:.
2
0
23
I am teaching at Marktoberdorf Summer School this year. I highly recommend it in future years if you are a PhD student in verification, PL, SE, and related areas.
1
0
28
I'll be there at the start of the week, giving a keynote at LCTES'24 on Monday, on the topic of fuzzing. Looking forward to catching up with the LCTES/PLDI crowd!.
PLDI is one week away! Looking forward to seeing many of you in Copenhagen, Denmark. The complete program of PLDI here:
0
1
19
I agree; in this day and age it doesn't help prevent spam and it just makes it unnecessarily hard for legitimate communication to reach you.
I've just emailed to ~70 PL researchers, and the amount of time I wasted changing [at] to @, resolving "first.last", solving puzzles, and beta-reducing lambda-terms to decipher their addresses is infuriating. I seriously don't get why people keep obfuscating their contact info.
0
0
5