Our recent work gets the media coverage, a neuron behavior-based method for fake face deteciton🧐

Excited to announce that I am teaching a *new* course on ML interpretability and explainability at Harvard this semester. Course webpage: interpretable-ml-class.github.io. Lecture slides and background materials are being uploaded as the class progresses. Lecture videos coming soon!

Joern's fuzzy C/C++ parser now has an integrated fuzzy pre-processor: joern.io/docs/importing… - the more code you can provide, the better your code representation will be.

Just made our recent survey on "smart contract formal specification and verification" available on arXiv: arxiv.org/abs/2008.02712 We've also built a dataset of relevant publications, called SCPub: ntu-srslab.github.io/smart-contract… Hope this can be useful for people working on the topic

Thank you guys for the warm welcome! I am so lucky to join you!

Just delivered my very very very first lecture! Exhausted but still feeling good 🤓 #MonashSE

It was my last SE conference trip before the pandemic... Really successful event! Also just realized our paper "DeepStellar: model-based quantitative analysis of stateful deep learning systems" dl.acm.org/doi/abs/10.114… is the most cited one in ESEC/FSE2019 😃

We are hiring 🔊

Students and instructors, consider registering for the Student Contest on Software Engineering (SCORE'23). Outstanding teams will win a trip to Melbourne to present their project at ICSE'23 More info at: tinyurl.com/score2023

📣📣

📢CFP: 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023) will be held in Singapore🇸🇬 this October! One best paper award and one best student paper award will be selected. Please consider submitting your papers here prdc.dependability.org/PRDC2023

#ICSE2023 The SCORE session is happening now. Welcome to room 107😁

We've got four strong finalists at SCORE'23 ICSE #ICSE2023 #SCORE2023 The first team presented their system to secure the software development life cycle.

The CFP for ISSTA 2025 is out: make sure your best software testing and analysis research is submitted by the deadline, October 31. conf.researchr.org/home/issta-2025 ISSTA Conference

java is the most token-efficient language, let that sink in