From 8e543e7683bf8d14b26e32847a8f510e69176163 Mon Sep 17 00:00:00 2001 From: rainoftime Date: Fri, 26 Apr 2024 12:55:34 +0800 Subject: [PATCH] update --- index.html | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 825ba12..8929133 100644 --- a/index.html +++ b/index.html @@ -118,10 +118,13 @@

Current Research

Automated verification for artificial intelligence [ICSE'24]
  • - Path sensitivity [PLDI'24][PLDI21'a] [ISSTA'20], context sensitivity (via CFL-reachability) [OOPSLA'22a] + Path sensitivity [PLDI'21a] [ISSTA'20], context sensitivity (via CFL-reachability) [OOPSLA'22a]
  • - Reasoning about concurrency [PLDI21'b] [USENIX Security'23], memory [TOSEM'23] [ISSTA'24], numerics [OOPSLA'21] [ASE'21] [ICSE'22] [ASE'23a], change impacts [ASE'23b], and DSL [ICSE'23] + Alias/heap analysis [PLDI'24] [OOPSLA'22a] [ISSTA'24] TOSEM'23] +
    • +
  • + Reasoning about concurrency [PLDI21'b] [USENIX Security'23], numerics [OOPSLA'21] [ASE'21] [ICSE'22] [ASE'23a], change impacts [ASE'23b], and DSL [ICSE'23]
  • Fuzz testing: general purpose [S&P'24] [TDSC'23] [ S&P'22