| 2013 | FAST | A Study of Linux File System Evolution |
| 2013 | FOCS | Navigating Central Path with Electrical Flows: from Flows to Matchings, and Back |
| 2013 | FoSSaCS | Separation logic for non-local control flow and block scope variables |
| 2013 | FoSSaCS | Preorders on monads and coalgebraic simulations |
| 2013 | FPT | Maximum Flow Algorithms for Maximum Observability During FPGA Debug |
| 2013 | GRAPP | Rotationally Invariant 3D Shape Contexts using Asymmetry Patterns |
| 2013 | GRAPP | DAAPMed: A Data-aware Anchor Point Selection Tool for Medical Models in VR Environments |
| 2013 | HICSS | Critical Thinking of Crowd: Towards A Social-Technological System that Inactivate False Rumors |
| 2013 | HICSS | The Effects of Green on IT/S Projects: Recycling the Garbage Can Model |
| 2013 | HICSS | Mining Points-of-Interest Association Rules from Geo-tagged Photos |
| 2013 | HICSS | Exploring the Influence of Contextual Distances on Transnational Public Sector Knowledge Networks: A Comparative Study of AIRNow-I Shanghai and the Hajj-MDSS Initiatives |
| 2013 | HICSS | Dynamic Simulation Study of the Frequency Response of the Western Interconnection with Increased Wind Generation |
| 2013 | HICSS | Towards Next Generation Health Data Exploration: A Data Cube-based Investigation into Population Statistics for Tobacco |
| 2013 | HICSS | Measuring Effects of Observational Learning and Social-Network Word-of-Mouth (WOM) on the Sales of Daily-Deal Vouchers |
| 2013 | HICSS | Knowledge Management to Support Systematic Innovation Capability |
| 2013 | HICSS | Understanding the Nature of Use Regarding System Development and Management Methodologies – Using Psychoanalysis to Understand the Influences of Methodology Attributes |
| 2013 | HICSS | Effort Estimates on Web Application Vulnerability Discovery |
| 2013 | ICAC | To Reserve or Not to Reserve: Optimal Online Multi-Instance Acquisition in IaaS Clouds |
| 2013 | ICAC | iShuffle: Improving Hadoop Performance with Shuffle-on-Write |
| 2013 | ICAC | AUTOPLACER: Scalable Self-Tuning Data Placement in Distributed Key-value Stores |
| 2013 | ICALP | Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities |
| 2013 | ICALP | Reachability in Two-Clock Timed Automata is PSPACE-complete |
| 2013 | ICALP | Fast Collaborative Graph Exploration |
| 2013 | ICCAD | Methodology for Standard Cell Compliance and Detailed Placement for Triple Patterning Lithography |
| 2013 | ICCAD | Improved SAT-based ATPG: More Constraints, Better Compaction |
| 2013 | ICCV | From Large Scale Image Categorization to Entry-Level Categories |
| 2013 | ICML | Vanishing Component Analysis |
| 2013 | ICML | Fast Semididderential-based Submodular Function Optimization |
| 2013 | ICRA | Control Design along Trajectories with Sums of Squares Programming |
| 2013 | ICRA | Effector Form Design for 1DOF Planar Actuation |