본문

  1. Home
26 Results:SS:PROGRAMMINGLANGUAGE 0.124 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
Programming Language Tools and Techniques for Computational Fabrication
Programming Language Tools and Techniques for Computational Fabrication
Nandi, Chandrakana. | University of Washington | 2021
미리보기
위치정보
2
Teaching and Assessing Programming Language Tracing
Teaching and Assessing Programming Language Tracing
Nelson, Gregory L. | University of Washington | 2021
미리보기
위치정보
3
Automatically Improving the Code Quality of Rust Via LLM
Automatically Improving the Code Quality of Rust Via LLM
Cheng, Xiang. | Georgia Institute of Technology | 2025
미리보기
위치정보
4
Witness Functions in Program Analysis and Complexity Theory
Witness Functions in Program Analysis and Complexity Theory
Ding, Shuo. | Georgia Institute of Technology | 2024
미리보기
위치정보
5
Lost in Translation: Security and Bug-Finding in Foreign Function Interfaces and Multi Language Programs
Lost in Translation: Security and Bug-Finding in Foreign Function Interfaces and Multi Language Programs
Askar, Ammar. | Georgia Institute of Technology | 2025
미리보기
위치정보
6
Fuzzing with Advanced Program Exploration and Bug Modeling for Software Security
Fuzzing with Advanced Program Exploration and Bug Modeling for Software Security
Chen, Yongheng. | Georgia Institute of Technology | 2024
미리보기
위치정보
7
Programming Models for Correct and Modular Distributed Systems
Programming Models for Correct and Modular Distributed Systems
Laddad, Shadaj Ramnivas. | University of California, Berkeley | 2025
미리보기
위치정보
8
Human-Centered Program Synthesis
Human-Centered Program Synthesis
Ferdowsifard, Kasra. | University of California, San Diego | 2024
미리보기
위치정보
9
Compositional Security for Smart Contracts
Compositional Security for Smart Contracts
Yao, Siqiu. | Cornell University | 2024
미리보기
위치정보
10
An Investigation of the Pragmatics of Debugging With Contracts and Gradual Types
An Investigation of the Pragmatics of Debugging With Contracts and Gradual Types
Lazarek, Lukas. | Northwestern University | 2024
미리보기
위치정보
처음123이후마지막