@ccadar.bsky.social
Reposted
Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas:
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
Description
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...
www.imperial.ac.uk
October 15, 2025 at 6:16 AM
Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas:
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
Reposted
Double feature! The newest Transactions on Software Engineering features retrospectives on the most influential papers published in the journal’s first 40 years. Check out our takes on
* Mining Software Repositories www.computer.org/csdl/journal...
* Delta Debugging www.computer.org/csdl/journal...
* Mining Software Repositories www.computer.org/csdl/journal...
* Delta Debugging www.computer.org/csdl/journal...
April 25, 2025 at 9:31 AM
Double feature! The newest Transactions on Software Engineering features retrospectives on the most influential papers published in the journal’s first 40 years. Check out our takes on
* Mining Software Repositories www.computer.org/csdl/journal...
* Delta Debugging www.computer.org/csdl/journal...
* Mining Software Repositories www.computer.org/csdl/journal...
* Delta Debugging www.computer.org/csdl/journal...
After a delightful and productive first part of my sabbatical at NUS hosted by @abhikrc.bsky.social, I am excited to start a second part at @unistuttgart.bsky.social hosted by Michael Pradel, via a @humboldt-foundation.de research award:
www.imperial.ac.uk/news/260113/...
www.imperial.ac.uk/news/260113/...
Prof. Cristian Cadar Receives Prestigious Humboldt Research Award | Imperial News | Imperial College London
This prestigious accolade is granted to internationally renowned researchers
www.imperial.ac.uk
April 7, 2025 at 3:45 PM
After a delightful and productive first part of my sabbatical at NUS hosted by @abhikrc.bsky.social, I am excited to start a second part at @unistuttgart.bsky.social hosted by Michael Pradel, via a @humboldt-foundation.de research award:
www.imperial.ac.uk/news/260113/...
www.imperial.ac.uk/news/260113/...
Reposted
Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. @ccadar.bsky.social @afd-icl.bsky.social
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
April 2, 2025 at 10:21 AM
Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. @ccadar.bsky.social @afd-icl.bsky.social
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
Reposted
It is a pleasure to be hosting S-REPLS at Imperial College London today - the 16th edition of the South of England Regional Programming Languages Seminar. Thanks to all the speakers and attendees for a great event so far!
April 1, 2025 at 1:07 PM
It is a pleasure to be hosting S-REPLS at Imperial College London today - the 16th edition of the South of England Regional Programming Languages Seminar. Thanks to all the speakers and attendees for a great event so far!
Reposted
Tomorrow Manuel Carrasco will present our work on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST, joint with @ccadar.bsky.social - check out the paper, which builds on our prior work on JFS (Just Fuzz It Solver)! www.doc.ic.ac.uk/~afd/papers/...
April 1, 2025 at 1:11 PM
Tomorrow Manuel Carrasco will present our work on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST, joint with @ccadar.bsky.social - check out the paper, which builds on our prior work on JFS (Just Fuzz It Solver)! www.doc.ic.ac.uk/~afd/papers/...
Reposted
Hot take: We have now fully arrived in the empiricist era where results and utility are all that matters, where a fundamental understanding of underlying processes takes a backseat. And I think that's bad.
plato.stanford.edu/entries/rati...
plato.stanford.edu/entries/rati...
Rationalism vs. Empiricism (Stanford Encyclopedia of Philosophy)
plato.stanford.edu
March 20, 2025 at 8:20 AM
Hot take: We have now fully arrived in the empiricist era where results and utility are all that matters, where a fundamental understanding of underlying processes takes a backseat. And I think that's bad.
plato.stanford.edu/entries/rati...
plato.stanford.edu/entries/rati...
Congrats to my PhD student Frank @fbusse.bsky.social for a successful viva! It's been wonderful working together all these years, and I'm looking forward to our next joint projects!
March 19, 2025 at 9:50 AM
Congrats to my PhD student Frank @fbusse.bsky.social for a successful viva! It's been wonderful working together all these years, and I'm looking forward to our next joint projects!
Reposted
I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: www.doc.ic.ac.uk/~afd/PhD-Adv...
www.doc.ic.ac.uk
March 18, 2025 at 6:50 PM
I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: www.doc.ic.ac.uk/~afd/PhD-Adv...
Very interesting talk! The ability to build a project and run its test suite automatically is indeed really useful for a variety of dynamic analysis techniques.
March 17, 2025 at 5:23 PM
Very interesting talk! The ability to build a project and run its test suite automatically is indeed really useful for a variety of dynamic analysis techniques.
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! srg.doc.ic.ac.uk/publications...
March 7, 2025 at 9:30 AM
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! srg.doc.ic.ac.uk/publications...
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!
srg.doc.ic.ac.uk/vacancies/25...
srg.doc.ic.ac.uk/vacancies/25...
Research Associate / Research Assistant in Program Analysis and Generative AI
Fixed term appointment for up to 24 months Applications are invited for a Research Associate / Research Assistant position in the Software Reliability Group, under the direction of Prof. Cristian...
srg.doc.ic.ac.uk
March 3, 2025 at 10:38 PM
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!
srg.doc.ic.ac.uk/vacancies/25...
srg.doc.ic.ac.uk/vacancies/25...
Reposted
SQLancer will be part of the Google Summer of Code (GSoC) program again this year! We are looking for motivated contributors as well as database development teams who would like to have their systems tested. summerofcode.withgoogle.com/programs/202...
March 2, 2025 at 9:48 AM
SQLancer will be part of the Google Summer of Code (GSoC) program again this year! We are looking for motivated contributors as well as database development teams who would like to have their systems tested. summerofcode.withgoogle.com/programs/202...
Reposted
I am organising the next edition of S-REPLS at Imperial College London on 1st April (no joke) - email me if you're interested in giving a talk! Web page and registration coming soon.
January 27, 2025 at 1:13 PM
I am organising the next edition of S-REPLS at Imperial College London on 1st April (no joke) - email me if you're interested in giving a talk! Web page and registration coming soon.
Reposted
🔮 ACM TOSEM Perspective Paper on Software Security in 2030 (Invited).
📝 mpi-softsec.github.io/papers/TOSEM...
Collab w/ Eric Bodden, Tevfik Bultan, Cristian Cadar, Liu Yang, and Giuseppe Scanniello
📝 mpi-softsec.github.io/papers/TOSEM...
Collab w/ Eric Bodden, Tevfik Bultan, Cristian Cadar, Liu Yang, and Giuseppe Scanniello
November 19, 2024 at 9:51 AM
🔮 ACM TOSEM Perspective Paper on Software Security in 2030 (Invited).
📝 mpi-softsec.github.io/papers/TOSEM...
Collab w/ Eric Bodden, Tevfik Bultan, Cristian Cadar, Liu Yang, and Giuseppe Scanniello
📝 mpi-softsec.github.io/papers/TOSEM...
Collab w/ Eric Bodden, Tevfik Bultan, Cristian Cadar, Liu Yang, and Giuseppe Scanniello
Reposted
We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social
January 21, 2025 at 3:39 PM
We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social
Attending an interesting Shonan seminar on Trusted Automated Programming, with interesting discussions and beautiful Mount Fuji in the background.
January 22, 2025 at 5:48 AM
Attending an interesting Shonan seminar on Trusted Automated Programming, with interesting discussions and beautiful Mount Fuji in the background.
On my way to give a talk on fuzzing today, I spotted this coffee shop. I now need to try a greybox coffee, and compare it with a blackbox and whitebox one.
January 14, 2025 at 2:07 PM
On my way to give a talk on fuzzing today, I spotted this coffee shop. I now need to try a greybox coffee, and compare it with a blackbox and whitebox one.
Thank you, @david-lo.bsky.social, for hosting me at SMU today for a seminar talk where I discussed recent advances and ongoing challenges in fuzzing. Thanks to everyone in the audience for their excellent questions and suggestions.
January 14, 2025 at 1:46 PM
Thank you, @david-lo.bsky.social, for hosting me at SMU today for a seminar talk where I discussed recent advances and ongoing challenges in fuzzing. Thanks to everyone in the audience for their excellent questions and suggestions.
Reposted
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/...
doc.ic.ac.uk
January 14, 2025 at 10:19 AM
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/...
Reposted
It's 2025, which means PLISS is this year... May to be specific! If you're interested in studying programming language implementations, please make sure to express your interest in time pliss.org/2025/
January 6, 2025 at 6:57 PM
It's 2025, which means PLISS is this year... May to be specific! If you're interested in studying programming language implementations, please make sure to express your interest in time pliss.org/2025/
Reposted
Releasing AutoCodeRover-v2 -- Fully open source download for anyone !!
autocoderover.dev
Achieving 24.9% on SWE-bench full and 46.2% on SWE-bench Verified!
**Source code available** at github.com/nus-apr/auto...
autocoderover.dev
Achieving 24.9% on SWE-bench full and 46.2% on SWE-bench Verified!
**Source code available** at github.com/nus-apr/auto...
AutoCodeRover | DevAssistant
Official Website for AutoCodeRover
autocoderover.dev
December 7, 2024 at 1:55 AM
Releasing AutoCodeRover-v2 -- Fully open source download for anyone !!
autocoderover.dev
Achieving 24.9% on SWE-bench full and 46.2% on SWE-bench Verified!
**Source code available** at github.com/nus-apr/auto...
autocoderover.dev
Achieving 24.9% on SWE-bench full and 46.2% on SWE-bench Verified!
**Source code available** at github.com/nus-apr/auto...
Welcome, Abhik! There is indeed a lot of movement in this direction.
Hello everyone - this is first post in Bluesky - it seems lot of friends are moving to Bluesky - so I am also creating a home here.
I am a Professor of Computer Science at National University of Singapore working on Software Engineering and Security.
Find me in the web abhikrc.com
I am a Professor of Computer Science at National University of Singapore working on Software Engineering and Security.
Find me in the web abhikrc.com
Abhik Roychoudhury
abhikrc.com
December 8, 2024 at 3:38 AM
Welcome, Abhik! There is indeed a lot of movement in this direction.
I am delighted to be in Singapore for an extended visit, kindly hosted by Abhik Roychoudhury and his awesome group at NUS. I've already had many interesting and productive meetings at NUS and beyond, and I'm looking forward to my remaining time here!
December 6, 2024 at 9:01 AM
I am delighted to be in Singapore for an extended visit, kindly hosted by Abhik Roychoudhury and his awesome group at NUS. I've already had many interesting and productive meetings at NUS and beyond, and I'm looking forward to my remaining time here!