Ahn9807의 사용자 기여

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 편집 요약 없음
04:402025년 7월 2일 (수) 04:40 차이 역사 +2,032 틀:Paper 편집 요약 없음
04:382025년 7월 2일 (수) 04:38 차이 역사 −221 틀:Paper 편집 요약 없음
04:372025년 7월 2일 (수) 04:37 차이 역사 +2,188 새글 틀:Paper 새 문서: <includeonly> <table class="tg-infobox floatright">  {{Infobox image row | image = {{{image|}}} | caption = {{{caption|}}} | imageWidth = {{{imageWidth|}}} | imageHeight = {{{imageHeight|}}} }}  {{#if:{{{youtube|}}} | <div class="video-container"> {{#tag:iframe | | width="320" height="180" src="https://www.youtube.com/embed/{{#invoke:URLDecode|decode|{{#replace:{{{youtube}}}|https://www.youtube.com/watch?v=|}}}}"...
04:072025년 7월 2일 (수) 04:07 차이 역사 0 Delta Pointers: Buffer Overflow Checks Without the Checks 편집 요약 없음 최신
04:062025년 7월 2일 (수) 04:06 차이 역사 +4,031 새글 Delta Pointers: Buffer Overflow Checks Without the Checks 새 문서: 분류: ACM EuroSys Taddeus Kroes, Koen Koning, Erik van der Kouwe, Herbert Bos, CRistiano Giuffrida EuroSys 2018 == 개요 == Memory santizier에서 메모리 버그를 추적하기 위한 Branch개수와 Memory access빈도를 최소화 하는 것이 중요하다. == Motivation & Importance == Memory santizier은 중요한 연구 분야이다. 쉽게 Production system에 적용 가능하고, Performance overhead가 적은 Memory santizier를 개발하는 것이 따라...
01:442025년 7월 2일 (수) 01:44 차이 역사 +36 새글 파일:EuroSys 2018 Delta Pointers Figure 2.png 편집 요약 없음 최신
01:432025년 7월 2일 (수) 01:43 차이 역사 +36 새글 파일:EuroSys 2018 Delta Pointers Figure 1.png 편집 요약 없음 최신

09:532025년 6월 30일 (월) 09:53 차이 역사 +4,598 새글 SHADOWBOUND: Efficient Heap Memory Protection Through Advanced Metadata Management and Customized Compiler Optimization 새 문서: 분류: USENIX Security Zheng Yu, Ganxiang Yang, Xinyu Xing USENIX Security 2024 == 개요 == 기존의 Use-after-free 버그를 막기 위한 여러 기법들<ref>MarkUs: Drop-in use-after-free prevention for low-level languages</ref><ref>Preventing Use-After-Free Attacks with Fast Forward Allocation</ref><ref>PUMM: Preventing Use-After-Free Using Execution Unit Partitioning</ref>에 새로운 Bound checking을 추가하여서 Temporal + Spatial Bug를 효... 최신

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일 (수)

2025년 6월 30일 (월)