2026년 3월 25일 (수)
- 08:202026년 3월 25일 (수) 08:20 차이 역사 +8,978 새글 Data Flow Analysis 새 문서: 분류:프로그램 분석 == 개요 == '''Data Flow Analysis'''는 프로그램의 각 지점(program point)에서 변수나 메모리 상태에 대한 정보를 계산하는 정적 분석 기법이다. 이 분석은 프로그램을 실행하지 않고도, 가능한 모든 실행 경로를 고려하여 변수의 값, 상태, 혹은 속성(property)을 추론하는 것을 목표로 한다. 특히, Data Flow Analysis는 프로그램을 '''Control Flow Graph (CFG)'''로 변... 최신
- 05:592026년 3월 25일 (수) 05:59 차이 역사 +54 새글 파일:Data Flow Analysis Lattice.png 편집 요약 없음 최신
2026년 3월 23일 (월)
- 07:112026년 3월 23일 (월) 07:11 차이 역사 +13,272 새글 AddressSanitizer Optimization 새 문서: 분류:AddressSanitizer 분류:Program Analysis 분류:Optimization == 개요 == 이 문서는 AddressSanitizer(ASan)의 실행 오버헤드를 줄이기 위한 다양한 최적화 기법들을 정리한 문서이다. ASan은 heap, stack, global object에 대한 out-of-bounds access와 heap use-after-free를 효과적으로 검출하지만, 각 memory access마다 shadow memory를 확인하는 check를 삽입하므로 실행 시간 오버헤드가 크다. == Remo... 최신
2026년 3월 19일 (목)
- 02:232026년 3월 19일 (목) 02:23 차이 역사 −5 Principles and Methodologies for Serial Performance Optimization 편집 요약 없음 최신
- 02:222026년 3월 19일 (목) 02:22 차이 역사 +6,336 새글 Principles and Methodologies for Serial Performance Optimization 새 문서: 분류:USENIX OSDI {{Paper|title=Principles and Methodologies for Serial Performance Optimization|author=Sujin Park, Mingyu Guan, Xiang Cheng, Taesoo Kim Georgia Institute of Technology|year=2025|conference=USENIX OSDI 19}} == 개요 == 이 논문은 시스템 성능 최적화에 초점을 맞추고, 이를 체계적으로 최적화하기 위한 framework를 제안한다. 기존에는 성능 최적화가 경험과 직관에 의존했으나, 본 논문은 이를 구조화된... 태그: 시각 편집: 전환됨
2026년 3월 18일 (수)
- 12:032026년 3월 18일 (수) 12:03 차이 역사 +157 새글 파일:USENIX OSDI 2025 Sujin, Park Table 1.png 편집 요약 없음 최신
- 08:032026년 3월 18일 (수) 08:03 차이 역사 −16 Fast Pointer Nullification for Use-After-Free Prevention 편집 요약 없음 최신 태그: 시각 편집: 전환됨
- 08:022026년 3월 18일 (수) 08:02 차이 역사 +8,304 새글 Fast Pointer Nullification for Use-After-Free Prevention 새 문서: index.php?title=분류:NDSS {{Paper|title=Fast Pointer Nullification for Use-After-Free Prevention|author=Yubo Du University of Pittsburgh yubo.du@pitt.edu Youtao Zhang University of Pittsburgh youtao@pitt.edu Jun Yang University of Pittsburgh juy9@pitt.edu|conference=NDSS 2026|year=2026}} == 개요 == Pointer nullification기법은 Use-after-free버그를 효과적으로 막을 수 있지만, 기존의 PN (Pointer nullification)기법들은 메타데이터 Looku... 태그: 시각 편집
- 04:562026년 3월 18일 (수) 04:56 차이 역사 +366 새글 파일:NDSS 2026 FPN Figure 4.png 편집 요약 없음 최신
- 03:542026년 3월 18일 (수) 03:54 차이 역사 +22 새글 파일:NDSS 2026 FPN Figure 2.png 편집 요약 없음 최신
2026년 2월 6일 (금)
- 14:112026년 2월 6일 (금) 14:11 차이 역사 −1 대문 편집 요약 없음 최신 태그: 시각 편집: 전환됨
- 14:102026년 2월 6일 (금) 14:10 차이 역사 +247 대문 편집 요약 없음 태그: 시각 편집: 전환됨
2026년 2월 3일 (화)
- 13:342026년 2월 3일 (화) 13:34 차이 역사 +1,633 새글 Evaluating the Effectiveness of Memory Safety Sanitizers 새 문서: {{Paper|title=Evaluating the Effectiveness of Memory Safety Sanitizers|conference=IEEE Symposium on Security and Privacy (SP)|year=2025|author=Emanuel Q. Vintila Technical University of Munich emanuel.vintila@tum.de Philipp Zieris Fraunhofer AISEC philipp.zieris@aisec.fraunhofer.de Julian Horsch Fraunhofer AISEC julian.horsch@aisec.fraunhofer.de}} 분류: IEEE S&P == 개요 == 기존의 다양한 Memory sanitizer들은 성능으로는 Evlauation결과를 보여주지만... 최신 태그: 시각 편집: 전환됨
2026년 1월 19일 (월)
- 10:202026년 1월 19일 (월) 10:20 차이 역사 +24 새글 분류:LLVM 새 문서: 분류: 컴파일러 최신
- 10:192026년 1월 19일 (월) 10:19 차이 역사 +1,752 새글 LLVM 새 문서: 분류: 오픈소스 프로젝트 분류: LLVM == 개요 == LLVM(Low Level Virtual Machine)은 모듈화된 구조를 가진 오픈소스 컴파일러 인프라 프로젝트이다. 특정 프로그래밍 언어에 종속되지 않고, 공통의 중간 표현(IR, Intermediate Representation)을 중심으로 다양한 컴파일 최적화와 코드 생성을 수행하는 것이 특징이다. LLVM의 핵심 아이디어는 프로그래밍 언어 → 중간 표현(IR) →... 최신
- 09:522026년 1월 19일 (월) 09:52 차이 역사 +54 대문 편집 요약 없음 태그: 시각 편집: 전환됨
- 09:502026년 1월 19일 (월) 09:50 차이 역사 +290 대문 편집 요약 없음
2026년 1월 15일 (목)
- 15:302026년 1월 15일 (목) 15:30 차이 역사 +141 대문 편집 요약 없음 태그: 시각 편집: 전환됨
- 15:262026년 1월 15일 (목) 15:26 차이 역사 −29 잔글 컴퓨터 시스템 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:262026년 1월 15일 (목) 15:26 차이 역사 −28 잔글 컴퓨터 네트워크 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:262026년 1월 15일 (목) 15:26 차이 역사 −27 잔글 알고리즘 설계와 분석 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:262026년 1월 15일 (목) 15:26 차이 역사 −28 잔글 데이터베이스 시스템 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:262026년 1월 15일 (목) 15:26 차이 역사 −27 잔글 계산 이론 개론 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:262026년 1월 15일 (목) 15:26 차이 역사 −27 잔글 Vertex Cover 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 Turing Machines 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 Topological Sorting 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 The RAM Model of Computation 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 The Gas Station Problem 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 The Big Oh Notation 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 Sorting Problem 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:242026년 1월 15일 (목) 15:24 차이 역사 −27 잔글 Shortest Paths 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:242026년 1월 15일 (목) 15:24 차이 역사 −27 잔글 Sets 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:242026년 1월 15일 (목) 15:24 차이 역사 −27 잔글 Selecting the Right Jobs 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:242026년 1월 15일 (목) 15:24 차이 역사 −27 잔글 Satisfiability Problem 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:242026년 1월 15일 (목) 15:24 차이 역사 −27 잔글 Robot Tour Optimization 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:242026년 1월 15일 (목) 15:24 차이 역사 −27 잔글 Regular Languages 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:232026년 1월 15일 (목) 15:23 차이 역사 −27 잔글 Regular Expressions 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:232026년 1월 15일 (목) 15:23 차이 역사 −27 잔글 Pushdown Automaton 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:232026년 1월 15일 (목) 15:23 차이 역사 −27 잔글 Pumping Lemma 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:232026년 1월 15일 (목) 15:23 차이 역사 −27 잔글 Priority Queues 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:232026년 1월 15일 (목) 15:23 차이 역사 −27 잔글 Post Correspondence Problem 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:232026년 1월 15일 (목) 15:23 차이 역사 −27 잔글 NP-Completeness 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:222026년 1월 15일 (목) 15:22 차이 역사 −27 잔글 Nondeterministic Finite Automata 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:222026년 1월 15일 (목) 15:22 차이 역사 −27 잔글 Natural Numbers 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:222026년 1월 15일 (목) 15:22 차이 역사 −27 잔글 Minimum Spanning Trees 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:222026년 1월 15일 (목) 15:22 차이 역사 −27 잔글 Mathematical Induction 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:222026년 1월 15일 (목) 15:22 차이 역사 −27 잔글 Logic and Proofs 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:222026년 1월 15일 (목) 15:22 차이 역사 −27 잔글 Languages 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:212026년 1월 15일 (목) 15:21 차이 역사 −27 잔글 Independent Set 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
- 15:212026년 1월 15일 (목) 15:21 차이 역사 −27 잔글 Hash Table 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신