Thresher: Precise refutations for heap reachability
- Sam Blackshear
- Bor-Yuh Evan Chang
- et al.
- 2013
- PLDI 2013
Conference paper
Publications
CLAP: Recording local executions to reproduce concurrency failures
- Jeff Huang
- Charles Zhang
- et al.
- 2013
- PLDI 2013
Conference paperDynamic determinacy analysis
- Max Schäfer
- Manu Sridharan
- et al.
- 2013
- PLDI 2013
Conference paperPractical comprehensive bounds on surreptitious communication over DNS
- Vern Paxson
- Mihai Christodorescu
- et al.
- 2013
- USENIX Security 2013
Conference paperUnderstanding and mitigating refresh overheads in high-density DDR4 DRAM systems
- Janani Mukundan
- Hillery Hunter
- et al.
- 2013
- ISCA 2013
Conference paperRobust architectural support for transactional memory in the power architecture
- Harold W. Cain
- Brad Frey
- et al.
- 2013
- ISCA 2013
Conference paperAgile, efficient virtualization power management with low-latency server power states
- Canturk Isci
- Suzanne McIntosh
- et al.
- 2013
- ISCA 2013
Conference paperImproving virtualization in the presence of software managed translation lookaside buffers
- Xiaotao Chang
- Hubertus Franke
- et al.
- 2013
- ISCA 2013
Conference paperDetecting chronic critics based on sentiment polarity and user’s behavior in social media
- Sho Takase
- Akiko Murakami
- et al.
- 2013
- ACL 2013
Conference paperEnlisting the ghost: Modeling Empty categories for machine translation
- Bing Xiang
- Xiaoqiang Luo
- et al.
- 2013
- ACL 2013
Conference paper