Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Junfeng Yang
@article{DBLP:journals/appml/YanWY24,
author = {Xihong Yan and
Chuanlong Wang and
Junfeng Yang},
title = {A note on progressive hedging algorithm for multistage stochastic
variational inequalities},
journal = {Appl. Math. Lett.},
volume = {152},
pages = {109008},
year = {2024},
url = {https://doi.org/10.1016/j.aml.2024.109008},
doi = {10.1016/J.AML.2024.109008},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/appml/YanWY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jota/YinY24,
author = {Chao Yin and
Junfeng Yang},
title = {Golden Ratio Proximal Gradient {ADMM} for Distributed Composite Convex
Optimization},
journal = {J. Optim. Theory Appl.},
volume = {200},
number = {3},
pages = {895--922},
year = {2024},
url = {https://doi.org/10.1007/s10957-023-02336-8},
doi = {10.1007/S10957-023-02336-8},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jota/YinY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/LiaoZYWLQYYWW24,
author = {Lirui Liao and
Shuneng Zhou and
Junfeng Yang and
Zekun Wang and
Jingjie Li and
Ziqiang Qiu and
Zhongxin Yu and
Canran Yang and
Hai Wang and
Li Wen},
title = {A Flexible Pressure Sensor Based on an Interlocked Micropillars Array
With Secondary Nanoprotrusions for Health Monitoring},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {73},
pages = {1--9},
year = {2024},
url = {https://doi.org/10.1109/TIM.2024.3378283},
doi = {10.1109/TIM.2024.3378283},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/LiaoZYWLQYYWW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0025YLXRF24,
author = {Zhen Zhang and
Junfeng Yang and
Limei Liu and
Xuesong Xu and
Guozhen Rong and
Qilong Feng},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Towards a Theoretical Understanding of Why Local Search Works for
Clustering with Fair-Center Representation},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {16953--16960},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i15.29638},
doi = {10.1609/AAAI.V38I15.29638},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0025YLXRF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/EldeebBCY24,
author = {Tamer Eldeeb and
Philip A. Bernstein and
Asaf Cidon and
Junfeng Yang},
title = {Chablis: Fast and General Transactions in Geo-Distributed Systems},
booktitle = {14th Conference on Innovative Data Systems Research, {CIDR} 2024,
Chaminade, HI, USA, January 14-17, 2024},
publisher = {www.cidrdb.org},
year = {2024},
url = {https://www.cidrdb.org/cidr2024/papers/p4-eldeeb.pdf},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cidr/EldeebBCY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-12970,
author = {Chengzhi Mao and
Carl Vondrick and
Hao Wang and
Junfeng Yang},
title = {Raidar: geneRative {AI} Detection viA Rewriting},
journal = {CoRR},
volume = {abs/2401.12970},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.12970},
doi = {10.48550/ARXIV.2401.12970},
eprinttype = {arXiv},
eprint = {2401.12970},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-12970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-05398,
author = {Ritambhara Singh and
Abhishek Jain and
Pietro Perona and
Shivani Agarwal and
Junfeng Yang},
title = {On the Effect of Image Resolution on Semantic Segmentation},
journal = {CoRR},
volume = {abs/2402.05398},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.05398},
doi = {10.48550/ARXIV.2402.05398},
eprinttype = {arXiv},
eprint = {2402.05398},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-05398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eait/LinYJL23,
author = {Ruyi Lin and
Junfeng Yang and
Feng Jiang and
Jiaping Li},
title = {Does teacher's data literacy and digital teaching competence influence
empowering students in the classroom? Evidence from China},
journal = {Educ. Inf. Technol.},
volume = {28},
number = {3},
pages = {2845--2867},
year = {2023},
url = {https://doi.org/10.1007/s10639-022-11274-3},
doi = {10.1007/S10639-022-11274-3},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eait/LinYJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/ZhangLY23,
author = {Yi Zhang and
Yaping Lin and
Junfeng Yang},
title = {{ELGONBP:} {A} grouped neighboring intensity difference encoding for
texture classification},
journal = {Multim. Tools Appl.},
volume = {82},
number = {7},
pages = {10311--10336},
year = {2023},
url = {https://doi.org/10.1007/s11042-022-13634-0},
doi = {10.1007/S11042-022-13634-0},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mta/ZhangLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/LiWTHYYZ23,
author = {Zheng Li and
Xiaocheng Wu and
Cui Tu and
Xiong Hu and
Zhaoai Yan and
Junfeng Yang and
Yanan Zhang},
title = {Research on Stellar Occultation Detection with Bandpass Filtering
for Oxygen Density Retrieval},
journal = {Remote. Sens.},
volume = {15},
number = {14},
pages = {3681},
year = {2023},
url = {https://doi.org/10.3390/rs15143681},
doi = {10.3390/RS15143681},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/LiWTHYYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PeiXYJR23,
author = {Kexin Pei and
Zhou Xuan and
Junfeng Yang and
Suman Jana and
Baishakhi Ray},
title = {Learning Approximate Execution Semantics From Traces for Binary Function
Similarity},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {4},
pages = {2776--2790},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3231621},
doi = {10.1109/TSE.2022.3231621},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PeiXYJR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/MaoTSMYWV23,
author = {Chengzhi Mao and
Revant Teotia and
Amrutha Sundar and
Sachit Menon and
Junfeng Yang and
Xin Wang and
Carl Vondrick},
title = {Doubly Right Object Recognition: {A} Why Prompt for Visual Rationales},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2023, Vancouver, BC, Canada, June 17-24, 2023},
pages = {2722--2732},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CVPR52729.2023.00267},
doi = {10.1109/CVPR52729.2023.00267},
timestamp = {Sun, 03 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/MaoTSMYWV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/WengH0NY23,
author = {Lingmei Weng and
Yigong Hu and
Peng Huang and
Jason Nieh and
Junfeng Yang},
editor = {Giuseppe Antonio Di Luna and
Leonardo Querzoni and
Alexandra Fedorova and
Dushyanth Narayanan},
title = {Effective Performance Issue Diagnosis with Value-Assisted Cost Profiling},
booktitle = {Proceedings of the Eighteenth European Conference on Computer Systems,
EuroSys 2023, Rome, Italy, May 8-12, 2023},
pages = {1--17},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3552326.3587444},
doi = {10.1145/3552326.3587444},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/WengH0NY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/WangMVWYC23,
author = {Haoda Wang and
Steven Myint and
Vandi Verma and
Yonatan Winetraub and
Junfeng Yang and
Asaf Cidon},
title = {Mars Attacks!: Software Protection Against Space Radiation},
booktitle = {Proceedings of the 22nd {ACM} Workshop on Hot Topics in Networks,
HotNets 2023, Cambridge, MA, USA, November 28-29, 2023},
pages = {245--253},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3626111.3628199},
doi = {10.1145/3626111.3628199},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/WangMVWYC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/MaoGYWV23,
author = {Chengzhi Mao and
Scott Geng and
Junfeng Yang and
Xin Wang and
Carl Vondrick},
title = {Understanding Zero-shot Adversarial Robustness for Large-Scale Models},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/pdf?id=P4bXCawRi5J},
timestamp = {Sun, 03 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/MaoGYWV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/MaoZJYWV23,
author = {Chengzhi Mao and
Lingyu Zhang and
Abhishek Vaibhav Joshi and
Junfeng Yang and
Hao Wang and
Carl Vondrick},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Robust Perception through Equivariance},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {23852--23870},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/mao23d.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/MaoZJYWV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/TsaiMY23,
author = {Yun{-}Yun Tsai and
Chengzhi Mao and
Junfeng Yang},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Convolutional Visual Prompt for Robust Visual Perception},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/58be158bf831a706b1a66cffbc401cac-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/TsaiMY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/EldeebXBCY23,
author = {Tamer Eldeeb and
Xincheng Xie and
Philip A. Bernstein and
Asaf Cidon and
Junfeng Yang},
editor = {Roxana Geambasu and
Ed Nightingale},
title = {Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases},
booktitle = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
pages = {343--360},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/eldeeb},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/EldeebXBCY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/KellasCGY23,
author = {Andreas D. Kellas and
Alan Cao and
Peter Goodman and
Junfeng Yang},
title = {Divergent Representations: When Compiler Optimizations Enable Exploitation},
booktitle = {2023 {IEEE} Security and Privacy Workshops (SPW), San Francisco, CA,
USA, May 25, 2023},
pages = {337--348},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SPW59333.2023.00035},
doi = {10.1109/SPW59333.2023.00035},
timestamp = {Thu, 21 Sep 2023 16:11:09 +0200},
biburl = {https://dblp.org/rec/conf/sp/KellasCGY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-00198,
author = {Yun{-}Yun Tsai and
Chengzhi Mao and
Yow{-}Kuan Lin and
Junfeng Yang},
title = {Self-Supervised Convolutional Visual Prompts},
journal = {CoRR},
volume = {abs/2303.00198},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.00198},
doi = {10.48550/ARXIV.2303.00198},
eprinttype = {arXiv},
eprint = {2303.00198},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-00198.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-12848,
author = {Yun{-}Yun Tsai and
Ju{-}Chin Chao and
Albert Wen and
Zhaoyuan Yang and
Chengzhi Mao and
Tapan Shah and
Junfeng Yang},
title = {Test-time Detection and Repair of Adversarial Samples via Masked Autoencoder},
journal = {CoRR},
volume = {abs/2303.12848},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.12848},
doi = {10.48550/ARXIV.2303.12848},
eprinttype = {arXiv},
eprint = {2303.12848},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-12848.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07772,
author = {Wei Hao and
Zixi Wang and
Lauren Hong and
Lingxiao Li and
Nader Karayanni and
Chengzhi Mao and
Junfeng Yang and
Asaf Cidon},
title = {Monitoring and Adapting {ML} Models on Mobile Devices},
journal = {CoRR},
volume = {abs/2305.07772},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07772},
doi = {10.48550/ARXIV.2305.07772},
eprinttype = {arXiv},
eprint = {2305.07772},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07772.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-03312,
author = {Kexin Pei and
Weichen Li and
Qirui Jin and
Shuyang Liu and
Scott Geng and
Lorenzo Cavallaro and
Junfeng Yang and
Suman Jana},
title = {Symmetry-Preserving Program Representations for Learning Code Semantics},
journal = {CoRR},
volume = {abs/2308.03312},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.03312},
doi = {10.48550/ARXIV.2308.03312},
eprinttype = {arXiv},
eprint = {2308.03312},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-03312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-10591,
author = {Haozhe Chen and
Junfeng Yang and
Carl Vondrick and
Chengzhi Mao},
title = {Interpreting and Controlling Vision Foundation Models via Text Explanations},
journal = {CoRR},
volume = {abs/2310.10591},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.10591},
doi = {10.48550/ARXIV.2310.10591},
eprinttype = {arXiv},
eprint = {2310.10591},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-10591.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-19177,
author = {Noah Thomas McDermott and
Junfeng Yang and
Chengzhi Mao},
title = {Robustifying Language Models with Test-Time Adaptation},
journal = {CoRR},
volume = {abs/2310.19177},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.19177},
doi = {10.48550/ARXIV.2310.19177},
eprinttype = {arXiv},
eprint = {2310.19177},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-19177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-08945,
author = {Youran Dong and
Shiqian Ma and
Junfeng Yang and
Chao Yin},
title = {A Single-Loop Algorithm for Decentralized Bilevel Optimization},
journal = {CoRR},
volume = {abs/2311.08945},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.08945},
doi = {10.48550/ARXIV.2311.08945},
eprinttype = {arXiv},
eprint = {2311.08945},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06808,
author = {Ioannis Zarkadas and
Tal Zussman and
Jeremy Carin and
Sheng Jiang and
Yuhong Zhong and
Jonas Pfefferle and
Hubertus Franke and
Junfeng Yang and
Kostis Kaffes and
Ryan Stutsman and
Asaf Cidon},
title = {BPF-oF: Storage Function Pushdown Over the Network},
journal = {CoRR},
volume = {abs/2312.06808},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.06808},
doi = {10.48550/ARXIV.2312.06808},
eprinttype = {arXiv},
eprint = {2312.06808},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-06808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/YangHGHL22,
author = {Junfeng Yang and
Yuwen Huang and
Yubin Guo and
Fuxian Huang and
Jing Li},
title = {{PPG} biometric recognition with singular value decomposition and
local mean decomposition},
journal = {J. Intell. Fuzzy Syst.},
volume = {43},
number = {3},
pages = {3599--3610},
year = {2022},
url = {https://doi.org/10.3233/JIFS-212086},
doi = {10.3233/JIFS-212086},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jifs/YangHGHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/DingYWNWZ22,
author = {Kaiyang Ding and
Junfeng Yang and
Zhao Wang and
Kai Ni and
Xiaohao Wang and
Qian Zhou},
title = {Specific Windows Search for Multi-Ship and Multi-Scale Wake Detection
in {SAR} Images},
journal = {Remote. Sens.},
volume = {14},
number = {1},
pages = {25},
year = {2022},
url = {https://doi.org/10.3390/rs14010025},
doi = {10.3390/RS14010025},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/DingYWNWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/HuWSMZXLXLWLCCC22,
author = {Xiong Hu and
Xiaocheng Wu and
Shuli Song and
Maoli Ma and
Weili Zhou and
Qingchen Xu and
Lei Li and
Cunying Xiao and
Xie Li and
Chi Wang and
Qinghui Liu and
Lue Chen and
Guangming Chen and
Jianfeng Cao and
Mei Wang and
Peijia Li and
Zhanghu Chu and
Bo Xia and
Junfeng Yang and
Cui Tu and
Dan Liu and
Simin Zhang and
Quan Zhang and
Zheng Li},
title = {First Observations of Mars Atmosphere and Ionosphere with Tianwen-1
Radio-Occultation Technique on 5 August 2021},
journal = {Remote. Sens.},
volume = {14},
number = {11},
pages = {2718},
year = {2022},
url = {https://doi.org/10.3390/rs14112718},
doi = {10.3390/RS14112718},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/HuWSMZXLXLWLCCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/ChangYZ22,
author = {Xiaokai Chang and
Junfeng Yang and
Hongchao Zhang},
title = {Golden Ratio Primal-Dual Algorithm with Linesearch},
journal = {{SIAM} J. Optim.},
volume = {32},
number = {3},
pages = {1584--1613},
year = {2022},
url = {https://doi.org/10.1137/21m1420319},
doi = {10.1137/21M1420319},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/ChangYZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/MaoXW0YBV22,
author = {Chengzhi Mao and
Kevin Xia and
James Wang and
Hao Wang and
Junfeng Yang and
Elias Bareinboim and
Carl Vondrick},
title = {Causal Transportability for Visual Recognition},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2022, New Orleans, LA, USA, June 18-24, 2022},
pages = {7511--7521},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CVPR52688.2022.00737},
doi = {10.1109/CVPR52688.2022.00737},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/MaoXW0YBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/HaoAHMCCCY22,
author = {Wei Hao and
Aahil Awatramani and
Jiayang Hu and
Chengzhi Mao and
Pin{-}Chun Chen and
Eyal Cidon and
Asaf Cidon and
Junfeng Yang},
editor = {Diana Marculescu and
Yuejie Chi and
Carole{-}Jean Wu},
title = {A Tale of Two Models: Constructing Evasive Attacks on Edge Models},
booktitle = {Proceedings of Machine Learning and Systems 2022, MLSys 2022, Santa
Clara, CA, USA, August 29 - September 1, 2022},
publisher = {mlsys.org},
year = {2022},
url = {https://proceedings.mlsys.org/paper/2022/hash/92cc227532d17e56e07902b254dfad10-Abstract.html},
timestamp = {Tue, 24 May 2022 15:18:00 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/HaoAHMCCCY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ZhongLWZTMMYTSC22,
author = {Yuhong Zhong and
Haoyu Li and
Yu Jian Wu and
Ioannis Zarkadas and
Jeffrey Tao and
Evan Mesterhazy and
Michael Makris and
Junfeng Yang and
Amy Tai and
Ryan Stutsman and
Asaf Cidon},
editor = {Marcos K. Aguilera and
Hakim Weatherspoon},
title = {{XRP:} In-Kernel Storage Functions with eBPF},
booktitle = {16th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2022, Carlsbad, CA, USA, July 11-13, 2022},
pages = {375--393},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/zhong},
timestamp = {Tue, 11 Oct 2022 16:51:12 +0200},
biburl = {https://dblp.org/rec/conf/osdi/ZhongLWZTMMYTSC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/David0SSY0XNG22,
author = {Yaniv David and
Xudong Sun and
Raphael J. Sofaer and
Aditya Senthilnathan and
Junfeng Yang and
Zhiqiang Zuo and
Guoqing Harry Xu and
Jason Nieh and
Ronghui Gu},
editor = {Marcos K. Aguilera and
Hakim Weatherspoon},
title = {{UPGRADVISOR:} Early Adopting Dependency Updates Using Hybrid Program
Analysis and Hardware Tracing},
booktitle = {16th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2022, Carlsbad, CA, USA, July 11-13, 2022},
pages = {751--767},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/david},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/David0SSY0XNG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/EldeebCCY22,
author = {Tamer Eldeeb and
Zhengneng Chen and
Asaf Cidon and
Junfeng Yang},
editor = {Rajesh Bordawekar and
Oded Shmueli and
Yael Amsterdamer and
Donatella Firmani and
Ryan Marcus},
title = {Neuroshard: towards automatic multi-objective sharding with deep reinforcement
learning},
booktitle = {aiDM '22: Proceedings of the Fifth International Workshop on Exploiting
Artificial Intelligence Techniques for Data Management, Philadelphia,
Pennsylvania, USA, 17 June 2022},
pages = {1:1--1:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533702.3534908},
doi = {10.1145/3533702.3534908},
timestamp = {Tue, 23 Aug 2022 15:02:48 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/EldeebCCY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PeiSWGXDYJR22,
author = {Kexin Pei and
Dongdong She and
Michael Wang and
Scott Geng and
Zhou Xuan and
Yaniv David and
Junfeng Yang and
Suman Jana and
Baishakhi Ray},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {NeuDep: neural binary memory dependence analysis},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {747--759},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3549147},
doi = {10.1145/3540250.3549147},
timestamp = {Thu, 10 Nov 2022 11:14:54 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PeiSWGXDYJR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-03714,
author = {Matthew Lawhon and
Chengzhi Mao and
Junfeng Yang},
title = {Using Multiple Self-Supervised Tasks Improves Model Robustness},
journal = {CoRR},
volume = {abs/2204.03714},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.03714},
doi = {10.48550/ARXIV.2204.03714},
eprinttype = {arXiv},
eprint = {2204.03714},
timestamp = {Wed, 13 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-03714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10933,
author = {Wei Hao and
Aahil Awatramani and
Jiayang Hu and
Chengzhi Mao and
Pin{-}Chun Chen and
Eyal Cidon and
Asaf Cidon and
Junfeng Yang},
title = {A Tale of Two Models: Constructing Evasive Attacks on Edge Models},
journal = {CoRR},
volume = {abs/2204.10933},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10933},
doi = {10.48550/ARXIV.2204.10933},
eprinttype = {arXiv},
eprint = {2204.10933},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-12363,
author = {Chengzhi Mao and
Kevin Xia and
James Wang and
Hao Wang and
Junfeng Yang and
Elias Bareinboim and
Carl Vondrick},
title = {Causal Transportability for Visual Recognition},
journal = {CoRR},
volume = {abs/2204.12363},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.12363},
doi = {10.48550/ARXIV.2204.12363},
eprinttype = {arXiv},
eprint = {2204.12363},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-12363.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-02853,
author = {Kexin Pei and
Dongdong She and
Michael Wang and
Scott Geng and
Zhou Xuan and
Yaniv David and
Junfeng Yang and
Suman Jana and
Baishakhi Ray},
title = {NeuDep: Neural Binary Memory Dependence Analysis},
journal = {CoRR},
volume = {abs/2210.02853},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.02853},
doi = {10.48550/ARXIV.2210.02853},
eprinttype = {arXiv},
eprint = {2210.02853},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-02853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-15416,
author = {Victor Robila and
Kexin Pei and
Junfeng Yang},
title = {Development of a Neural Network-Based Mathematical Operation Protocol
for Embedded Hexadecimal Digits Using Neural Architecture Search {(NAS)}},
journal = {CoRR},
volume = {abs/2211.15416},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.15416},
doi = {10.48550/ARXIV.2211.15416},
eprinttype = {arXiv},
eprint = {2211.15416},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-15416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-06079,
author = {Chengzhi Mao and
Lingyu Zhang and
Abhishek Vaibhav Joshi and
Junfeng Yang and
Hao Wang and
Carl Vondrick},
title = {Robust Perception through Equivariance},
journal = {CoRR},
volume = {abs/2212.06079},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.06079},
doi = {10.48550/ARXIV.2212.06079},
eprinttype = {arXiv},
eprint = {2212.06079},
timestamp = {Sat, 03 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-06202,
author = {Chengzhi Mao and
Revant Teotia and
Amrutha Sundar and
Sachit Menon and
Junfeng Yang and
Xin Wang and
Carl Vondrick},
title = {Doubly Right Object Recognition: {A} Why Prompt for Visual Rationales},
journal = {CoRR},
volume = {abs/2212.06202},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.06202},
doi = {10.48550/ARXIV.2212.06202},
eprinttype = {arXiv},
eprint = {2212.06202},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-07016,
author = {Chengzhi Mao and
Scott Geng and
Junfeng Yang and
Xin Wang and
Carl Vondrick},
title = {Understanding Zero-Shot Adversarial Robustness for Large-Scale Models},
journal = {CoRR},
volume = {abs/2212.07016},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07016},
doi = {10.48550/ARXIV.2212.07016},
eprinttype = {arXiv},
eprint = {2212.07016},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-07815,
author = {Lingyu Zhang and
Chengzhi Mao and
Junfeng Yang and
Carl Vondrick},
title = {Adversarially Robust Video Perception by Seeing Motion},
journal = {CoRR},
volume = {abs/2212.07815},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07815},
doi = {10.48550/ARXIV.2212.07815},
eprinttype = {arXiv},
eprint = {2212.07815},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07815.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-13228,
author = {Pierre Tholoniat and
Kelly Kostopoulou and
Mosharaf Chowdhury and
Asaf Cidon and
Roxana Geambasu and
Mathias L{\'{e}}cuyer and
Junfeng Yang},
title = {Packing Privacy Budget Efficiently},
journal = {CoRR},
volume = {abs/2212.13228},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.13228},
doi = {10.48550/ARXIV.2212.13228},
eprinttype = {arXiv},
eprint = {2212.13228},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-13228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YangJYFLW21,
author = {Xu Yang and
Chaoqun Jiao and
Junfeng Yang and
Jing Fan and
Dingzhen Li and
Bao Wang},
title = {Bandwidth Enhancement for Wireless Power Transfer System Employing
Non-Linear Resonator},
journal = {{IEEE} Access},
volume = {9},
pages = {485--496},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2020.3046920},
doi = {10.1109/ACCESS.2020.3046920},
timestamp = {Sat, 09 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/YangJYFLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/LinTYLW21,
author = {Jiang Lin and
Ping Tan and
Junfeng Yang and
Xingbao Liu and
Chao Wang},
title = {Speech emotion recognition using emotion perception spectral feature},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {11},
year = {2021},
url = {https://doi.org/10.1002/cpe.5427},
doi = {10.1002/CPE.5427},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/LinTYLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/LiCYGHY21,
author = {Xiaolong Li and
Jun Cai and
Junfeng Yang and
Liyong Guo and
Shao{-}nian Huang and
Yunfei Yi},
title = {Performance Analysis of Delay Distribution and Packet Loss Ratio for
Body-to-Body Networks},
journal = {{IEEE} Internet Things J.},
volume = {8},
number = {22},
pages = {16598--16612},
year = {2021},
url = {https://doi.org/10.1109/JIOT.2021.3075578},
doi = {10.1109/JIOT.2021.3075578},
timestamp = {Fri, 29 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/LiCYGHY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jscic/ChangY21,
author = {Xiaokai Chang and
Junfeng Yang},
title = {A Golden Ratio Primal-Dual Algorithm for Structured Convex Optimization},
journal = {J. Sci. Comput.},
volume = {87},
number = {2},
pages = {47},
year = {2021},
url = {https://doi.org/10.1007/s10915-021-01452-9},
doi = {10.1007/S10915-021-01452-9},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jscic/ChangY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/YangHZHMF21,
author = {Junfeng Yang and
Yuwen Huang and
Ruili Zhang and
Fuxian Huang and
Qinggang Meng and
Shixin Feng},
title = {Study on {PPG} Biometric Recognition Based on Multifeature Extraction
and Naive Bayes Classifier},
journal = {Sci. Program.},
volume = {2021},
pages = {5597624:1--5597624:12},
year = {2021},
url = {https://doi.org/10.1155/2021/5597624},
doi = {10.1155/2021/5597624},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/YangHZHMF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/DaiBWY21,
author = {Huajia Dai and
Yuhao Bian and
Libin Wang and
Junfeng Yang},
title = {Support Vector Machine-Based Backprojection Algorithm for Detection
of Gastric Cancer Lesions with Abdominal Endoscope Using Magnetic
Resonance Imaging Images},
journal = {Sci. Program.},
volume = {2021},
pages = {9964203:1--9964203:8},
year = {2021},
url = {https://doi.org/10.1155/2021/9964203},
doi = {10.1155/2021/9964203},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/DaiBWY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/MaoCGWYV21,
author = {Chengzhi Mao and
Augustine Cha and
Amogh Gupta and
Hao Wang and
Junfeng Yang and
Carl Vondrick},
title = {Generative Interventions for Causal Learning},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
2021, virtual, June 19-25, 2021},
pages = {3947--3956},
publisher = {Computer Vision Foundation / {IEEE}},
year = {2021},
url = {https://openaccess.thecvf.com/content/CVPR2021/html/Mao\_Generative\_Interventions\_for\_Causal\_Learning\_CVPR\_2021\_paper.html},
doi = {10.1109/CVPR46437.2021.00394},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/MaoCGWYV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/ZhongWWCSTY21,
author = {Yuhong Zhong and
Hongyi Wang and
Yu Jian Wu and
Asaf Cidon and
Ryan Stutsman and
Amy Tai and
Junfeng Yang},
editor = {Sebastian Angel and
Baris Kasikci and
Eddie Kohler},
title = {{BPF} for storage: an exokernel-inspired approach},
booktitle = {HotOS '21: Workshop on Hot Topics in Operating Systems, Ann Arbor,
Michigan, USA, June, 1-3, 2021},
pages = {128--135},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3458336.3465290},
doi = {10.1145/3458336.3465290},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/ZhongWWCSTY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/MaoC0YV21,
author = {Chengzhi Mao and
Mia Chiquier and
Hao Wang and
Junfeng Yang and
Carl Vondrick},
title = {Adversarial Attacks are Reversible with Natural Supervision},
booktitle = {2021 {IEEE/CVF} International Conference on Computer Vision, {ICCV}
2021, Montreal, QC, Canada, October 10-17, 2021},
pages = {641--651},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCV48922.2021.00070},
doi = {10.1109/ICCV48922.2021.00070},
timestamp = {Fri, 11 Mar 2022 10:01:27 +0100},
biburl = {https://dblp.org/rec/conf/iccv/MaoC0YV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/PeiGWYJ21,
author = {Kexin Pei and
Jonas Guan and
David Williams{-}King and
Junfeng Yang and
Suman Jana},
title = {{XDA:} Accurate, Robust Disassembly with Transfer Learning},
booktitle = {28th Annual Network and Distributed System Security Symposium, {NDSS}
2021, virtually, February 21-25, 2021},
publisher = {The Internet Society},
year = {2021},
url = {https://www.ndss-symposium.org/ndss-paper/xda-accurate-robust-disassembly-with-transfer-learning/},
timestamp = {Thu, 17 Jun 2021 15:42:26 +0200},
biburl = {https://dblp.org/rec/conf/ndss/PeiGWYJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nems/XiaYW21,
author = {Lingju Xia and
Junfeng Yang and
Li Wen},
title = {Equivalent Electrical Model and Experimental Analysis of a Novel Needle-ring
Atmospheric Pressure Plasma Microjets Array},
booktitle = {16th {IEEE} International Conference on Nano/Micro Engineered and
Molecular Systems, {NEMS} 2021, Xiamen, China, April 25-29, 2021},
pages = {986--989},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/NEMS51815.2021.9451379},
doi = {10.1109/NEMS51815.2021.9451379},
timestamp = {Mon, 28 Jun 2021 15:33:23 +0200},
biburl = {https://dblp.org/rec/conf/nems/XiaYW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LyuZXGWCPYGWLAY21,
author = {Zhenghua Lyu and
Huan Hubert Zhang and
Gang Xiong and
Gang Guo and
Haozhou Wang and
Jinbao Chen and
Asim Praveen and
Yu Yang and
Xiaoming Gao and
Alexandra Wang and
Wen Lin and
Ashwin Agrawal and
Junfeng Yang and
Hao Wu and
Xiaoliang Li and
Feng Guo and
Jiang Wu and
Jesse Zhang and
Venkatesh Raghavan},
editor = {Guoliang Li and
Zhanhuai Li and
Stratos Idreos and
Divesh Srivastava},
title = {Greenplum: {A} Hybrid Database for Transactional and Analytical Workloads},
booktitle = {{SIGMOD} '21: International Conference on Management of Data, Virtual
Event, China, June 20-25, 2021},
pages = {2530--2542},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3448016.3457562},
doi = {10.1145/3448016.3457562},
timestamp = {Mon, 21 Jun 2021 11:48:16 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/LyuZXGWCPYGWLAY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PeiGBCYWUYRJ21,
author = {Kexin Pei and
Jonas Guan and
Matthew Broughton and
Zhongtian Chen and
Songchen Yao and
David Williams{-}King and
Vikas Ummadisetty and
Junfeng Yang and
Baishakhi Ray and
Suman Jana},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {StateFormer: fine-grained type recovery from binaries using generative
state modeling},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {690--702},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468607},
doi = {10.1145/3468264.3468607},
timestamp = {Sat, 21 Aug 2021 19:12:34 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PeiGBCYWUYRJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/WengHNY21,
author = {Lingmei Weng and
Peng Huang and
Jason Nieh and
Junfeng Yang},
editor = {Irina Calciu and
Geoff Kuenning},
title = {Argus: Debugging Performance Issues in Modern Desktop Applications
with Annotated Causal Tracing},
booktitle = {2021 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2021, July
14-16, 2021},
pages = {193--207},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/atc21/presentation/weng},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/usenix/WengHNY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12922,
author = {Yu Jian Wu and
Hongyi Wang and
Yuhong Zhong and
Asaf Cidon and
Ryan Stutsman and
Amy Tai and
Junfeng Yang},
title = {{BPF} for storage: an exokernel-inspired approach},
journal = {CoRR},
volume = {abs/2102.12922},
year = {2021},
url = {https://arxiv.org/abs/2102.12922},
eprinttype = {arXiv},
eprint = {2102.12922},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-11080,
author = {Zhenghua Lyu and
Huan Hubert Zhang and
Gang Xiong and
Haozhou Wang and
Gang Guo and
Jinbao Chen and
Asim Praveen and
Yu Yang and
Xiaoming Gao and
Ashwin Agrawal and
Alexandra Wang and
Wen Lin and
Junfeng Yang and
Hao Wu and
Xiaoliang Li and
Feng Guo and
Jiang Wu and
Jesse Zhang and
Venkatesh Raghavan},
title = {Greenplum: {A} Hybrid Database for Transactional and Analytical Workloads},
journal = {CoRR},
volume = {abs/2103.11080},
year = {2021},
url = {https://arxiv.org/abs/2103.11080},
eprinttype = {arXiv},
eprint = {2103.11080},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-11080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-14222,
author = {Chengzhi Mao and
Mia Chiquier and
Hao Wang and
Junfeng Yang and
Carl Vondrick},
title = {Adversarial Attacks are Reversible with Natural Supervision},
journal = {CoRR},
volume = {abs/2103.14222},
year = {2021},
url = {https://arxiv.org/abs/2103.14222},
eprinttype = {arXiv},
eprint = {2103.14222},
timestamp = {Fri, 24 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-14222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YangZ0ZO20,
author = {Junfeng Yang and
Wei Zhang and
Xiaolong Li and
Ting Zhou and
Bo Ou},
title = {Full Reference Image Quality Assessment by Considering Intra-Block
Structure and Inter-Block Texture},
journal = {{IEEE} Access},
volume = {8},
pages = {179702--179715},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3028282},
doi = {10.1109/ACCESS.2020.3028282},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/YangZ0ZO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YangZZCJY20,
author = {Junfeng Yang and
Xiaodong Zhang and
Kaijian Zhang and
Xiaoyang Cui and
Chaoqun Jiao and
Xu Yang},
title = {Design of {LCC-S} Compensation Topology and Optimization of Misalignment
Tolerance for Inductive Power Transfer},
journal = {{IEEE} Access},
volume = {8},
pages = {191309--191318},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3032563},
doi = {10.1109/ACCESS.2020.3032563},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/YangZZCJY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YangZZCJY20a,
author = {Junfeng Yang and
Xiaodong Zhang and
Kaijian Zhang and
Xiaoyang Cui and
Chaoqun Jiao and
Xu Yang},
title = {An {LCC-SP} Compensated Inductive Power Transfer System and Design
Considerations for Enhancing Misalignment Tolerance},
journal = {{IEEE} Access},
volume = {8},
pages = {193285--193296},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3032793},
doi = {10.1109/ACCESS.2020.3032793},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/YangZZCJY20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ets/ChenZQY20,
author = {Si Chen and
Sujing Zhang and
Grace Yue Qi and
Junfeng Yang},
title = {Games Literacy for Teacher Education: Towards the Implementation of
Game-based Learning},
journal = {J. Educ. Technol. Soc.},
volume = {23},
number = {2},
pages = {77--92},
year = {2020},
url = {https://drive.google.com/file/d/1hHm9VciXZ24jnrTf8po0mFtN9mPEXWuW/view},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ets/ChenZQY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jece/YangHHY20,
author = {Junfeng Yang and
Yuwen Huang and
Fuxian Huang and
Gongping Yang},
title = {Photoplethysmography Biometric Recognition Model Based on Sparse Softmax
Vector and k-Nearest Neighbor},
journal = {J. Electr. Comput. Eng.},
volume = {2020},
pages = {9653470:1--9653470:9},
year = {2020},
url = {https://doi.org/10.1155/2020/9653470},
doi = {10.1155/2020/9653470},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jece/YangHHY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/YuSYWZL20,
author = {Hongwei Yu and
Kezhu Song and
Junfeng Yang and
Chuan Wu and
Ke Zhong and
Wengui Lv},
title = {Modeling and Research on Power System of Distributed Sensor Networks
for Long Streamers in Marine Seismic Exploration},
journal = {Sensors},
volume = {20},
number = {1},
pages = {28},
year = {2020},
url = {https://doi.org/10.3390/s20010028},
doi = {10.3390/S20010028},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/YuSYWZL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/GuY20,
author = {Guoyong Gu and
Junfeng Yang},
title = {Tight Sublinear Convergence Rate of the Proximal Point Algorithm for
Maximal Monotone Inclusion Problems},
journal = {{SIAM} J. Optim.},
volume = {30},
number = {3},
pages = {1905--1921},
year = {2020},
url = {https://doi.org/10.1137/19M1299049},
doi = {10.1137/19M1299049},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamjo/GuY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/TangY20,
author = {Yang Tang and
Junfeng Yang},
title = {Lambdata: Optimizing Serverless Computing by Making Data Intents Explicit},
booktitle = {13th {IEEE} International Conference on Cloud Computing, {CLOUD} 2020,
Virtual Event, 18-24 October 2020},
pages = {294--303},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CLOUD49709.2020.00049},
doi = {10.1109/CLOUD49709.2020.00049},
timestamp = {Fri, 15 Jan 2021 13:20:47 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/TangY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Williams-KingKW20,
author = {David Williams{-}King and
Hidenori Kobayashi and
Kent Williams{-}King and
Graham Patterson and
Frank Spano and
Yu Jian Wu and
Junfeng Yang and
Vasileios P. Kemerlis},
editor = {James R. Larus and
Luis Ceze and
Karin Strauss},
title = {Egalito: Layout-Agnostic Binary Recompilation},
booktitle = {{ASPLOS} '20: Architectural Support for Programming Languages and
Operating Systems, Lausanne, Switzerland, March 16-20, 2020},
pages = {133--147},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373376.3378470},
doi = {10.1145/3373376.3378470},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/Williams-KingKW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/YuanY20,
author = {Xinhao Yuan and
Junfeng Yang},
editor = {James R. Larus and
Luis Ceze and
Karin Strauss},
title = {Effective Concurrency Testing for Distributed Systems},
booktitle = {{ASPLOS} '20: Architectural Support for Programming Languages and
Operating Systems, Lausanne, Switzerland, March 16-20, 2020},
pages = {1141--1156},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373376.3378484},
doi = {10.1145/3373376.3378484},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/YuanY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/CostalesMNKY20,
author = {Robby Costales and
Chengzhi Mao and
Raphael Norwitz and
Bryan Kim and
Junfeng Yang},
title = {Live Trojan Attacks on Deep Neural Networks},
booktitle = {2020 {IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} Workshops 2020, Seattle, WA, USA, June 14-19, 2020},
pages = {3460--3469},
publisher = {Computer Vision Foundation / {IEEE}},
year = {2020},
url = {https://openaccess.thecvf.com/content\_CVPRW\_2020/html/w47/Costales\_Live\_Trojan\_Attacks\_on\_Deep\_Neural\_Networks\_CVPRW\_2020\_paper.html},
doi = {10.1109/CVPRW50498.2020.00406},
timestamp = {Tue, 31 Aug 2021 14:00:09 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/CostalesMNKY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/MaoGNRSYV20,
author = {Chengzhi Mao and
Amogh Gupta and
Vikram Nitin and
Baishakhi Ray and
Shuran Song and
Junfeng Yang and
Carl Vondrick},
editor = {Andrea Vedaldi and
Horst Bischof and
Thomas Brox and
Jan{-}Michael Frahm},
title = {Multitask Learning Strengthens Adversarial Robustness},
booktitle = {Computer Vision - {ECCV} 2020 - 16th European Conference, Glasgow,
UK, August 23-28, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12347},
pages = {158--174},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58536-5\_10},
doi = {10.1007/978-3-030-58536-5\_10},
timestamp = {Tue, 03 Nov 2020 17:25:01 +0100},
biburl = {https://dblp.org/rec/conf/eccv/MaoGNRSYV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/LeeYW20,
author = {Jake Lee and
Junfeng Yang and
Zhangyang Wang},
editor = {Adrien Bartoli and
Andrea Fusiello},
title = {What Does {CNN} Shift Invariance Look Like? {A} Visualization Study},
booktitle = {Computer Vision - {ECCV} 2020 Workshops - Glasgow, UK, August 23-28,
2020, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {12539},
pages = {196--210},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68238-5\_15},
doi = {10.1007/978-3-030-68238-5\_15},
timestamp = {Mon, 01 Feb 2021 18:33:39 +0100},
biburl = {https://dblp.org/rec/conf/eccv/LeeYW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11370,
author = {Robby Costales and
Chengzhi Mao and
Raphael Norwitz and
Bryan Kim and
Junfeng Yang},
title = {Live Trojan Attacks on Deep Neural Networks},
journal = {CoRR},
volume = {abs/2004.11370},
year = {2020},
url = {https://arxiv.org/abs/2004.11370},
eprinttype = {arXiv},
eprint = {2004.11370},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11370.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07236,
author = {Chengzhi Mao and
Amogh Gupta and
Vikram Nitin and
Baishakhi Ray and
Shuran Song and
Junfeng Yang and
Carl Vondrick},
title = {Multitask Learning Strengthens Adversarial Robustness},
journal = {CoRR},
volume = {abs/2007.07236},
year = {2020},
url = {https://arxiv.org/abs/2007.07236},
eprinttype = {arXiv},
eprint = {2007.07236},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07236.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-00770,
author = {Kexin Pei and
Jonas Guan and
David Williams{-}King and
Junfeng Yang and
Suman Jana},
title = {{XDA:} Accurate, Robust Disassembly with Transfer Learning},
journal = {CoRR},
volume = {abs/2010.00770},
year = {2020},
url = {https://arxiv.org/abs/2010.00770},
eprinttype = {arXiv},
eprint = {2010.00770},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-00770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04127,
author = {Jake Lee and
Junfeng Yang and
Zhangyang Wang},
title = {What Does {CNN} Shift Invariance Look Like? {A} Visualization Study},
journal = {CoRR},
volume = {abs/2011.04127},
year = {2020},
url = {https://arxiv.org/abs/2011.04127},
eprinttype = {arXiv},
eprint = {2011.04127},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-04127.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-08680,
author = {Kexin Pei and
Zhou Xuan and
Junfeng Yang and
Suman Jana and
Baishakhi Ray},
title = {Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity},
journal = {CoRR},
volume = {abs/2012.08680},
year = {2020},
url = {https://arxiv.org/abs/2012.08680},
eprinttype = {arXiv},
eprint = {2012.08680},
timestamp = {Sat, 02 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-08680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12265,
author = {Chengzhi Mao and
Amogh Gupta and
Augustine Cha and
Hao Wang and
Junfeng Yang and
Carl Vondrick},
title = {Generative Interventions for Causal Learning},
journal = {CoRR},
volume = {abs/2012.12265},
year = {2020},
url = {https://arxiv.org/abs/2012.12265},
eprinttype = {arXiv},
eprint = {2012.12265},
timestamp = {Fri, 24 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12265.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/PeiCYJ19,
author = {Kexin Pei and
Yinzhi Cao and
Junfeng Yang and
Suman Jana},
title = {DeepXplore: automated whitebox testing of deep learning systems},
journal = {Commun. {ACM}},
volume = {62},
number = {11},
pages = {137--145},
year = {2019},
url = {https://doi.org/10.1145/3361566},
doi = {10.1145/3361566},
timestamp = {Tue, 05 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/PeiCYJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/YangYC19,
author = {Junfeng Yang and
Huiju Yu and
Nian{-}Shing Chen},
title = {Using blended synchronous classroom approach to promote learning performance
in rural area},
journal = {Comput. Educ.},
volume = {141},
year = {2019},
url = {https://doi.org/10.1016/j.compedu.2019.103619},
doi = {10.1016/J.COMPEDU.2019.103619},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ce/YangYC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/PeiWTWVCRJY19,
author = {Kexin Pei and
Shiqi Wang and
Yuchi Tian and
Justin Whitehouse and
Carl Vondrick and
Yinzhi Cao and
Baishakhi Ray and
Suman Jana and
Junfeng Yang},
title = {Bringing Engineering Rigor to Deep Learning},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {53},
number = {1},
pages = {59--67},
year = {2019},
url = {https://doi.org/10.1145/3352020.3352030},
doi = {10.1145/3352020.3352030},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/PeiWTWVCRJY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sle/HungWCYKC19,
author = {I{-}Chun Hung and
Shih{-}Chieh Wang and
Yueh{-}hui Vanessa Chiang and
Junfeng Yang and
Kinshuk and
Nian{-}Shing Chen},
title = {The effects of a dual adaptive strategy with gesture recognition and
perceived exertion on training efficiency of elders' functional fitness},
journal = {Smart Learn. Environ.},
volume = {6},
number = {1},
pages = {15},
year = {2019},
url = {https://doi.org/10.1186/s40561-019-0091-4},
doi = {10.1186/S40561-019-0091-4},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sle/HungWCYKC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MaoZYVR19,
author = {Chengzhi Mao and
Ziyuan Zhong and
Junfeng Yang and
Carl Vondrick and
Baishakhi Ray},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Metric Learning for Adversarial Robustness},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {478--489},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/c24cd76e1ce41366a4bbe8a49b02a028-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/MaoZYVR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ShePEYRJ19,
author = {Dongdong She and
Kexin Pei and
Dave Epstein and
Junfeng Yang and
Baishakhi Ray and
Suman Jana},
title = {{NEUZZ:} Efficient Fuzzing with Neural Program Smoothing},
booktitle = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco,
CA, USA, May 19-23, 2019},
pages = {803--817},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SP.2019.00052},
doi = {10.1109/SP.2019.00052},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/sp/ShePEYRJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-00900,
author = {Chengzhi Mao and
Ziyuan Zhong and
Junfeng Yang and
Carl Vondrick and
Baishakhi Ray},
title = {Metric Learning for Adversarial Robustness},
journal = {CoRR},
volume = {abs/1909.00900},
year = {2019},
url = {http://arxiv.org/abs/1909.00900},
eprinttype = {arXiv},
eprint = {1909.00900},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-00900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-02354,
author = {Guangyu Shen and
Chengzhi Mao and
Junfeng Yang and
Baishakhi Ray},
title = {Unrestricted Adversarial Attacks for Semantic Segmentation},
journal = {CoRR},
volume = {abs/1910.02354},
year = {2019},
url = {http://arxiv.org/abs/1910.02354},
eprinttype = {arXiv},
eprint = {1910.02354},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-02354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/TaoZWY18,
author = {Shiqi Tao and
Xiaoqing Zhang and
Yaowu Wang and
Junfeng Yang},
title = {Transient Behavior Analysis of Offshore Wind Turbines During Lightning
Strike to Multi-Blade},
journal = {{IEEE} Access},
volume = {6},
pages = {22070--22083},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2828043},
doi = {10.1109/ACCESS.2018.2828043},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/TaoZWY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mva/ZhaoLOY18,
author = {Xiaochao Zhao and
Yaping Lin and
Bo Ou and
Junfeng Yang},
title = {Directional gradients integration image for illumination insensitive
face representation},
journal = {Mach. Vis. Appl.},
volume = {29},
number = {5},
pages = {815--825},
year = {2018},
url = {https://doi.org/10.1007/s00138-018-0935-x},
doi = {10.1007/S00138-018-0935-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mva/ZhaoLOY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/LiYCDYZT18,
author = {Xiaolong Li and
Yifu Yang and
Jun Cai and
Yun Deng and
Junfeng Yang and
Xinmin Zhou and
Lina Tan},
title = {Plils: {A} Practical Indoor Localization System through Less Expensive
Wireless Chips via Subregion Clustering},
journal = {Sensors},
volume = {18},
number = {1},
pages = {205},
year = {2018},
url = {https://doi.org/10.3390/s18010205},
doi = {10.3390/S18010205},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/LiYCDYZT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmobile/PeiCYJ18,
author = {Kexin Pei and
Yinzhi Cao and
Junfeng Yang and
Suman Jana},
title = {DeepXplore: Automated Whitebox Testing of Deep Learning Systems},
journal = {GetMobile Mob. Comput. Commun.},
volume = {22},
number = {3},
pages = {36--38},
year = {2018},
url = {https://doi.org/10.1145/3308755.3308767},
doi = {10.1145/3308755.3308767},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmobile/PeiCYJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sle/YangPZH18,
author = {Junfeng Yang and
Hui Pan and
Weiying Zhou and
Ronghuai Huang},
title = {Evaluation of smart classroom from the perspective of infusing technology
into pedagogy},
journal = {Smart Learn. Environ.},
volume = {5},
number = {1},
pages = {20},
year = {2018},
url = {https://doi.org/10.1186/s40561-018-0070-1},
doi = {10.1186/S40561-018-0070-1},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sle/YangPZH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YuanYG18,
author = {Xinhao Yuan and
Junfeng Yang and
Ronghui Gu},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Partial Order Aware Concurrency Sampling},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {317--335},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_20},
doi = {10.1007/978-3-319-96142-2\_20},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/YuanYG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CaoYASMY18,
author = {Yinzhi Cao and
Alexander Fangxiao Yu and
Andrew Aday and
Eric Stahl and
Jon Merwine and
Junfeng Yang},
editor = {Jong Kim and
Gail{-}Joon Ahn and
Seungjoo Kim and
Yongdae Kim and
Javier L{\'{o}}pez and
Taesoo Kim},
title = {Efficient Repair of Polluted Machine Learning Systems via Causal Unlearning},
booktitle = {Proceedings of the 2018 on Asia Conference on Computer and Communications
Security, AsiaCCS 2018, Incheon, Republic of Korea, June 04-08, 2018},
pages = {735--747},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196494.3196517},
doi = {10.1145/3196494.3196517},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/CaoYASMY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/ZhouCLWSLGOY18,
author = {Hao Zhou and
Ming Chen and
Qian Lin and
Yong Wang and
Xiaobin She and
Sifan Liu and
Rui Gu and
Beng Chin Ooi and
Junfeng Yang},
title = {Overload Control for Scaling WeChat Microservices},
booktitle = {Proceedings of the {ACM} Symposium on Cloud Computing, SoCC 2018,
Carlsbad, CA, USA, October 11-13, 2018},
pages = {149--161},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3267809.3267823},
doi = {10.1145/3267809.3267823},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cloud/ZhouCLWSLGOY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ZhaoGQLWCY18,
author = {Shixiong Zhao and
Rui Gu and
Haoran Qiu and
Tsz On Li and
Yuexuan Wang and
Heming Cui and
Junfeng Yang},
title = {{OWL:} Understanding and Detecting Concurrency Attacks},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
2018},
pages = {219--230},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSN.2018.00033},
doi = {10.1109/DSN.2018.00033},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/ZhaoGQLWCY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/WangPWYJ18,
author = {Shiqi Wang and
Kexin Pei and
Justin Whitehouse and
Junfeng Yang and
Suman Jana},
editor = {Samy Bengio and
Hanna M. Wallach and
Hugo Larochelle and
Kristen Grauman and
Nicol{\`{o}} Cesa{-}Bianchi and
Roman Garnett},
title = {Efficient Formal Safety Analysis of Neural Networks},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
on Neural Information Processing Systems 2018, NeurIPS 2018, December
3-8, 2018, Montr{\'{e}}al, Canada},
pages = {6369--6379},
year = {2018},
url = {https://proceedings.neurips.cc/paper/2018/hash/2ecd2bd94734e5dd392d8678bc64cdab-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/WangPWYJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HuZY18,
author = {Gang Hu and
Linjie Zhu and
Junfeng Yang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {AppFlow: using machine learning to synthesize robust, reusable {UI}
tests},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {269--282},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236055},
doi = {10.1145/3236024.3236055},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HuZY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/WangPWYJ18,
author = {Shiqi Wang and
Kexin Pei and
Justin Whitehouse and
Junfeng Yang and
Suman Jana},
editor = {William Enck and
Adrienne Porter Felt},
title = {Formal Security Analysis of Neural Networks using Symbolic Intervals},
booktitle = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
MD, USA, August 15-17, 2018},
pages = {1599--1614},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/usenixsecurity18/presentation/wang-shiqi},
timestamp = {Mon, 01 Feb 2021 08:43:20 +0100},
biburl = {https://dblp.org/rec/conf/uss/WangPWYJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10829,
author = {Shiqi Wang and
Kexin Pei and
Justin Whitehouse and
Junfeng Yang and
Suman Jana},
title = {Formal Security Analysis of Neural Networks using Symbolic Intervals},
journal = {CoRR},
volume = {abs/1804.10829},
year = {2018},
url = {http://arxiv.org/abs/1804.10829},
eprinttype = {arXiv},
eprint = {1804.10829},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-04075,
author = {Hao Zhou and
Ming Chen and
Qian Lin and
Yong Wang and
Xiaobin She and
Sifan Liu and
Rui Gu and
Junfeng Yang},
title = {Scalable Overload Control for Large-scale Microservice Architecture},
journal = {CoRR},
volume = {abs/1806.04075},
year = {2018},
url = {http://arxiv.org/abs/1806.04075},
eprinttype = {arXiv},
eprint = {1806.04075},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-04075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-05620,
author = {Dongdong She and
Kexin Pei and
Dave Epstein and
Junfeng Yang and
Baishakhi Ray and
Suman Jana},
title = {{NEUZZ:} Efficient Fuzzing with Neural Program Learning},
journal = {CoRR},
volume = {abs/1807.05620},
year = {2018},
url = {http://arxiv.org/abs/1807.05620},
eprinttype = {arXiv},
eprint = {1807.05620},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-05620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-08098,
author = {Shiqi Wang and
Kexin Pei and
Justin Whitehouse and
Junfeng Yang and
Suman Jana},
title = {Efficient Formal Safety Analysis of Neural Networks},
journal = {CoRR},
volume = {abs/1809.08098},
year = {2018},
url = {http://arxiv.org/abs/1809.08098},
eprinttype = {arXiv},
eprint = {1809.08098},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-08098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/JiangLXFY17,
author = {Junqiang Jiang and
Yaping Lin and
Guoqi Xie and
Li Fu and
Junfeng Yang},
title = {Time and Energy Optimization Algorithms for the Static Scheduling
of Multiple Workflows in Heterogeneous Computing System},
journal = {J. Grid Comput.},
volume = {15},
number = {4},
pages = {435--456},
year = {2017},
url = {https://doi.org/10.1007/s10723-017-9391-5},
doi = {10.1007/S10723-017-9391-5},
timestamp = {Thu, 30 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/grid/JiangLXFY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mis/LyuLY17,
author = {Fang Lyu and
Yaping Lin and
Junfeng Yang},
title = {An Efficient and Packing-Resilient Two-Phase Android Cloned Application
Detection Approach},
journal = {Mob. Inf. Syst.},
volume = {2017},
pages = {6958698:1--6958698:12},
year = {2017},
url = {https://doi.org/10.1155/2017/6958698},
doi = {10.1155/2017/6958698},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mis/LyuLY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbl/HuangZY17,
author = {Ronghuai Huang and
Rongxia Zhuang and
Junfeng Yang},
editor = {Simon K. S. Cheung and
Lam{-}for Kwok and
Will W. K. Ma and
Lap{-}Kei Lee and
Harrison Hao Yang},
title = {Promoting Citizen's Learning Experience in Smart Cities},
booktitle = {Blended Learning. New Challenges and Innovative Practices - 10th International
Conference, {ICBL} 2017, Hong Kong, China, June 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10309},
pages = {15--25},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59360-9\_2},
doi = {10.1007/978-3-319-59360-9\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/icbl/HuangZY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/YangFHHDP17,
author = {Junfeng Yang and
Xueyang Fu and
Yuwen Hu and
Yue Huang and
Xinghao Ding and
John W. Paisley},
title = {PanNet: {A} Deep Network Architecture for Pan-Sharpening},
booktitle = {{IEEE} International Conference on Computer Vision, {ICCV} 2017, Venice,
Italy, October 22-29, 2017},
pages = {1753--1761},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICCV.2017.193},
doi = {10.1109/ICCV.2017.193},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccv/YangFHHDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/LiLLYZ17,
author = {Na Li and
Fang Liu and
Jing Li and
Junfeng Yang and
Tuanjie Zheng},
title = {A variational method using Riemannian metric for {SAR} image segmentation},
booktitle = {2017 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2017, Fort Worth, TX, USA, July 23-28, 2017},
pages = {787--790},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IGARSS.2017.8127070},
doi = {10.1109/IGARSS.2017.8127070},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/LiLLYZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PeiCYJ17,
author = {Kexin Pei and
Yinzhi Cao and
Junfeng Yang and
Suman Jana},
title = {DeepXplore: Automated Whitebox Testing of Deep Learning Systems},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {1--18},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132785},
doi = {10.1145/3132747.3132785},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/PeiCYJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArroyoKSY17,
author = {Miguel A. Arroyo and
Hidenori Kobayashi and
Simha Sethumadhavan and
Junfeng Yang},
title = {{FIRED:} Frequent Inertial Resets with Diversification for Emerging
Commodity Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1702.06595},
year = {2017},
url = {http://arxiv.org/abs/1702.06595},
eprinttype = {arXiv},
eprint = {1702.06595},
timestamp = {Thu, 13 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArroyoKSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PeiCYJ17,
author = {Kexin Pei and
Yinzhi Cao and
Junfeng Yang and
Suman Jana},
title = {DeepXplore: Automated Whitebox Testing of Deep Learning Systems},
journal = {CoRR},
volume = {abs/1705.06640},
year = {2017},
url = {http://arxiv.org/abs/1705.06640},
eprinttype = {arXiv},
eprint = {1705.06640},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PeiCYJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01785,
author = {Kexin Pei and
Yinzhi Cao and
Junfeng Yang and
Suman Jana},
title = {Towards Practical Verification of Machine Learning: The Case of Computer
Vision Systems},
journal = {CoRR},
volume = {abs/1712.01785},
year = {2017},
url = {http://arxiv.org/abs/1712.01785},
eprinttype = {arXiv},
eprint = {1712.01785},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-01785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coap/HouHY16,
author = {Liusheng Hou and
Hongjin He and
Junfeng Yang},
title = {A partially parallel splitting method for multiple-block separable
convex programming with applications to robust {PCA}},
journal = {Comput. Optim. Appl.},
volume = {63},
number = {1},
pages = {273--303},
year = {2016},
url = {https://doi.org/10.1007/s10589-015-9770-4},
doi = {10.1007/S10589-015-9770-4},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coap/HouHY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejivp/YangLOZ16,
author = {Junfeng Yang and
Yaping Lin and
Bo Ou and
Xiaochao Zhao},
title = {Image decomposition-based structural similarity index for image quality
assessment},
journal = {{EURASIP} J. Image Video Process.},
volume = {2016},
pages = {31},
year = {2016},
url = {https://doi.org/10.1186/s13640-016-0134-5},
doi = {10.1186/S13640-016-0134-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejivp/YangLOZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/TangHYWY16,
author = {Yang Tang and
Gang Hu and
Xinhao Yuan and
Lingmei Weng and
Junfeng Yang},
editor = {Marcos K. Aguilera and
Brian Cooper and
Yanlei Diao},
title = {Grandet: {A} Unified, Economical Object Store for Web Applications},
booktitle = {Proceedings of the Seventh {ACM} Symposium on Cloud Computing, Santa
Clara, CA, USA, October 5-7, 2016},
pages = {196--209},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2987550.2987562},
doi = {10.1145/2987550.2987562},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloud/TangHYWY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/ZhuangYLZH16,
author = {Rongxia Zhuang and
Junfeng Yang and
Bo Li and
Ying Zhang and
Ronghuai Huang},
editor = {J. Michael Spector and
Chin{-}Chung Tsai and
Demetrios G. Sampson and
Kinshuk and
Ronghuai Huang and
Nian{-}Shing Chen and
Paul E. Resta},
title = {The Framework of Digital Learning Capacity for Digital Natives},
booktitle = {16th {IEEE} International Conference on Advanced Learning Technologies,
{ICALT} 2016, Austin, TX, USA, July 25-28, 2016},
pages = {386--390},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICALT.2016.130},
doi = {10.1109/ICALT.2016.130},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalt/ZhuangYLZH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/Williams-KingGW16,
author = {David Williams{-}King and
Graham Gobieski and
Kent Williams{-}King and
James P. Blake and
Xinhao Yuan and
Patrick Colp and
Michelle Zheng and
Vasileios P. Kemerlis and
Junfeng Yang and
William Aiello},
editor = {Kimberly Keeton and
Timothy Roscoe},
title = {Shuffler: Fast and Deployable Continuous Code Re-Randomization},
booktitle = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
pages = {367--382},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/williams-king},
timestamp = {Tue, 02 Feb 2021 08:06:02 +0100},
biburl = {https://dblp.org/rec/conf/osdi/Williams-KingGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoskinenY16,
author = {Eric Koskinen and
Junfeng Yang},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Reducing crash recoverability to reachability},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {97--108},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837648},
doi = {10.1145/2837614.2837648},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoskinenY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/LyuLYZ16,
author = {Fang Lyu and
Yapin Lin and
Junfeng Yang and
Junhai Zhou},
title = {SUIDroid: An Efficient Hardening-Resilient Approach to Android App
Clone Detection},
booktitle = {2016 {IEEE} Trustcom/BigDataSE/ISPA, Tianjin, China, August 23-26,
2016},
pages = {511--518},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/TrustCom.2016.0104},
doi = {10.1109/TRUSTCOM.2016.0104},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/LyuLYZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jei/ZhaoLOYW15,
author = {Xiaochao Zhao and
Yaping Lin and
Bo Ou and
Junfeng Yang and
Zhelun Wu},
title = {Face recognition using local gradient binary count pattern},
journal = {J. Electronic Imaging},
volume = {24},
number = {6},
pages = {063003},
year = {2015},
url = {https://doi.org/10.1117/1.JEI.24.6.063003},
doi = {10.1117/1.JEI.24.6.063003},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jei/ZhaoLOYW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jise/ZhaoLOY15,
author = {Xiaochao Zhao and
Yaping Lin and
Bo Ou and
Junfeng Yang},
title = {A Wavelet-Based Image Preprocessing Method or Illumination Insensitive
Face Recognition},
journal = {J. Inf. Sci. Eng.},
volume = {31},
number = {5},
pages = {1711--1731},
year = {2015},
url = {http://www.iis.sinica.edu.tw/page/jise/2015/201509\_12.html},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jise/ZhaoLOY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamis/ChenCMY15,
author = {Caihua Chen and
Raymond H. Chan and
Shiqian Ma and
Junfeng Yang},
title = {Inertial Proximal {ADMM} for Linearly Constrained Separable Convex
Optimization},
journal = {{SIAM} J. Imaging Sci.},
volume = {8},
number = {4},
pages = {2239--2267},
year = {2015},
url = {https://doi.org/10.1137/15100463X},
doi = {10.1137/15100463X},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamis/ChenCMY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/ChenMY15,
author = {Caihua Chen and
Shiqian Ma and
Junfeng Yang},
title = {A General Inertial Proximal Point Algorithm for Mixed Variational
Inequality Problem},
journal = {{SIAM} J. Optim.},
volume = {25},
number = {4},
pages = {2120--2142},
year = {2015},
url = {https://doi.org/10.1137/140980910},
doi = {10.1137/140980910},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/ChenMY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/YuanWYS15,
author = {Xinhao Yuan and
David Williams{-}King and
Junfeng Yang and
Simha Sethumadhavan},
title = {Making Lock-free Data Structures Verifiable with Artificial Transactions},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {49},
number = {2},
pages = {57--63},
year = {2015},
url = {https://doi.org/10.1145/2883591.2883603},
doi = {10.1145/2883591.2883603},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/YuanWYS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/CuiGLY15,
author = {Heming Cui and
Rui Gu and
Cheng Liu and
Junfeng Yang},
editor = {Kenji Kono and
Takahiro Shinagawa},
title = {RepFrame: An Efficient and Transparent Framework for Dynamic Program
Analysis},
booktitle = {Proceedings of the 6th Asia-Pacific Workshop on Systems, APSys 2015,
Tokyo, Japan, July 27-28, 2015},
pages = {13:1--13:9},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2797022.2797033},
doi = {10.1145/2797022.2797033},
timestamp = {Tue, 06 Nov 2018 16:59:01 +0100},
biburl = {https://dblp.org/rec/conf/apsys/CuiGLY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/SchmeelkYA15,
author = {Suzanna Schmeelk and
Junfeng Yang and
Alfred V. Aho},
editor = {Joseph P. Trien and
Stacy J. Prowell and
Robert A. Bridges and
John R. Goodall},
title = {Android Malware Static Analysis Techniques},
booktitle = {Proceedings of the 10th Annual Cyber and Information Security Research
Conference, {CISR} '15, Oak Ridge, TN, USA, April 7-9, 2015},
pages = {5:1--5:8},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746266.2746271},
doi = {10.1145/2746266.2746271},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/SchmeelkYA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdip/WangLY15,
author = {Yuanyuan Wang and
Yaping Lin and
Junfeng Yang},
editor = {Charles M. Falco and
Xudong Jiang},
title = {KD-tree based clustering algorithm for fast face recognition on large-scale
data},
booktitle = {Seventh International Conference on Digital Image Processing, {ICDIP}
2015, Los Angeles, CA, USA, April 9-10, 2015},
series = {{SPIE} Proceedings},
volume = {9631},
pages = {96311I},
publisher = {{SPIE}},
year = {2015},
url = {https://doi.org/10.1117/12.2196995},
doi = {10.1117/12.2196995},
timestamp = {Fri, 22 Sep 2023 15:13:40 +0200},
biburl = {https://dblp.org/rec/conf/icdip/WangLY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichl/HuangYHW15,
author = {Ronghuai Huang and
Junfeng Yang and
Yongbin Hu and
Xiaochen Wang},
editor = {Simon K. S. Cheung and
Lam For Kwok and
Harrison Hao Yang and
Joseph Fong and
Reggie Kwan},
title = {Development and Use of a Questionnaire for Evaluating {K-12} Smart
Classroom},
booktitle = {Hybrid Learning: Innovation in Educational Practices - 8th International
Conference, {ICHL} 2015, Wuhan, China, July 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9167},
pages = {218--230},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20621-9\_18},
doi = {10.1007/978-3-319-20621-9\_18},
timestamp = {Wed, 07 Dec 2022 23:14:21 +0100},
biburl = {https://dblp.org/rec/conf/ichl/HuangYHW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/YuanWYS15,
author = {Xinhao Yuan and
David Williams{-}King and
Junfeng Yang and
Simha Sethumadhavan},
editor = {Shan Lu},
title = {Making lock-free data structures verifiable with artificial transactions},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating
Systems, {PLOS} 2015, Monterey, California, USA, October 4, 2015},
pages = {39--45},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818302.2818309},
doi = {10.1145/2818302.2818309},
timestamp = {Thu, 20 Aug 2020 07:59:05 +0200},
biburl = {https://dblp.org/rec/conf/sosp/YuanWYS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CuiGLCY15,
author = {Heming Cui and
Rui Gu and
Cheng Liu and
Tianyu Chen and
Junfeng Yang},
editor = {Ethan L. Miller and
Steven Hand},
title = {Paxos made transparent},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles,
{SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
pages = {105--120},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2815400.2815427},
doi = {10.1145/2815400.2815427},
timestamp = {Tue, 20 Dec 2022 17:33:10 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CuiGLCY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/CaoY15,
author = {Yinzhi Cao and
Junfeng Yang},
title = {Towards Making Systems Forget with Machine Unlearning},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {463--480},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.35},
doi = {10.1109/SP.2015.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/CaoY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/TangY15,
author = {Yang Tang and
Junfeng Yang},
editor = {Shan Lu and
Erik Riedel},
title = {Secure Deduplication of General Computations},
booktitle = {2015 {USENIX} Annual Technical Conference, {USENIX} {ATC} '15, July
8-10, Santa Clara, CA, {USA}},
pages = {319--331},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/atc15/technical-session/presentation/tang},
timestamp = {Mon, 01 Feb 2021 08:43:30 +0100},
biburl = {https://dblp.org/rec/conf/usenix/TangY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CuiCY15,
author = {Yan Cui and
Quan Chen and
Junfeng Yang},
title = {Automatic In-vivo Evolution of Kernel Policies for Better Performance},
journal = {CoRR},
volume = {abs/1508.06356},
year = {2015},
url = {http://arxiv.org/abs/1508.06356},
eprinttype = {arXiv},
eprint = {1508.06356},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CuiCY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/YangCWTH14,
author = {Junfeng Yang and
Heming Cui and
Jingyue Wu and
Yang Tang and
Gang Hu},
title = {Making parallel programs reliable with stable multithreading},
journal = {Commun. {ACM}},
volume = {57},
number = {3},
pages = {58--69},
year = {2014},
url = {https://doi.org/10.1145/2500875},
doi = {10.1145/2500875},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/YangCWTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ets/YangKYCH14,
author = {Junfeng Yang and
Kinshuk and
Huiju Yu and
Sue{-}Jen Chen and
Ronghuai Huang},
title = {Strategies for Smooth and Effective Cross-Cultural Online Collaborative
Learning},
journal = {J. Educ. Technol. Soc.},
volume = {17},
number = {3},
pages = {208--221},
year = {2014},
url = {http://www.ifets.info/download\_pdf.php?j\_id=64\&\#38;a\_id=1501},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ets/YangKYCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jksucis/ZhengYCH14,
author = {Lanqin Zheng and
Junfeng Yang and
Wei Cheng and
Ronghuai Huang},
title = {Emerging approaches for supporting easy, engaged and effective collaborative
learning},
journal = {J. King Saud Univ. Comput. Inf. Sci.},
volume = {26},
number = {Issue},
pages = {11--16},
year = {2014},
url = {https://doi.org/10.1016/j.jksuci.2013.10.002},
doi = {10.1016/J.JKSUCI.2013.10.002},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jksucis/ZhengYCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jota/GuHY14,
author = {Guoyong Gu and
Bingsheng He and
Junfeng Yang},
title = {Inexact Alternating-Direction-Based Contraction Methods for Separable
Linearly Constrained Convex Optimization},
journal = {J. Optim. Theory Appl.},
volume = {163},
number = {1},
pages = {105--129},
year = {2014},
url = {https://doi.org/10.1007/s10957-013-0489-z},
doi = {10.1007/S10957-013-0489-Z},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jota/GuHY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/AnSZYC14,
author = {Jianfei An and
Kezhu Song and
Shuangxi Zhang and
Junfeng Yang and
Ping Cao},
title = {Design of a Broadband Electrical Impedance Matching Network for Piezoelectric
Ultrasound Transducers Based on a Genetic Algorithm},
journal = {Sensors},
volume = {14},
number = {4},
pages = {6828--6843},
year = {2014},
url = {https://doi.org/10.3390/s140406828},
doi = {10.3390/S140406828},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/AnSZYC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HuYTY14,
author = {Gang Hu and
Xinhao Yuan and
Yang Tang and
Junfeng Yang},
editor = {Dick C. A. Bulterman and
Herbert Bos and
Antony I. T. Rowstron and
Peter Druschel},
title = {Efficiently, effectively detecting mobile app bugs with AppDoctor},
booktitle = {Ninth Eurosys Conference 2014, EuroSys 2014, Amsterdam, The Netherlands,
April 13-16, 2014},
pages = {18:1--18:15},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2592798.2592813},
doi = {10.1145/2592798.2592813},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/HuYTY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsle/Yang14,
author = {Junfeng Yang},
editor = {Guang Chen and
Vive Kumar and
Kinshuk and
Ronghuai Huang and
Siu Cheung Kong},
title = {A Method for Evaluating Technology-Rich Classroom Environment},
booktitle = {Emerging Issues in Smart Learning - International Conference on Smart
Learning Environments, {ICSLE} 2014, Hong Kong, China, July 24-25,
2014},
series = {Lecture Notes in Educational Technology},
pages = {31--40},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44188-6\_4},
doi = {10.1007/978-3-662-44188-6\_4},
timestamp = {Sun, 02 Oct 2022 16:06:37 +0200},
biburl = {https://dblp.org/rec/conf/icsle/Yang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/YangY13,
author = {Junfeng Yang and
Xiaoming Yuan},
title = {Linearized augmented Lagrangian and alternating direction methods
for nuclear norm minimization},
journal = {Math. Comput.},
volume = {82},
number = {281},
pages = {301--329},
year = {2013},
url = {https://doi.org/10.1090/S0025-5718-2012-02598-1},
doi = {10.1090/S0025-5718-2012-02598-1},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/YangY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/YangST13,
author = {Junfeng Yang and
Defeng Sun and
Kim{-}Chuan Toh},
title = {A Proximal Point Algorithm for Log-Determinant Optimization with Group
Lasso Regularization},
journal = {{SIAM} J. Optim.},
volume = {23},
number = {2},
pages = {857--893},
year = {2013},
url = {https://doi.org/10.1137/120864192},
doi = {10.1137/120864192},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/YangST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/CuiHWY13,
author = {Heming Cui and
Gang Hu and
Jingyue Wu and
Junfeng Yang},
editor = {Vivek Sarkar and
Rastislav Bod{\'{\i}}k},
title = {Verifying systems rules using rule-directed symbolic execution},
booktitle = {Architectural Support for Programming Languages and Operating Systems,
{ASPLOS} 2013, Houston, TX, USA, March 16-20, 2013},
pages = {329--342},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451116.2451152},
doi = {10.1145/2451116.2451152},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/CuiHWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotpar/YangCW13,
author = {Junfeng Yang and
Heming Cui and
Jingyue Wu},
editor = {Emery D. Berger and
Kim M. Hazelwood},
title = {Determinism Is Overrated: What Really Makes Multithreaded Programs
Hard to Get Right and What Can Be Done About It},
booktitle = {5th {USENIX} Workshop on Hot Topics in Parallelism, HotPar'13, San
Jose, CA, USA, June 24-25, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotpar13/workshop-program/presentation/yang},
timestamp = {Sat, 30 Sep 2023 09:42:37 +0200},
biburl = {https://dblp.org/rec/conf/hotpar/YangCW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WuHTY13,
author = {Jingyue Wu and
Gang Hu and
Yang Tang and
Junfeng Yang},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Effective dynamic detection of alias analysis errors},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {279--289},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491439},
doi = {10.1145/2491411.2491439},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WuHTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CuiSLLBXYGB13,
author = {Heming Cui and
Jir{\'{\i}} Simsa and
Yi{-}Hong Lin and
Hao Li and
Ben Blum and
Xinan Xu and
Junfeng Yang and
Garth A. Gibson and
Randal E. Bryant},
editor = {Michael Kaminsky and
Mike Dahlin},
title = {Parrot: a practical runtime for deterministic, stable, and reliable
threads},
booktitle = {{ACM} {SIGOPS} 24th Symposium on Operating Systems Principles, {SOSP}
'13, Farmington, PA, USA, November 3-6, 2013},
pages = {388--405},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517349.2522735},
doi = {10.1145/2517349.2522735},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CuiSLLBXYGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/southchi/YangHL13,
author = {Junfeng Yang and
Ronghuai Huang and
Yanyan Li},
editor = {Andreas Holzinger and
Gabriella Pasi},
title = {Optimizing Classroom Environment to Support Technology Enhanced Learning},
booktitle = {Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured,
Big Data - Third International Workshop, {HCI-KDD} 2013, Held at SouthCHI
2013, Maribor, Slovenia, July 1-3, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7947},
pages = {275--284},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39146-0\_24},
doi = {10.1007/978-3-642-39146-0\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/southchi/YangHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/southchi/ChenGYYH13,
author = {Guang Chen and
Chaohua Gong and
Junfeng Yang and
Xiaoxuan Yang and
Ronghuai Huang},
editor = {Andreas Holzinger and
Gabriella Pasi},
title = {The Concept of eTextbooks in {K-12} Classes from the Perspective of
Its Stakeholders},
booktitle = {Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured,
Big Data - Third International Workshop, {HCI-KDD} 2013, Held at SouthCHI
2013, Maribor, Slovenia, July 1-3, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7947},
pages = {319--325},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39146-0\_29},
doi = {10.1007/978-3-642-39146-0\_29},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/southchi/ChenGYYH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotpar/YangCSS12,
author = {Junfeng Yang and
Ang Cui and
Salvatore J. Stolfo and
Simha Sethumadhavan},
editor = {Hans{-}Juergen Boehm and
Luis Ceze},
title = {Concurrency Attacks},
booktitle = {4th {USENIX} Workshop on Hot Topics in Parallelism, HotPar'12, Berkeley,
CA, USA, June 7-8, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotpar12/workshop-program/presentation/yang},
timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
biburl = {https://dblp.org/rec/conf/hotpar/YangCSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/KeromytisGSSYBDEKS12,
author = {Angelos D. Keromytis and
Roxana Geambasu and
Simha Sethumadhavan and
Salvatore J. Stolfo and
Junfeng Yang and
Azzedine Benameur and
Marc Dacier and
Matthew C. Elder and
Darrell M. Kienzle and
Angelos Stavrou},
title = {The {MEERKATS} Cloud Security Architecture},
booktitle = {32nd International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2012 Workshops), Macau, China, June 18-21, 2012},
pages = {446--450},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICDCSW.2012.42},
doi = {10.1109/ICDCSW.2012.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/KeromytisGSSYBDEKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichl/HuangZLY12,
author = {Ronghuai Huang and
Haisen Zhang and
Yushun Li and
Junfeng Yang},
editor = {Simon K. S. Cheung and
Joseph Fong and
Lam For Kwok and
Kedong Li and
Reggie Kwan},
title = {A Framework of Designing Learning Activities for Mobile Learning},
booktitle = {Hybrid Learning - 5th International Conference, {ICHL} 2012, Guangzhou,
China, August 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7411},
pages = {9--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32018-7\_2},
doi = {10.1007/978-3-642-32018-7\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ichl/HuangZLY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WuTHCY12,
author = {Jingyue Wu and
Yang Tang and
Gang Hu and
Heming Cui and
Junfeng Yang},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Sound and precise analysis of parallel programs through schedule specialization},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {205--216},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254090},
doi = {10.1145/2254064.2254090},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WuTHCY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamis/ChanYY11,
author = {Raymond H. Chan and
Junfeng Yang and
Xiaoming Yuan},
title = {Alternating Direction Method for Image Inpainting in Wavelet Domains},
journal = {{SIAM} J. Imaging Sci.},
volume = {4},
number = {3},
pages = {807--826},
year = {2011},
url = {https://doi.org/10.1137/100807247},
doi = {10.1137/100807247},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamis/ChanYY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/YangZ11,
author = {Junfeng Yang and
Yin Zhang},
title = {Alternating Direction Algorithms for \({}_{\mbox{1}}\)-Problems in
Compressive Sensing},
journal = {{SIAM} J. Sci. Comput.},
volume = {33},
number = {1},
pages = {250--278},
year = {2011},
url = {https://doi.org/10.1137/090777761},
doi = {10.1137/090777761},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamsc/YangZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimva/KeromytisSYSGED11,
author = {Angelos D. Keromytis and
Salvatore J. Stolfo and
Junfeng Yang and
Angelos Stavrou and
Anup K. Ghosh and
Dawson R. Engler and
Marc Dacier and
Matthew C. Elder and
Darrell M. Kienzle},
title = {The {MINESTRONE} Architecture Combining Static and Dynamic Analysis
Techniques for Software Security},
booktitle = {First SysSec Workshop 2011, SysSec@DIMVA 2011, Amsterdam, The Netherlands,
July 6, 2011},
pages = {53--56},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.ieeecomputersociety.org/10.1109/SysSec.2011.33},
doi = {10.1109/SYSSEC.2011.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dimva/KeromytisSYSGED11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimva/SethumadhavanSK11,
author = {Simha Sethumadhavan and
Salvatore J. Stolfo and
Angelos D. Keromytis and
Junfeng Yang and
David I. August},
title = {The {SPARCHS} Project: Hardware Support for Software Security},
booktitle = {First SysSec Workshop 2011, SysSec@DIMVA 2011, Amsterdam, The Netherlands,
July 6, 2011},
pages = {119--122},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.ieeecomputersociety.org/10.1109/SysSec.2011.27},
doi = {10.1109/SYSSEC.2011.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dimva/SethumadhavanSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/KePXYWY11,
author = {Qifa Ke and
Vijayan Prabhakaran and
Yinglian Xie and
Yuan Yu and
Jingyue Wu and
Junfeng Yang},
editor = {Matt Welsh},
title = {Optimizing Data Partitioning for Data-Parallel Computing},
booktitle = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
California, USA, May 9-11, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/hotosxiii/optimizing-data-partitioning-data-parallel-computing},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/KePXYWY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/GuoWZHYZ11,
author = {Huayang Guo and
Ming Wu and
Lidong Zhou and
Gang Hu and
Junfeng Yang and
Lintao Zhang},
editor = {Ted Wobber and
Peter Druschel},
title = {Practical software model checking via dynamic interface reduction},
booktitle = {Proceedings of the 23rd {ACM} Symposium on Operating Systems Principles
2011, {SOSP} 2011, Cascais, Portugal, October 23-26, 2011},
pages = {265--278},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043556.2043582},
doi = {10.1145/2043556.2043582},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/GuoWZHYZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CuiWGGY11,
author = {Heming Cui and
Jingyue Wu and
John Gallagher and
Huayang Guo and
Junfeng Yang},
editor = {Ted Wobber and
Peter Druschel},
title = {Efficient deterministic multithreading through schedule relaxation},
booktitle = {Proceedings of the 23rd {ACM} Symposium on Operating Systems Principles
2011, {SOSP} 2011, Cascais, Portugal, October 23-26, 2011},
pages = {337--351},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043556.2043588},
doi = {10.1145/2043556.2043588},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CuiWGGY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LaadanVTBYN11,
author = {Oren Laadan and
Nicolas Viennot and
Chia{-}che Tsai and
Chris Blinn and
Junfeng Yang and
Jason Nieh},
editor = {Ted Wobber and
Peter Druschel},
title = {Pervasive detection of process races in deployed systems},
booktitle = {Proceedings of the 23rd {ACM} Symposium on Operating Systems Principles
2011, {SOSP} 2011, Cascais, Portugal, October 23-26, 2011},
pages = {353--367},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043556.2043589},
doi = {10.1145/2043556.2043589},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LaadanVTBYN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/XiePYVK11,
author = {Yinglian Xie and
Rina Panigrahy and
Junfeng Yang and
Chad Verbowski and
Arunvijay Kumar},
editor = {Jason Nieh and
Carl A. Waldspurger},
title = {Context-based Online Configuration-Error Detection},
booktitle = {2011 {USENIX} Annual Technical Conference, Portland, OR, USA, June
15-17, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/usenixatc11/context-based-online-configuration-error-detection},
timestamp = {Mon, 01 Feb 2021 08:43:25 +0100},
biburl = {https://dblp.org/rec/conf/usenix/XiePYVK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jstsp/YangZY10,
author = {Junfeng Yang and
Yin Zhang and
Wotao Yin},
title = {A Fast Alternating Direction Method for {TVL1-L2} Signal Reconstruction
From Partial Fourier Data},
journal = {{IEEE} J. Sel. Top. Signal Process.},
volume = {4},
number = {2},
pages = {288--297},
year = {2010},
url = {https://doi.org/10.1109/JSTSP.2010.2042333},
doi = {10.1109/JSTSP.2010.2042333},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jstsp/YangZY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GabelYYGS10,
author = {Mark Gabel and
Junfeng Yang and
Yuan Yu and
Mois{\'{e}}s Goldszmidt and
Zhendong Su},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Scalable and systematic detection of buggy inconsistencies in source
code},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {175--190},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869475},
doi = {10.1145/1869459.1869475},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/GabelYYGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/WuCY10,
author = {Jingyue Wu and
Heming Cui and
Junfeng Yang},
editor = {Remzi H. Arpaci{-}Dusseau and
Brad Chen},
title = {Bypassing Races in Live Applications with Execution Filters},
booktitle = {9th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings},
pages = {135--149},
publisher = {{USENIX} Association},
year = {2010},
url = {http://www.usenix.org/events/osdi10/tech/full\_papers/Wu.pdf},
timestamp = {Thu, 12 Mar 2020 11:35:55 +0100},
biburl = {https://dblp.org/rec/conf/osdi/WuCY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/CuiWTY10,
author = {Heming Cui and
Jingyue Wu and
Chia{-}che Tsai and
Junfeng Yang},
editor = {Remzi H. Arpaci{-}Dusseau and
Brad Chen},
title = {Stable Deterministic Multithreading through Schedule Memoization},
booktitle = {9th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings},
pages = {207--221},
publisher = {{USENIX} Association},
year = {2010},
url = {http://www.usenix.org/events/osdi10/tech/full\_papers/Cui.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/CuiWTY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vcip/YinMYZ10,
author = {Wotao Yin and
Simon P. Morgan and
Junfeng Yang and
Yin Zhang},
editor = {Pascal Frossard and
Houqiang Li and
Feng Wu and
Bernd Girod and
Shipeng Li and
Guo Wei},
title = {Practical compressive sensing with Toeplitz and circulant matrices},
booktitle = {Visual Communications and Image Processing 2010, {VCIP} 2010, Huangshan,
China, 11-14 July 2010},
series = {{SPIE} Proceedings},
volume = {7744},
pages = {77440K},
publisher = {{SPIE}},
year = {2010},
url = {https://doi.org/10.1117/12.863527},
doi = {10.1117/12.863527},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vcip/YinMYZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamis/YangYZW09,
author = {Junfeng Yang and
Wotao Yin and
Yin Zhang and
Yilun Wang},
title = {A Fast Algorithm for Edge-Preserving Variational Multichannel Image
Restoration},
journal = {{SIAM} J. Imaging Sci.},
volume = {2},
number = {2},
pages = {569--592},
year = {2009},
url = {https://doi.org/10.1137/080730421},
doi = {10.1137/080730421},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamis/YangYZW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/YangZY09,
author = {Junfeng Yang and
Yin Zhang and
Wotao Yin},
title = {An Efficient {TVL1} Algorithm for Deblurring Multichannel Images Corrupted
by Impulsive Noise},
journal = {{SIAM} J. Sci. Comput.},
volume = {31},
number = {4},
pages = {2842--2865},
year = {2009},
url = {https://doi.org/10.1137/080732894},
doi = {10.1137/080732894},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamsc/YangZY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tos/MacCormickMRWYZ09,
author = {John MacCormick and
Nicholas Murphy and
Venugopalan Ramasubramanian and
Udi Wieder and
Junfeng Yang and
Lidong Zhou},
title = {Kinesis: {A} new approach to replica placement in distributed storage
systems},
journal = {{ACM} Trans. Storage},
volume = {4},
number = {4},
pages = {11:1--11:28},
year = {2009},
url = {https://doi.org/10.1145/1480439.1480440},
doi = {10.1145/1480439.1480440},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tos/MacCormickMRWYZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bife/LiuYY09,
author = {Jianjiang Liu and
Junfeng Yang and
Xizhen Yang},
editor = {Shouyang Wang and
Lean Yu and
Fenghua Wen and
Shaoyi He and
Yong Fang and
K. K. Lai},
title = {A Game Analysis of the Mergers and Acquisitions of Foreign Capital
Based on the Perspective of Industry Security},
booktitle = {Business Intelligence: Artificial Intelligence in Business, Industry
and Engineering, Proceedings of the Second International Conference
on Business Intelligence and Financial Engineering, {BIFE} 2009, Beijing,
China, 24-26 July 2009},
pages = {726--730},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/BIFE.2009.201},
doi = {10.1109/BIFE.2009.201},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bife/LiuYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/YangCWXLLYLZZ09,
author = {Junfeng Yang and
Tisheng Chen and
Ming Wu and
Zhilei Xu and
Xuezheng Liu and
Haoxiang Lin and
Mao Yang and
Fan Long and
Lintao Zhang and
Lidong Zhou},
editor = {Jennifer Rexford and
Emin G{\"{u}}n Sirer},
title = {{MODIST:} Transparent Model Checking of Unmodified Distributed Systems},
booktitle = {Proceedings of the 6th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2009, April 22-24, 2009, Boston, MA, {USA}},
pages = {213--228},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/nsdi09/tech/full\_papers/yang/yang.pdf},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/YangCWXLLYLZZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Yang08a,
author = {Junfeng Yang},
title = {Automatic detection of serious storage system errors via model checking},
school = {Stanford University, {USA}},
year = {2008},
url = {https://searchworks.stanford.edu/view/7201367},
timestamp = {Fri, 02 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Yang08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamis/WangYYZ08,
author = {Yilun Wang and
Junfeng Yang and
Wotao Yin and
Yin Zhang},
title = {A New Alternating Minimization Algorithm for Total Variation Image
Reconstruction},
journal = {{SIAM} J. Imaging Sci.},
volume = {1},
number = {3},
pages = {248--272},
year = {2008},
url = {https://doi.org/10.1137/080724265},
doi = {10.1137/080724265},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamis/WangYYZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/YangTEM06,
author = {Junfeng Yang and
Paul Twohey and
Dawson R. Engler and
Madanlal Musuvathi},
title = {Using model checking to find serious file system errors},
journal = {{ACM} Trans. Comput. Syst.},
volume = {24},
number = {4},
pages = {393--423},
year = {2006},
url = {https://doi.org/10.1145/1189256.1189259},
doi = {10.1145/1189256.1189259},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/YangTEM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/YangSE06,
author = {Junfeng Yang and
Can Sar and
Dawson R. Engler},
editor = {Brian N. Bershad and
Jeffrey C. Mogul},
title = {{EXPLODE:} {A} Lightweight, General System for Finding Serious Storage
System Errors},
booktitle = {7th Symposium on Operating Systems Design and Implementation {(OSDI}
'06), November 6-8, Seattle, WA, {USA}},
pages = {131--146},
publisher = {{USENIX} Association},
year = {2006},
url = {http://www.usenix.org/events/osdi06/tech/yang\_junfeng.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/YangSE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/YangSTCE06,
author = {Junfeng Yang and
Can Sar and
Paul Twohey and
Cristian Cadar and
Dawson R. Engler},
title = {Automatically Generating Malicious Disks using Symbolic Execution},
booktitle = {2006 {IEEE} Symposium on Security and Privacy (S{\&}P 2006), 21-24
May 2006, Berkeley, California, {USA}},
pages = {243--257},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SP.2006.7},
doi = {10.1109/SP.2006.7},
timestamp = {Thu, 21 Sep 2023 15:57:31 +0200},
biburl = {https://dblp.org/rec/conf/sp/YangSTCE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/YangTEM04,
author = {Junfeng Yang and
Paul Twohey and
Dawson R. Engler and
Madanlal Musuvathi},
editor = {Eric A. Brewer and
Peter Chen},
title = {Using Model Checking to Find Serious File System Errors (Awarded Best
Paper!)},
booktitle = {6th Symposium on Operating System Design and Implementation {(OSDI}
2004), San Francisco, California, USA, December 6-8, 2004},
pages = {273--288},
publisher = {{USENIX} Association},
year = {2004},
url = {http://www.usenix.org/events/osdi04/tech/yang.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/YangTEM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KremenekAYE04,
author = {Ted Kremenek and
Ken Ashcraft and
Junfeng Yang and
Dawson R. Engler},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Correlation exploitation in error ranking},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {83--93},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029909},
doi = {10.1145/1029894.1029909},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KremenekAYE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/YangKXE03,
author = {Junfeng Yang and
Ted Kremenek and
Yichen Xie and
Dawson R. Engler},
editor = {Sushil Jajodia and
Vijayalakshmi Atluri and
Trent Jaeger},
title = {{MECA:} an extensible, expressive system and language for statically
checking security properties},
booktitle = {Proceedings of the 10th {ACM} Conference on Computer and Communications
Security, {CCS} 2003, Washington, DC, USA, October 27-30, 2003},
pages = {321--334},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/948109.948153},
doi = {10.1145/948109.948153},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/YangKXE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ChouYCHE01,
author = {Andy Chou and
Junfeng Yang and
Benjamin Chelf and
Seth Hallem and
Dawson R. Engler},
editor = {Keith Marzullo and
Mahadev Satyanarayanan},
title = {An Empirical Study of Operating System Errors},
booktitle = {Proceedings of the 18th {ACM} Symposium on Operating System Principles,
{SOSP} 2001, Chateau Lake Louise, Banff, Alberta, Canada, October
21-24, 2001},
pages = {73--88},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/502034.502042},
doi = {10.1145/502034.502042},
timestamp = {Thu, 11 Jul 2019 14:55:12 +0200},
biburl = {https://dblp.org/rec/conf/sosp/ChouYCHE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 23:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
