Search results for "Junfeng Yang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Raymond H. Chan, Junfeng Yang, Xiaoming Yuan	Alternating Direction Method for Image Inpainting in Wavelet Domains.	SIAM J. Imaging Sciences	2011	DBLP DOI BibTeX RDF
1	Junfeng Yang, Yin Zhang	Alternating Direction Algorithms for 1-Problems in Compressive Sensing.	SIAM J. Scientific Computing	2011	DBLP DOI BibTeX RDF
1	Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh	Pervasive detection of process races in deployed systems.	SOSP	2011	DBLP DOI BibTeX RDF
1	Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang	Practical software model checking via dynamic interface reduction.	SOSP	2011	DBLP DOI BibTeX RDF
1	Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang	Efficient deterministic multithreading through schedule relaxation.	SOSP	2011	DBLP DOI BibTeX RDF
1	Junfeng Yang, Yin Zhang, Wotao Yin	A Fast Alternating Direction Method for TVL1-L2 Signal Reconstruction From Partial Fourier Data.	J. Sel. Topics Signal Processing	2010	DBLP DOI BibTeX RDF
1	Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang	Stable Deterministic Multithreading through Schedule Memoization.	OSDI	2010	DBLP BibTeX RDF
1	Jingyue Wu, Heming Cui, Junfeng Yang	Bypassing Races in Live Applications with Execution Filters.	OSDI	2010	DBLP BibTeX RDF
1	Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su	Scalable and systematic detection of buggy inconsistencies in source code.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Junfeng Yang, Wotao Yin, Yin Zhang, Yilun Wang	A Fast Algorithm for Edge-Preserving Variational Multichannel Image Restoration.	SIAM J. Imaging Sciences	2009	DBLP DOI BibTeX RDF
1	John MacCormick, Nicholas Murphy, Venugopalan Ramasubramanian, Udi Wieder, Junfeng Yang, Lidong Zhou	Kinesis: A new approach to replica placement in distributed storage systems.	TOS	2009	DBLP DOI BibTeX RDF	multiple-choice paradigm, load balancing, Storage system
1	Junfeng Yang, Yin Zhang, Wotao Yin	An Efficient TVL1 Algorithm for Deblurring Multichannel Images Corrupted by Impulsive Noise.	SIAM J. Scientific Computing	2009	DBLP DOI BibTeX RDF
1	Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou	MODIST: Transparent Model Checking of Unmodified Distributed Systems.	NSDI	2009	DBLP BibTeX RDF
1	Jianjiang Liu, Junfeng Yang, Xizhen Yang	A Game Analysis of the Mergers and Acquisitions of Foreign Capital Based on the Perspective of Industry Security.	BIFE	2009	DBLP DOI BibTeX RDF
1	Yilun Wang, Junfeng Yang, Wotao Yin, Yin Zhang	A New Alternating Minimization Algorithm for Total Variation Image Reconstruction.	SIAM J. Imaging Sciences	2008	DBLP DOI BibTeX RDF
1	Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi	Using model checking to find serious file system errors.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Model checking, file system, recovery, journaling, crash
1	Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler	Automatically Generating Malicious Disks using Symbolic Execution.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
1	Junfeng Yang, Can Sar, Dawson R. Engler	EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors.	OSDI	2006	DBLP BibTeX RDF
1	Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi	Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).	OSDI	2004	DBLP BibTeX RDF
1	Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler	Correlation exploitation in error ranking.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	error ranking, static analysis, program checking
1	Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler	MECA: an extensible, expressive system and language for statically checking security properties.	ACM Conference on Computer and Communications Security	2003	DBLP DOI BibTeX RDF	annotation language, static analysis
1	Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler	An Empirical Study of Operating System Errors.	SOSP	2001	DBLP DOI BibTeX RDF	Linux

Publications of "Junfeng Yang" ( http://dblp.L3S.de/Authors/Junfeng_Yang )