<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://dgistpl.github.io/ep1/</loc>
<lastmod>2024-02-03T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/ep2/</loc>
<lastmod>2024-02-18T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/ep3/</loc>
<lastmod>2024-08-08T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/ep4/</loc>
<lastmod>2024-10-28T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/ep5/</loc>
<lastmod>2024-12-22T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/ep6/</loc>
<lastmod>2025-07-20T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/ep7/</loc>
<lastmod>2025-09-13T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/ep8/</loc>
<lastmod>2025-10-22T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/ep9/</loc>
<lastmod>2025-11-08T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/01-Foundations/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/02-Introduction-to-Data-Structures/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/03-Linear-Data-Structures/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/04-Non-Linear-Data-Structures/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/05-Advanced-Data-Structures/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/06-Algorithms-with-Data-Structures/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/07-Practical-Applications-and-Projects/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/08-Interview-and-Competitive-Programming-Prep/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/09-Next-Steps/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Arrays/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/B-Trees-and-Bplus-Trees/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Dynamic-Programming/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Fenwick-Trees/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Graph-Algorithms/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Graphs/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Hash-Tables/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Linked-Lists/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Queues/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/Roadmap/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Searching-Algorithms/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Segment-Trees/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Sorting-Algorithms/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Stacks/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Trees/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Tries/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/book/topics/Union-Find/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/about/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/about/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/claude_code/2026/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_study/2026/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/research/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/members/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/trips/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/talks/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/publications/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/members/minseok.jeon/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/posts/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/CLAUDE/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/Roadmap/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_study/2026/slides/BeamerTemplate/</loc>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/advanced-ds.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/algorithm.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/application.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/array.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/b-tree.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/dynamic.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/fenwick-tree.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/foundations.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/graph-algo.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/graph.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/hash.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/interview.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/intro-ds.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/linear-ds.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/linked-list.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/next.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/non-linear-ds.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/queue.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/search.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/segment-tree.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/sorting.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/stack.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/tree.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/trie.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_ds/2025/slides/union-find.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_study/2026/guide.html</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_study/2026/setup.html</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_study/2026/slides/BeamerTemplate/CleanEasy.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ai_study/2026/slides/seminar.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/claude_code/2026/claude-code-install.html</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/claude_code/2026/level1.html</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/claude_code/2026/level2.html</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/VScodeInstallGuide.pdf</loc>
<lastmod>2026-04-02T05:05:17+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/VisualStudio2022InstallGuide.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture0.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture1.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture10.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture10_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture11.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture12.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture1_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture2.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture2_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture3.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture3_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture4.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture4_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture5.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture6.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture7.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture8.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture8_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture9.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cose213/2024/slides/lecture9_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/ocaml-setup.html</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec0.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec1.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec1_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec2.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec3.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec4.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec5.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec6.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lec7.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/lecture5_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/cse307/2026/slides/open_project_guideline.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/Application.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture0.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture1.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture1_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture2.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture2_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture3.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture4.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture5.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture5_review.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture6.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture7.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture8.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/courses/ic637/2025/slides/lecture9.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/cv/cv.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/cv/minseok_cv.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/AI_Usage_Presentation.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/ARES.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/CFA_slides.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/Dagstuhl_25421.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/ERC_2024_KAIST.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/Graphick.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/KCSESlide.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/PAFL.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/PL4XGL_ProSys_slide.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/PLDI2024_slides.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/PLDI24.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/POPL22_Obj2CFA.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/POPL22_slides.pdf</loc>
<lastmod>2026-04-02T05:05:18+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/POSTECH.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/SIGPL2025.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/SIGPL_2024_Aug.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/TOPLAS19.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/ccPaper.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/imp-synthesis.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/oopsla17_poster_minseok.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/oopsla17_slides_jeong_jeon.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/oopsla17a.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/oopsla18_paper.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/oopsla18_poster.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/oopsla18_slides.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/oopsla2020_slide.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
<url>
<loc>https://dgistpl.github.io/papers/problem_slides.pdf</loc>
<lastmod>2026-04-02T05:05:19+00:00</lastmod>
</url>
</urlset>
