Gax's Blog
HomeArchivesCategoriesTagsAbout

November 2023

[Review] DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation

2023-11-28

[Review] DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation

Research

[Review] Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting

2023-11-23

[Review] Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting

Research

[Review] Prompting Is All You Need: Automated Android Bug Replay with Large Language Models

2023-11-22

[Review] Prompting Is All You Need: Automated Android Bug Replay with Large Language Models

Research

[Review] Examining Zero-Shot Vulnerability Repair with Large Language Models

2023-11-21

[Review] Examining Zero-Shot Vulnerability Repair with Large Language Models

Research

[Review] Automated Program Repair in the Era of Large Pre-trained Language Models

2023-11-19

[Review] Automated Program Repair in the Era of Large Pre-trained Language Models

Research

[Review] Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm

2023-11-18

[Review] Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm

Research

[Review] Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models

2023-11-15

[Review] Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models

Research

[Review] On the Naturalness of Software

2023-11-14

[Review] On the Naturalness of Software

Research

[Review] Titan : Efficient Multi-target Directed Greybox Fuzzing

2023-11-13

[Review] Titan : Efficient Multi-target Directed Greybox Fuzzing

Research

[Review] Whole Test Suite Generation

2023-11-12

[Review] Whole Test Suite Generation

Research

Previous
Next
  • 1
  • 2
Gax

Gax

Help others and save the world.

Hangzhou, Zhejiang, China

Posts

42

Categories

7

Tags

58

Follow

Links

  • CSDNwww.csdn.net
  • BILIBILIwww.bilibili.com
  • Googlewww.google.com
  • Youtubewww.youtube.com
  • Pixivwww.pixiv.net

Recents

[Review] Assisting Static Analysis with Large Language Models: A ChatGPT Experiment

2024-07-12

[Review] Assisting Static Analysis with Large Language Models: A ChatGPT Experiment

Research

[Review] Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths

2024-07-04

[Review] Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths

Research

[Review] GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

2024-06-04

[Review] GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

Research

[Review] MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation

2024-04-28

[Review] MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation

Research

[Review] One Simple API Can Cause Hundreds of Bugs: An Analysis of Refcounting Bugs in All Modern Linux Kernels

2024-04-25

[Review] One Simple API Can Cause Hundreds of Bugs: An Analysis of Refcounting Bugs in All Modern Linux Kernels

Research

Categories

  • Jottings2
  • LeetCode2
  • Notes1
  • Research31
  • 《深入理解计算机系统》CSAPP3
  • 《算法导论》ITA2
  • 汇编1

Archives

  • July 20242
  • June 20241
  • April 20243
  • March 20241
  • February 20241
  • December 20237
  • November 202311
  • October 20239
  • July 20221
  • February 20226

Tags

20071
20121
20131
20161
20181
20191
20202
20214
20223
202310
20245
ASE2
ASE 20161
ASE 20241
Binary Search1
CCS4
CCS 20191
CCS 20201
CCS 20211
CCS 20231
CHI1
CHI 20211
Dynamic Programming1
ESEC/FSE1
ESEC/FSE 20231
ESEM1
ESEM 20211
ICSE5
ICSE 20071
ICSE 20121
ICSE 20231
ICSE 20242
IEEE S&P3
IEEE S&P 20232
IEEE S&P 20241
ISSTA2
ISSTA 20221
ISSTA 20231
Jottings2
LeetCode2
NDSS1
NDSS 20241
OSDI1
OSDI 20201
Paper Review30
SOSP2
SOSP 20211
SOSP 20231
TSE3
TSE 20131
TSE 20222
USENIX Security4
USENIX Security 20181
USENIX Security 20233
汇编1
算法2
自学笔记5
计算机系统3

Subscribe for updates

Gax's Blog

© 2024 Gax  Powered by Hexo & Icarus
Visited by 0 users

×