| No. |
Title |
Author |
Year |
| 1 |
PEDroid: Automatically Extracting Patches from Android App Updates |
Li, Hehao et al. |
2022 |
| 2 |
PEDroid: Automatically Extracting Patches from Android App Updates (Artifact) |
Li, Hehao et al. |
2022 |
| 3 |
Brief Announcement: Reaching Approximate Consensus When Everyone May Crash |
Tseng, Lewis et al. |
2020 |
| 4 |
Generalized List Decoding |
Zhang, Yihan et al. |
2020 |
| 5 |
Scheduling Problems over Network of Machines |
Friggstad, Zachary et al. |
2017 |
| 6 |
Program Tailoring: Slicing by Sequential Criteria |
Li, Yue et al. |
2016 |
| 7 |
Program Tailoring: Slicing by Sequential Criteria (Artifact) |
Tan, Tian et al. |
2016 |
| 8 |
Tight Analysis of a Multiple-Swap Heurstic for Budgeted Red-Blue Median |
Friggstad, Zachary et al. |
2016 |
| 9 |
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software |
Masci, Paolo et al. |
2014 |
| 10 |
Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling |
Zhang, Yi et al. |
2011 |
| 11 |
Creating incentives to prevent execution failures: an extension of VCG mechanism |
Zhang, Yingqian et al. |
2009 |
| 12 |
P2P XQuery and the StreetTiVo application |
Boncz, Peter A. et al. |
2007 |
