Ahn9807의 사용자 기여

2026년 1월 15일 (목)

• 12:512026년 1월 15일 (목) 12:51 차이 역사 −10 잔글 Relational algebra 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:512026년 1월 15일 (목) 12:51 차이 역사 −10 잔글 Reduction to Relation Schemas 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:512026년 1월 15일 (목) 12:51 차이 역사 −10 잔글 Normal Forms 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:502026년 1월 15일 (목) 12:50 차이 역사 −10 잔글 Network Layer 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:502026년 1월 15일 (목) 12:50 차이 역사 −10 잔글 Nested Subquery 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:502026년 1월 15일 (목) 12:50 차이 역사 −10 잔글 Modification of the Database 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:502026년 1월 15일 (목) 12:50 차이 역사 −10 잔글 Join Expression 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:502026년 1월 15일 (목) 12:50 차이 역사 −10 잔글 Integrity Constraints 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:502026년 1월 15일 (목) 12:50 차이 역사 −10 잔글 Indexing 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:492026년 1월 15일 (목) 12:49 차이 역사 −10 잔글 Index Update 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:492026년 1월 15일 (목) 12:49 차이 역사 −10 잔글 Extended E-R model 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:492026년 1월 15일 (목) 12:49 차이 역사 −10 잔글 Entity Relationship Model 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:492026년 1월 15일 (목) 12:49 차이 역사 −10 잔글 Design Issues in E-R model 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:492026년 1월 15일 (목) 12:49 차이 역사 −10 잔글 Database 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:492026년 1월 15일 (목) 12:49 차이 역사 −10 잔글 Data Storage Structures 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:482026년 1월 15일 (목) 12:48 차이 역사 −10 잔글 Alternative Notations for Modeling Data 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:482026년 1월 15일 (목) 12:48 차이 역사 −10 잔글 Algorithm for Decomposition 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:482026년 1월 15일 (목) 12:48 차이 역사 −10 잔글 Aggregate Functions 봇: 자동으로 텍스트 교체 (-\[\[분류:데이터베이스 시스템(\|[^\]]+)?\]\] +분류:데이터베이스\1) 최신
• 12:372026년 1월 15일 (목) 12:37 차이 역사 −10 Additional Operation 편집 요약 없음 최신
• 11:552026년 1월 15일 (목) 11:55 차이 역사 +24 분류:계산 이론 개론 편집 요약 없음 최신 태그: 시각 편집: 전환됨
• 11:542026년 1월 15일 (목) 11:54 차이 역사 +24 잔글 분류:컴퓨터 시스템 Pinkgo(토론)의 편집을 Ahn9807의 마지막 판으로 되돌림 최신 태그: 일괄 되돌리기

2026년 1월 12일 (월)

• 17:562026년 1월 12일 (월) 17:56 차이 역사 +1,283 잔글 대문 Pinkgo(토론)의 편집을 Ahn9807의 마지막 판으로 되돌림 태그: 일괄 되돌리기

2025년 11월 25일 (화)

• 14:192025년 11월 25일 (화) 14:19 차이 역사 +362 새글 TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs 새 문서: 분류: USENIX OSDI {{Paper|title=TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs|author=Guanyu Feng and Huanqi Cao, Tsinghua University; Xiaowei Zhu, Ant Group; Bowen Yu, Yuanwei Wang, Zixuan Ma, Shengqi Chen, and Wenguang Chen, Tsinghua University|conference=OSDI|year=2022}} == 개요 == 최신 태그: 시각 편집: 전환됨

2025년 10월 17일 (금)

• 15:162025년 10월 17일 (금) 15:16 차이 역사 +4,851 새글 Skyloft: A General High-Efficient Scheduling Framework in User Space 새 문서: 분류: ACM SOSP {{Paper|title=Skyloft: A General High-Efficient Scheduling Framework in User Space|author=Yuekai Jia†∗, Kaifu Tian†∗, Yuyang You†, Yu Chen‡†, Kang Chen† †Tsinghua University, Beijing, China ‡Quan Cheng Laboratory, Jinan, China Both authors contributed equally to this research(*).|conference=SOSP|year=2024}} == 개요 == Skyloft는 General하고 매우 효율적인 User-space scheduling framework를 User-level interrupt([[Intel UIPI]... 최신 태그: 시각 편집: 전환됨
• 14:312025년 10월 17일 (금) 14:31 차이 역사 +26 새글 파일:SOSP 2024 Skyloft Figure 3.png 편집 요약 없음 최신
• 12:082025년 10월 17일 (금) 12:08 차이 역사 +807 Extended User Interrupts (xUI): Fast and Flexible Notification without Polling 편집 요약 없음 최신
• 11:362025년 10월 17일 (금) 11:36 차이 역사 +9,469 Intel User Interface Privilege Isolation 편집 요약 없음 최신
• 11:242025년 10월 17일 (금) 11:24 차이 역사 +24 새글 파일:ASPLOS 2025 xUI Figure 2.png 편집 요약 없음 최신
• 11:142025년 10월 17일 (금) 11:14 차이 역사 +24 새글 파일:ASPLOS 2025 xUI Figure 1.png 편집 요약 없음 최신
• 09:352025년 10월 17일 (금) 09:35 차이 역사 +1,801 새글 Extended User Interrupts (xUI): Fast and Flexible Notification without Polling 새 문서: {{Paper|title=Extended User Interrupts (xUI): Fast and Flexible Notification without Polling|author=Berk Aydogmus, Linsong Guo, Danial Zuberi, Tal Garfinkel, Dean Tullsen, Amy Ousterhout, Kazem Taram|year=2025|conference=ACM ASPLOS}} 분류: ASPLOS == 개요 == Intel UIPI의 기능을 분석하고, 이를 기반으로 User Interrupt 처리 효율을 향상시키는 네 가지 모델, Tracked Interrupt, Hardware Safepoints, Kernel Bypass Timer, 그리고 Interrupt Forwa... 태그: 시각 편집: 전환됨

2025년 10월 9일 (목)

• 16:002025년 10월 9일 (목) 16:00 차이 역사 +2,717 새글 FuzzBench: An Open Fuzzer Benchmarking Platform and Service 새 문서: {{Paper|title=FuzzBench: An Open Fuzzer Benchmarking Platform and Service|author=Jonathan Metzman, Laszlo Szekeres, Laurent Simon, Read Sprabery, Abhishek Arya|conference=ACM FSE|year=2021}} 분류: ACM FSE == 개요 == Fuzzer을 Evaluation하는 것은 매우 힘든 일이다. FuzzBench는 Fuzzer를 최대한 효율적으로, 그리고 정확히 Evaluating할 수 있는 Opensource Benchmark tool을 개발하였다. == Motivation & Importance == Fuzzing은 매... 최신 태그: 시각 편집: 전환됨
• 12:592025년 10월 9일 (목) 12:59 차이 역사 +58 새글 Intel UIPI Intel User Interface Privilege Isolation 문서로 넘겨주기 최신 태그: 새 넘겨주기 시각 편집
• 12:572025년 10월 9일 (목) 12:57 차이 역사 −5 Intel User Interface Privilege Isolation →한계
• 12:562025년 10월 9일 (목) 12:56 차이 역사 +3,068 새글 Intel User Interface Privilege Isolation 새 문서: == 개요 == Intel UIPI는 기존의 커널 의존적 IPC 메커니즘을 대체하기 위해, 하드웨어 수준에서 메시지 큐와 인터럽트 전달 메커니즘을 통합하였다. 각 프로세스는 사용자 공간 내에 존재하는 UIPI 엔드포인트(Endpoint)를 통해 다른 프로세스와 직접 데이터를 교환할 수 있다. === 기본 구조 === * '''UIPI 엔드포인트 (Endpoint)''': 각 프로세스는 하나 이상의 엔드포인트를 할...

2025년 10월 1일 (수)

• 16:322025년 10월 1일 (수) 16:32 차이 역사 −22 TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks 편집 요약 없음 최신
• 16:312025년 10월 1일 (수) 16:31 차이 역사 +2,399 새글 TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks 새 문서: {{Paper|title=TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks|author=Matteo Leonelli, Addison Crump, Meng Wang, Florian Bauckholt, Keno Hassler, Ali Abbasi, Thorsten Holz|year=2025|conference=NDSS}} 분류: NDSS == 개요 == Video codec decoding(비디오 코덱 디코딩)은 여러개의 소프트웨어와 하드웨어계층으로 이루어져 있고, 내려갈수록 State를 관측하기 힘들어, Fuzzing이 어려워진다. 이를 해결... 태그: 시각 편집: 전환됨
• 16:212025년 10월 1일 (수) 16:21 차이 역사 +27 새글 파일:NDSS 2025 TWINFUZZ Figure 2.png 편집 요약 없음 최신

2025년 9월 30일 (화)

• 14:102025년 9월 30일 (화) 14:10 차이 역사 +4,308 새글 Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework 새 문서: {{Paper|title=Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework|conference=ACM SOSP|year=2019|author=Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim}} 분류:ACM SOSP == 개요 == 본 연구에서는 메모리 오류뿐 아니라 '''파일 시스템의 시맨틱 버그'''를 탐지하기 위하여 새로운 퍼저(fuzzer)를 설계하였다. 제안된 퍼저는 입력 변형기(input mutator), 피드백 엔진(feedbac... 최신 태그: 시각 편집: 전환됨
• 13:342025년 9월 30일 (화) 13:34 차이 역사 +24 새글 파일:SOSP 2019 HYDRA Figure 6.png 편집 요약 없음 최신

2025년 9월 26일 (금)

• 13:082025년 9월 26일 (금) 13:08 차이 역사 +21 잔글 Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing 편집 요약 없음 최신
• 13:082025년 9월 26일 (금) 13:08 차이 역사 +29 잔글 NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types 편집 요약 없음 최신
• 13:072025년 9월 26일 (금) 13:07 차이 역사 +22 EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle 편집 요약 없음 최신
• 13:072025년 9월 26일 (금) 13:07 차이 역사 +3,052 새글 SecureCells: A Secure Compartmentalized Architecture 새 문서: {{Paper|title=SecureCells: A Secure Compartmentalized Architecture|author=Atri Bhattacharyya, Florian Hofhammer, Yuanlong Li, Siddharth Gupta, Andres Sanchez, Babak Falsafi, Mathias Payer|conference=IEEE Symposium on Security and Privacy (SP)|year=2023}} 분류: IEEE S&P == 개요 == SecureCell은 Protection domain에 관련된 연구로, 하드웨어-소프트웨어 Co-desig을 통한 Per-Virtual Memory Area Permissions을 가능하게 하여, 효율적인 User space... 최신 태그: 시각 편집: 전환됨
• 12:402025년 9월 26일 (금) 12:40 차이 역사 +33 새글 파일:IEEE SP 2023 SecureCells Figure 3.png 편집 요약 없음 최신

2025년 9월 25일 (목)

• 16:362025년 9월 25일 (목) 16:36 차이 역사 −2 EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle 편집 요약 없음
• 16:352025년 9월 25일 (목) 16:35 차이 역사 +4,308 새글 EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle 새 문서: {{Paper|title=eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle|author=Tao Lyu Kumar Kartikeya Dwivedi Thomas Bourgeat Mathias Payer Meng Xu, Sanidhya Kashyap|conference=SOSP|year=2025}} == 개요 == 본 연구에서는 eBPF semantics을 반영한 제너레이터가 생성한 오라클(oracle) 을 활용하여 eBPF Verifier의 False-positive 및 False-negative 버그를 검출하는 퍼저(fuzzer)를 설계하였다. 제너레이터는 의미론적... 태그: 시각 편집: 전환됨
• 16:002025년 9월 25일 (목) 16:00 차이 역사 +26 새글 파일:SOSP 2025 VERITAS Figure 7.png 편집 요약 없음 최신
• 13:472025년 9월 25일 (목) 13:47 차이 역사 +28 새글 하이퍼바이저 Hypervisor 문서로 넘겨주기 최신 태그: 새 넘겨주기 시각 편집
• 13:462025년 9월 25일 (목) 13:46 차이 역사 +3,620 새글 Hypervisor 새 문서: 분류: 가상화 == 개요 == 하이퍼바이저(Hypervisor)는 가상화를 위해서 사용되는 소프트웨어 또는 펌웨어를 말한다. 하이퍼바이저는 각 게스트에 가상화된 CPU, Memory, Storage, Network 등을 제공하며, Isolation과 Resource management를 제공한다. 이를 통해 하나의 물리적 하드웨어 위에서 다수의 운영체제가 동시에 독립적으로 실행될 수 있으며, 클라우드... 최신
• 13:312025년 9월 25일 (목) 13:31 차이 역사 +3,980 새글 NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types 새 문서: {{Paper|title=NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types|author=Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner and Thorsten Holz|year=2021|conference=30th USENIX Security Symposium|pdf=https://www.usenix.org/conference/usenixsecurity21/presentation/schumilo}} == 개요 == Hypervisor fuzzing을 위해서 2020년 시점으로는 Emulating해서 Code coverage를 구하는 방식과, Code covereage는 사용하지 않지만, Blac... 태그: 시각 편집: 전환됨