Wenjing Jin

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Bounded Model Checking

High Performance Computing

Loopy Belief Propagation

Continuous Query Processing

Top Venues

USENIX Annual Technical Conference

Publications

Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin
OpenMP Program Verification Based on Bounded Model Checking. QRS Companion (2023)
Gyusun Lee, Wenjing Jin, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, Jinkyu Jeong
A Case for Hardware-Based Demand Paging. ISCA (2020)
Jonghyun Bae, Hakbeom Jang, Jeonghun Gong, Wenjing Jin, Shine Kim, Jaeyoung Jang, Tae Jun Ham, Jinkyu Jeong, Jae W. Lee
SSDStreamer: Specializing I/O Stack for Large-Scale Machine Learning. IEEE Micro 39 (5) (2019)
Shine Kim, Jonghyun Bae, Hakbeom Jang, Wenjing Jin, Jeonghun Gong, SeungYeon Lee, Tae Jun Ham, Jae W. Lee
Practical Erase Suspension for Modern Low-latency SSDs. USENIX Annual Technical Conference (2019)
Zongchang Liu, Chao Jin, Wenjing Jin, Jay Lee, Zhiqiang Zhang, Chang Peng, Guanji Xu
Industrial AI Enabled Prognostics for High-speed Railway Systems. ICPHM (2018)
Jonghyun Bae, Hakbeom Jang, Wenjing Jin, Jun Heo, Jaeyoung Jang, Joo Young Hwang, Sangyeun Cho, Jae W. Lee
Jointly optimizing task granularity and concurrency for in-memory mapreduce frameworks. IEEE BigData (2017)
Linxia Liao, Wenjing Jin, Radu Pavel
Enhanced Restricted Boltzmann Machine With Prognosability Regularization for Prognostics and Health Assessment. IEEE Trans. Ind. Electron. 63 (11) (2016)
Wenjing Jin, Zhe Shi, David Siegel, Pierre Dersin, Cyril Douziech, Michele Pugnaloni, Piero La Cascia, Jay Lee
Development and evaluation of health monitoring techniques for railway point machines. ICPHM (2015)