| 2014 | DAC | Code Coverage of Assertions Using RTL Source Code Analysis |
| 2014 | DAC | Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware |
| 2014 | DVCon Europe | Transitioning Mixed-Signal Verification Environments to Universal Verification Methodology |
| 2014 | EMNLP | Modeling Biological Processes for Reading Comprehension |
| 2014 | EMSOFT | Multiple Shooting, CEGAR-based Falsification of Hybrid Systems |
| 2014 | ESEM | Discovering Buffer Overflow Vulnerabilities In The Wild: An Empirical Study |
| 2014 | ESEM | Evaluating strategies for study selection in systematic literature studies |
| 2014 | ESEM | Towards a Framework to Support Large Scale Sampling in Software Engineering Surveys |
| 2014 | ESEM | Networking in a Large-Scale Distributed Agile Project |
| 2014 | ESOP | An array-oriented language with static rank polymorphism |
| 2014 | Eurocrypt | Unifying Leakage Models: From Probing Attacks to Noisy Leakage |
| 2014 | Eurocrypt | A Heuristic Quasi-Polynomial Algorithm for Discrete Logarithm in Finite Fields of Small Characteristic |
| 2014 | FAST | Log-structured Memory for DRAM-based Storage |
| 2014 | FOCS | Path Finding Methods for Linear Programming: Solving Linear Programs in O(sqrt(rank)) Iterations and Faster Algorithms for Maximum Flow |
| 2014 | FoSSaCS | Unsafe order-2 tree languages are context-sensitive |
| 2014 | FSE | Selection and Presentation Practices for Code Example Summarization |
| 2014 | FSE | Are Mutants a Valid Substitute for Real Faults in Software Testing? |
| 2014 | FSE | AI: A Lightweight System for Tolerating Concurrency Bugs |
| 2014 | FSE | Powering the Static Driver Verifier using Corral |
| 2014 | FSE | Learning Natural Coding Conventions |
| 2014 | FSE | Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study |
| 2014 | FSE' | Differential-Linear Cryptanalysis Revisited |
| 2014 | FSE' | Direct Construction of Recursive MDS Diffusion Layers Using Shortened BCH Codes |
| 2014 | GRAPP | Shape Transformation of Multidimensional Density Functions using Distribution Interpolation of the Radon Transforms |
| 2014 | GRAPP | Floor Plan Generation and Room Labeling of Indoor Environments from Laser Range Data |
| 2014 | HICSS | Validation and Analysis of a Distributed, Agent-Based Metaheuristic for Negotiation of Consensus Inspired by Honeybee Nest Site Selection Behavior |
| 2014 | HICSS | Trading on Twitter: The Financial Information Content of Emotion in Social Media |
| 2014 | HICSS | Seeing with Paper: Government Documents and Material Participation |
| 2014 | HICSS | Active Citizen E-Participation in Local Governance: Do Individual Social Capital and E-Participation Management Matter? |
| 2014 | HICSS | Electricity Restructuring, Consumer Prices and the Cost of Capital: Lessons for the Modeling of Future Policy |