Personal repository for paper reviews done by Janggun Lee.
| Paper Name | Link |
|---|---|
| A Promising Semantics for Relaxed-Memory Concurrency | https://sf.snu.ac.kr/promise-concurrency/ |
| A convenient category for higher-order probability theory | https://dl.acm.org/doi/10.5555/3329995.3330072 |
| Paper Name | Link |
|---|---|
| Tensor Programs III: Neural Matrix Laws | https://arxiv.org/abs/2009.10685 |
| Paper Name | Link |
|---|---|
| Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects | https://dl.acm.org/doi/10.1109/TPDS.2004.8 |
| Split-ordered lists: Lock-free extensible hash tables | https://dl.acm.org/doi/10.1145/1147954.1147958 |
| Evolving Human Competitive Spectra-Based Fault Localisation Techniques | https://link.springer.com/chapter/10.1007/978-3-642-33119-0_18 |
| Optimizing Existing Software With Genetic Programming | https://ieeexplore.ieee.org/document/6733370 |
| A Marriage of Pointer- and Epoch-Based Reclamation | https://dl.acm.org/doi/abs/10.1145/3385412.3385978 |
| RefinedC | https://plv.mpi-sws.org/refinedc/ |
| RustBelt | https://plv.mpi-sws.org/rustbelt/ |
| Prusti | http://pm.inf.ethz.ch/publications/getpdf.php?bibname=Own&id=AstrauskasMuellerPoliSummers19b.pdf |
| Paper Name | Link |
|---|---|
| Nonlinear random matrix theory for deep learning | https://iopscience.iop.org/article/10.1088/1742-5468/ab3bc3 |