Ahn9807의 사용자 기여

12:062025년 9월 25일 (목) 12:06 차이 역사 +872 새글 Affine type 새 문서: 분륲: 프로그래밍 언어 == 개요 == Affine type이란 프로그래밍 언어나 타입 시스템에서, 어떤 값이 '''최대 한 번만 사용될 수 있음'''을 보장하는 타입이다. 정확히 한번 사용해야 하는 Linear type과는 다르게, 최대 사용안하거나 1번 사용하는 것을 허용한다. Affine type은 한번 사용된 type이 다시 사용되는 것을 막기 때문에 안전성을 컴파일 타임에 보장할 수 있다. Rust... 최신
12:002025년 9월 25일 (목) 12:00 차이 역사 +33 새글 파일:USENIX Security 2021 NYX Figure 1.png 편집 요약 없음 최신

18:152025년 9월 22일 (월) 18:15 차이 역사 +38 새글 Differential fuzzing Differential testing 문서로 넘겨주기 최신 태그: 새 넘겨주기 시각 편집
18:152025년 9월 22일 (월) 18:15 차이 역사 +3,480 새글 Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing 새 문서: {{Paper|title=Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing|author=Chaoyuan Peng, Muhui Jiang, Lei Wu, Yajin Zhou|conference=CCS|year=2024}} == 개요 == BPFChecker는 Differential fuzzing을 사용하여서, eBPF runtime의 오류를 찾아내는 Fuzzing기법을 개발하였다. == Motivatioin & Implementation == eBPF버그는 시스템에 Critical한 영향을 미치기에 Verifier에 대한 Fuzzing은 많이...
17:422025년 9월 22일 (월) 17:42 차이 역사 +28 새글 파일:CCS 2024 BPFCHECKER Figure 3.png 편집 요약 없음 최신

13:232025년 9월 19일 (금) 13:23 차이 역사 −25 특허 편집 요약 없음 최신 태그: 수동 되돌리기
13:222025년 9월 19일 (금) 13:22 차이 역사 +25 특허 편집 요약 없음 태그: 되돌려진 기여
13:082025년 9월 19일 (금) 13:08 차이 역사 +103 BRF: Fuzzing the eBPF Runtime 편집 요약 없음 최신

03:412025년 7월 28일 (월) 03:41 차이 역사 +1,914 AVM: Application-Level Virtual Memory 편집 요약 없음 최신

15:312025년 7월 27일 (일) 15:31 차이 역사 +283 새글 AVM: Application-Level Virtual Memory 새 문서: 분류: ACM HotOS {{Paper|title=AVM: Application-Level Virtual Memory|author=Dawson R. Engler, Sandeep K. Gupta, M. Frans Kasshoek|conference=ACM HotOS|year=1995}} == 개요 == == Motvation & Importance == == Main Idea == == Design == == Evaluation == == Conclusion == 태그: 시각 편집: 전환됨
15:242025년 7월 27일 (일) 15:24 차이 역사 +357 Do-It-Yourself Virtual Memory Translation 편집 요약 없음 최신
15:202025년 7월 27일 (일) 15:20 차이 역사 +3,975 Do-It-Yourself Virtual Memory Translation 편집 요약 없음
14:592025년 7월 27일 (일) 14:59 차이 역사 +27 새글 파일:ACM ISCA DVMT 2017 Figure 5.png 편집 요약 없음 최신
11:482025년 7월 27일 (일) 11:48 차이 역사 +565 새글 Do-It-Yourself Virtual Memory Translation 새 문서: 분류: ACM ISCA {{Paper|title=Do-It-Yourself Virtual Memory Translation|author=Hanna Alam, Tianhao Zhang, Mattan Erez2, Yoav Etsion|conference=ACM ISCA 2017}} == 개요 == DVMT는 하드웨어 Translation을 효율적으로 만들 수 있도록 하기 위한 Memory Translation Architecture이다. DVMT는 Virtual to physical mapping을 Decoupling해서, Application이 Mapping을 관리할 수 있도록 함과 동시에, OS가 안전한 Security관리를 하도록 하였다... 태그: 시각 편집: 전환됨
08:012025년 7월 27일 (일) 08:01 차이 역사 +2,636 FBMM: Making Memory Management Extensible With Filesystems 편집 요약 없음 최신
07:322025년 7월 27일 (일) 07:32 차이 역사 +28 새글 파일:USENIX ATC 2024 FBMM Table 2.png 편집 요약 없음 최신

11:482025년 7월 24일 (목) 11:48 차이 역사 +1,377 새글 FBMM: Making Memory Management Extensible With Filesystems 새 문서: 분류: USENIX ATC {{Paper|title=FBMM: Making Memory Management Extensible With Filesystems|author=Bijan Tabatabai, James Sorenson and Michael M. Swift, University of Wisconsin–Madison|pdf=https://www.usenix.org/conference/atc24/presentation/tabatabai|year=2024|conference=USENIX ATC 2024}} == 개요 == Virtual file system을 이용해서 Memory management도 확장가능할 수 있도록 Memory file system이라는 것을 만들었다. 이를 통해서 File Based Mem... 태그: 시각 편집: 전환됨
10:412025년 7월 24일 (목) 10:41 차이 역사 +29 새글 파일:USENIX ATC 2024 FBMM Figure 1.png 편집 요약 없음 최신
09:432025년 7월 24일 (목) 09:43 차이 역사 +6,094 새글 EMT: An OS Framework for New Memory Translation Architectures 새 문서: 분류: USENIX OSDI {{Paper|title=EMT: An OS Framework for New Memory Translation Architectures|author=Siyuan Chai, Jiyuan Zhang, Jongyul Kim, Alan Wang, Fan Chung, and Jovan Stojkovic, University of Illinois Urbana-Champaign; Weiwei Jia, University of Rhode Island; Dimitrios Skarlatos, Carnegie Mellon University; Josep Torrellas and Tianyin Xu, University of Illinois Urbana-Champaign|conference=USENIX OSDI 2025|year=2025|pdf=https://www.usenix.org/system/files/osdi25-c... 최신 태그: 시각 편집: 전환됨
07:282025년 7월 24일 (목) 07:28 차이 역사 +29 새글 파일:USENIX OSDI 2025 EMT Figure 5.png 편집 요약 없음 최신
05:292025년 7월 24일 (목) 05:29 차이 역사 −581 Building Bridges: Safe Interactions with Foreign Languages through Omniglot 편집 요약 없음 최신
05:262025년 7월 24일 (목) 05:26 차이 역사 +3,344 새글 Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB 새 문서: 분류: USENIX ATC {{Paper|title=Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB|author=Yuke Peng, SUSTech; Hongliang Tian, Ant Group; Junyang Zhang and Ruihan Li, Peking University and Zhongguancun Laboratory; Chengjun Chen and Jianfeng Jiang, Ant Group; Jinyi Xian, SUSTech; Xiaolin Wang, Chenren Xu, Diyu Zhou, and Yingwei Luo, Peking University and Zhongguancun Laboratory; Shoumeng Yan, Ant Group; Yinqian Zhang, SUSTech|conference=... 최신 태그: 시각 편집: 전환됨

11:342025년 7월 23일 (수) 11:34 차이 역사 +2,703 새글 Building Bridges: Safe Interactions with Foreign Languages through Omniglot 새 문서: 분류: USENIX OSDI {{Paper|title=Building Bridges: Safe Interactions with Foreign Languages through Omniglot|author=Leon Schuermann and Jack Toubes, Princeton University; Tyler Potyondy and Pat Pannuto, University of California San Diego; Mae Milano and Amit Levy, Princeton University|conference=USENIX OSDI 2025|year=2025|pdf=https://www.usenix.org/conference/osdi25/presentation/schuermann}} == 개요 == Memory, type safety language와 같은 경우에는 버그를... 태그: 시각 편집: 전환됨
05:332025년 7월 23일 (수) 05:33 차이 역사 +126 Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code 편집 요약 없음 최신 태그: 시각 편집: 전환됨

11:582025년 7월 21일 (월) 11:58 차이 역사 +423 Light-Weight Contexts: An OS Abstraction for Safety and Performance 편집 요약 없음 최신 태그: 시각 편집: 전환됨

09:272025년 7월 20일 (일) 09:27 차이 역사 +12,946 새글 Extending Applications Safely and Efficiently 새 문서: {{Paper|title=Extending Applications Safely and Efficiently|author=Yusheng Zheng, UC Santa Cruz; Tong Yu, eunomia-bpf Community; Yiwei Yang, UC Santa Cruz; Yanpeng Hu, ShanghaiTech University; Xiaozheng Lai, South China University of Technology; Dan Williams, Virginia Tech; Andi Quinn, UC Santa Cruz|pdf=https://www.usenix.org/system/files/osdi25-zheng-yusheng.pdf|conference=USENIX OSDI 2025|year=2025}} == 개요 == 논문은 EIM과 bpftime이라는 모델을 개발하였다... 최신 태그: 시각 편집: 전환됨
08:072025년 7월 20일 (일) 08:07 차이 역사 +29 새글 파일:USENIX OSDI 2025 EIM Figure 3.png 편집 요약 없음 최신
08:072025년 7월 20일 (일) 08:07 차이 역사 +29 새글 파일:USENIX OSDI 2025 EIM Figure 2.png 편집 요약 없음 최신
06:052025년 7월 20일 (일) 06:05 차이 역사 +10,443 USENIX OSDI 2025 편집 요약 없음 최신

10:352025년 7월 18일 (금) 10:35 차이 역사 +2,273 USENIX OSDI 2025 편집 요약 없음

07:132025년 7월 17일 (목) 07:13 차이 역사 +1,504 ZIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO 편집 요약 없음 최신 태그: 시각 편집: 전환됨
03:512025년 7월 17일 (목) 03:51 차이 역사 +29 새글 파일:USENIX OSDI 2022 zIO Figure 3.png 편집 요약 없음 최신

09:032025년 7월 16일 (수) 09:03 차이 역사 +29 새글 파일:USENIX OSDI 2022 zIO Figure 1.png 편집 요약 없음 최신

06:482025년 7월 15일 (화) 06:48 차이 역사 +5,490 새글 USENIX OSDI 2025 새 문서: 분류: USENIX OSDI == Distributed Systems and Data Centers I == === Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols === Distributed protocols들은 올바르게 설계하기 어렵다. 이를 위해서 Formal verification을 이용해서 Protocol이 Safety property를 만족하는지를 Verification하는 과정이 필요하다. Formal verification을 위해서 Inductive invariant들을 분석해야 하지만, 올바른 Inductive invar... 태그: 시각 편집: 전환됨

07:022025년 7월 2일 (수) 07:02 차이 역사 −21 CAMP: Compiler and Allocator-based Heap Memory Protection 편집 요약 없음 최신
07:012025년 7월 2일 (수) 07:01 차이 역사 −21 CAMP: Compiler and Allocator-based Heap Memory Protection 편집 요약 없음
06:582025년 7월 2일 (수) 06:58 차이 역사 +1 CAMP: Compiler and Allocator-based Heap Memory Protection 편집 요약 없음
06:572025년 7월 2일 (수) 06:57 차이 역사 +3,718 새글 CAMP: Compiler and Allocator-based Heap Memory Protection 새 문서: 분류: USENIX Security {{Paper|title=CAMP: Compiler and Allocator-based Heap Memory Protection|year=2024|conference=USENIX Security|author=Zhenpen Lin, Zheng Yu, Ziyi Guo, Simone Campanoni, Peter Dinda, Xinyu Xing|institution=Northwestern University}} == 개요 == Compiler support와 Memory allocator support를 이용해서 Memory santizier을 개발하였다. Memory allocator을 통한 Runtime-support로 다양한 Static instrumentation optimization을 통해서 overh... 태그: 시각 편집: 전환됨
05:452025년 7월 2일 (수) 05:45 차이 역사 +21 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 편집 요약 없음 최신
05:372025년 7월 2일 (수) 05:37 차이 역사 +19 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 편집 요약 없음 태그: 시각 편집
05:362025년 7월 2일 (수) 05:36 차이 역사 −31 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 편집 요약 없음 태그: 시각 편집
05:352025년 7월 2일 (수) 05:35 차이 역사 +301 틀:Paper 편집 요약 없음 최신
05:322025년 7월 2일 (수) 05:32 차이 역사 +51 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 편집 요약 없음 태그: 시각 편집
05:292025년 7월 2일 (수) 05:29 차이 역사 +1 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 편집 요약 없음 태그: 시각 편집: 전환됨
05:282025년 7월 2일 (수) 05:28 차이 역사 +123 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 편집 요약 없음 태그: 시각 편집: 전환됨
05:272025년 7월 2일 (수) 05:27 차이 역사 +181 틀:Paper 편집 요약 없음
05:222025년 7월 2일 (수) 05:22 차이 역사 +201 틀:Paper 편집 요약 없음
05:172025년 7월 2일 (수) 05:17 차이 역사 −1,736 틀:Paper 편집 요약 없음
05:042025년 7월 2일 (수) 05:04 차이 역사 −598 틀:Paper 편집 요약 없음
04:582025년 7월 2일 (수) 04:58 차이 역사 +208 틀:Paper 편집 요약 없음

2025년 9월 25일 (목)

2025년 9월 22일 (월)

2025년 9월 19일 (금)

2025년 7월 28일 (월)

2025년 7월 27일 (일)

2025년 7월 24일 (목)

2025년 7월 23일 (수)

2025년 7월 21일 (월)

2025년 7월 20일 (일)

2025년 7월 18일 (금)

2025년 7월 17일 (목)

2025년 7월 16일 (수)

2025년 7월 15일 (화)

2025년 7월 2일 (수)