|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama |
Data-driven synthesis for object-oriented frameworks.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang |
Language-based replay via data flow cut. |
SIGSOFT FSE |
2010 |
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 | Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang |
Conditional correlation analysis for safe region-based memory management. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
conditional correlation, program analysis, memory management, error detection, region |
| 1 | Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang |
R2: An Application-Level Kernel for Record and Replay. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang |
Hang analysis: fighting responsiveness bugs. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
blocking invocation, hang, responsive invocation, program analysis, responsiveness, interactive performance |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")