Ohcanbohtosat - Duck, Gregory J.

Persistent Iterators with Value Semantics Dahkki Li, Yihe, Duck, Gregory J.

Viečča ollesdeavstta
Viečča ollesdeavstta

On Termination, Confluence and Consistent CHR-based Type Inference Dahkki Duck, Gregory J., Haemmerle, Remy, Sulzmann, Martin

Viečča ollesdeavstta
Viečča ollesdeavstta

Efficient Greybox Fuzzing to Detect Memory Errors Dahkki Ba, Jinsheng, Duck, Gregory J., Roychoudhury, Abhik

Viečča ollesdeavstta
Viečča ollesdeavstta

Program Environment Fuzzing Dahkki Meng, Ruijie, Duck, Gregory J., Roychoudhury, Abhik

Viečča ollesdeavstta
Viečča ollesdeavstta

Large Language Model assisted Hybrid Fuzzing Dahkki Meng, Ruijie, Duck, Gregory J., Roychoudhury, Abhik

Viečča ollesdeavstta
Viečča ollesdeavstta

Large Language Model Powered Symbolic Execution Dahkki Li, Yihe, Meng, Ruijie, Duck, Gregory J.

Viečča ollesdeavstta
Viečča ollesdeavstta

Program Repair by Fuzzing over Patch and Input Space Dahkki Zhang, Yuntong, Shariffdeen, Ridwan, Duck, Gregory J., Tan, Jiaqi, Roychoudhury, Abhik

Viečča ollesdeavstta
Viečča ollesdeavstta

Fully Randomized Pointers Dahkki Phaye, Sai Dhawal, Duck, Gregory J., Yap, Roland H. C., Carlson, Trevor E.

Viečča ollesdeavstta
Viečča ollesdeavstta

When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference Dahkki Liu, Zhiyuan, Li, Yihe, Carlson, Trevor E., Wang, Huiyan, Meng, Ruijie, Duck, Gregory J.

Viečča ollesdeavstta
Viečča ollesdeavstta