Ahn9807의 사용자 기여

2025년 7월 17일 (목)

• 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 편집 요약 없음 최신

2025년 7월 16일 (수)

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

2025년 7월 15일 (화)

• 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... 최신 태그: 시각 편집: 전환됨

2025년 7월 2일 (수)

• 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"> <!-- Image --> {{Infobox image row | image = {{{image|}}} | caption = {{{caption|}}} | imageWidth = {{{imageWidth|}}} | imageHeight = {{{imageHeight|}}} }} <!-- Youtube --> {{#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 편집 요약 없음 최신

2025년 6월 30일 (월)

• 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를 효... 최신
• 06:362025년 6월 30일 (월) 06:36 차이 역사 +41 새글 파일:USENIX Security 2024 SHADOWBOUND Figure 1.png 편집 요약 없음 최신
• 05:352025년 6월 30일 (월) 05:35 차이 역사 +1,671 Debloating Address Sanitizer 편집 요약 없음 최신 태그: 시각 편집: 전환됨
• 05:012025년 6월 30일 (월) 05:01 차이 역사 +2,414 새글 Debloating Address Sanitizer 새 문서: 분류: USENIX Security Yuchen Zhang, Chengbin Pang, Georgios Portokalidis, Nijos Triandopoulos, Jun Xu USENIX Security 2022 == 개요 == AddressSanitizer의 성능 분석과, 그에 대한 여러가지의 Optimization technique를 제시한 논문이다. == Motivation & Importance == ASAN은 강력한 '''Capability''', '''Scalability''', '''Usability'''덕분에 많이 사용되는 Memory Santizier이다. 그러나 ASAN은 대략 1.5x-3.x의 메모리 오버헤드...
• 04:582025년 6월 30일 (월) 04:58 차이 역사 +36 새글 파일:USENIX Security 2022 ASan-- Figure 3.png 편집 요약 없음 최신

2025년 6월 29일 (일)

• 08:572025년 6월 29일 (일) 08:57 차이 역사 +1,868 새글 PACMem: Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication 새 문서: 분류: ACM CCS Yuan Li, Wende Tan, Zhizheng Lv, Songtao Tang, Mathias Payer, Ying Liu, Chao Zhang ACM CCS 2022 == 개요 == ARM PAC기술을 이용하여서 Memory Sanitizer에서 큰 비용이 소요되는, Metadata propagation과 Metadata checking의 비용을 하드웨어적인 방법으로 줄인 논문이다. == Motivation & Importance == Spatial memory bug와 Temporal memory bug참고. == Design == 파일:CCS 2022 PACMem Figure 3.png|섬네일|가... 최신
• 08:402025년 6월 29일 (일) 08:40 차이 역사 +2,223 Pointer authentication code 편집 요약 없음 최신
• 08:302025년 6월 29일 (일) 08:30 차이 역사 +45 새글 ARM PAC Pointer authentication code 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 08:212025년 6월 29일 (일) 08:21 차이 역사 +24 새글 파일:CCS 2022 PACMem Figure 3.png 편집 요약 없음 최신

2025년 6월 28일 (토)

• 08:002025년 6월 28일 (토) 08:00 차이 역사 +1,967 새글 Enhancing Memory Error Detection for Large-Scale Applications and Fuzz Testing 새 문서: 분류: NDSS NDSS 2018 Wookyun Han, Byunggil Joe, Byouingyoung Lee, Chengyu Song, Insik Shin == 개요 == Memory bug를 잡기 위한 방식중 Redzone-based방식이 있다. ASAN과 같은 Redzone기반의 방식은 Redzone의 크기가 클수록 정확도가 향상되는데, 이를 64-bit system의 Virtual address를 효율적으로 배치함으로서, 최대한 큰 Redzone크기를 가질 수 있도록 하였다. == Motivation & Importance == 메모리 버그를... 최신
• 06:522025년 6월 28일 (토) 06:52 차이 역사 −1 ASAN 넘겨주기 대상을 AddressSanitizier에서 AddressSanitizer 문서로 변경했습니다 최신 태그: 넘겨주기 대상 변경 시각 편집
• 06:522025년 6월 28일 (토) 06:52 차이 역사 +35 새글 ASAN AddressSanitizier 문서로 넘겨주기 태그: 새 넘겨주기
• 06:242025년 6월 28일 (토) 06:24 차이 역사 +28 새글 파일:NDSS 2018 MEDSAlloc Figure 2.png 편집 요약 없음 최신

2025년 6월 9일 (월)

• 02:572025년 6월 9일 (월) 02:57 차이 역사 +1,875 새글 NLP4Tests: AI-guided Authoring of Software Tests Milos Grigoric 새 문서: 분류: 시스템 세미나 일자: 6월 9일 월요일 오전 11시 장소: KAIST E3-1 4448호 연사: Milos Grigoric == 개요 == NLP기술을 Software testing에 어떻게 적용할까? 소프트웨어 테스팅은 기존에는 사람의 Intervention이 필요하였다. High quality의 fuzzing을 위해서는 사람이 어느정도 개입을 하여야 하였다. === Learning Deep Semantics for Test Completion === NLP는 Input이 있으면 Test코드를 만들어야... 최신

2025년 6월 5일 (목)

• 09:452025년 6월 5일 (목) 09:45 차이 역사 +885 PageFlex: Flexible and Efficient User-space Delegation of Linux Paging Policies with eBPF 편집 요약 없음 최신

2025년 6월 4일 (수)

• 04:212025년 6월 4일 (수) 04:21 차이 역사 +1,927 새글 PageFlex: Flexible and Efficient User-space Delegation of Linux Paging Policies with eBPF 새 문서: 분류: USENIX ATC Anil Yelam, Kan Wu, Zhiyuan Guo, Suli Yang, Rajath Shashidhara, Wei Xu, Stanko Novakovic, Alex C.Snoeren, Kimberly Keeton USENIX ATC 2025 == 개요 == Remote memory system에서 Paging을 어떻게 하느냐에 관한 많은 논문이 있지만, 구현방식에 따라서 Linux커널에 이식하기 힘들거나, 아니면 성능이 느려지는 문제가 있었다. 이 논문은 eBPF를 활용해서 Linux paging policy를 User-level에 Delegate하...
• 04:122025년 6월 4일 (수) 04:12 차이 역사 +33 새글 파일:USENIX ATC 2025 PageFlex Figure 3.png 편집 요약 없음 최신

2025년 6월 2일 (월)

• 04:362025년 6월 2일 (월) 04:36 차이 역사 +41 잔글 Eden: Developer-Friendly Application-Integrated Far Memory 편집 요약 없음 최신
• 01:512025년 6월 2일 (월) 01:51 차이 역사 +1,352 Eden: Developer-Friendly Application-Integrated Far Memory 편집 요약 없음 태그: 시각 편집
• 01:502025년 6월 2일 (월) 01:50 차이 역사 +20 새글 파일:USENIX NSDI Figure 8.png 편집 요약 없음 최신

2025년 6월 1일 (일)

• 07:322025년 6월 1일 (일) 07:32 차이 역사 +192 새글 Network 새 문서: 분류:컴퓨터 네트워킹 == 개요 == 컴퓨터 네트워킹은 장치들이 서로 상호작용하기 위해서 어떤 방식으로 통신해야 하는지를 다루는 학문이다. 최신
• 07:302025년 6월 1일 (일) 07:30 차이 역사 +4,144 새글 Eden: Developer-Friendly Application-Integrated Far Memory 새 문서: 분류: USENIX NSDI Anil Yelam, Stward Grant, Saart Deshpande, Nadav Amit, Radhika Niranjan Mysore, Amy Osterhout, Marcos K. Aguilera, Alex C. Snoeren 2025 NSDI == 개요 == Far memroy system은 Harware paging에 의존하여서 Transparent하지만 성능저하가 있는 방식과, Application을 수정하여서 Transparent하지 않지만 성능을 보장하는 방식으로 나뉠 수 있다. Eden은 최소한의 Attnotation과 Hardware의 도움을 복합적으로 사... 태그: 시각 편집: 전환됨
• 07:102025년 6월 1일 (일) 07:10 차이 역사 +227 새글 파일:USENIX NSDI Eden Figure 3.png 편집 요약 없음 최신