서울대학교
중앙도서관
S-Space 소개
My S-Space
로그인이 필요합니다.
Login
S-Space
Communities & Collections
Researcher
Type
Title
nav bg
Browse
Author
검색
All
Author
Keyword
Title
검색
Jump to a point in the index
Choose year
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1985
1980
1975
1970
1960
1950
Choose month
January
February
March
April
May
June
July
August
September
October
November
December
Or type in a year
Sort by
issue date
title
submit date
created date
keyword
publisher
citation
liftdate
In order
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 10 of 10
Issue Date
Title / Author(s) / Citation
File
Altmetrics
2018-02
Verified Translation Validation For Register Promotion in LLVM
박상훈
view file
2018-02
MAX-SAT 기법을 이용하여 프로그래밍 과제의 피드백을 자동으로 생성하는 방법
조상우
view file
2018-08
Verified Credible Compilation Framework For Early CSE in LLVM
신동연
view file
2019-02
Reconciling Low-Level Features of C with Compiler Optimizations
강지훈
view file
2021
Formal Verification Framework for Cyber-Physical Systems on PALSware
김윤승
view file
link
2021
A Validated Semantics for LLVM IR
이준영
view file
link
2022
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code
주호영
view file
link
2023
Simplifying Reasoning under Weak Memory Concurrency
조민기
view file
link
2023
컴파일러의 부동소수점 최적화 검증을 위한 효율적인 SMT 인코딩
남승현
view file
link
2023
Understanding and Fulfilling the Desiderata for Relaxed Memory Models
이성환
view file
link
1