Figure-of-merit for phase-change materials used in thermal management von Shao, Lei, Raghavan, Arun, Kim, Gun-Ho, Emurian, Laurel, Rosen, Jeffrey, Papaefthymiou, Marios C., Wenisch, Thomas F., Martin, Milo M.K., Pipe, Kevin P.

Volltext

Watchdog: Hardware for safe and secure manual memory management and full memory safety von Nagarakatte, S., Martin, M. M. K., Zdancewic, S.

Volltext

Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically von Hicks, Matthew, Finnicum, Murph, King, Samuel T, Martin, Milo, Smith, Jonathan M

Volltext

Utilizing Dark Silicon to Save Energy with Computational Sprinting von Raghavan, Arun, Emurian, Laurel, Lei Shao, Papaefthymiou, Marios, Pipe, Kevin P., Wenisch, Thomas F., Martin, Milo M. K.

Volltext

An Axiomatic Memory Model for POWER Multiprocessors von Mador-Haim, Sela, Maranget, Luc, Sarkar, Susmit, Memarian, Kayvan, Alglave, Jade, Owens, Scott, Alur, Rajeev, Martin, Milo M. K., Sewell, Peter, Williams, Derek

Volltext

Computational sprinting von Raghavan, A., Yixin Luo, Chandawalla, A., Papaefthymiou, M., Pipe, K. P., Wenisch, T. F., Martin, M. M. K.

Volltext

Hardware-Enforced Comprehensive Memory Safety von Nagarakatte, S., Martin, M. M. K., Zdancewic, S.

Volltext

Subtleties of transactional memory atomicity semantics von Blundell, C., Lewis, E.C., Martin, M.M.K.

Volltext

Designing for Responsiveness with Computational Sprinting von Raghavan, A., Yixin Luo, Chandawalla, A., Papaefthymiou, M., Pipe, K. P., Wenisch, T. F., Martin, M. M. K.

Volltext

Making the fast case common and the uncommon case simple in unbounded transactional memory von Blundell, Colin, Devietti, Joe, Lewis, E Christopher, Martin, Milo M K

Volltext

CETS: compiler enforced temporal safety for C von Nagarakatte, Santosh, Zhao, Jianzhou, Martin, Milo M.K., Zdancewic, Steve

Volltext

TRANSIT: specifying protocols with concolic snippets von Udupa, Abhishek, Raghavan, Arun, Deshmukh, Jyotirmoy V., Mador-Haim, Sela, Martin, Milo M.K., Alur, Rajeev

Volltext

Formalizing the LLVM intermediate representation for verified program transformations von Zhao, Jianzhou, Nagarakatte, Santosh, Martin, Milo M.K., Zdancewic, Steve

Volltext

Simulating a 2M commercial server on a 2K PC von Alameldeen, A.R., Martin, M.M.K., Mauer, C.J., Moore, K.E., Min Xu, Hill, M.D., Wood, D.A., Sorin, D.J.

Volltext

Formal verification of SSA-based optimizations for LLVM von Zhao, Jianzhou, Nagarakatte, Santosh, Martin, Milo M.K., Zdancewic, Steve

Volltext

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study von Burckhardt, Sebastian, Alur, Rajeev, Martin, Milo M. K.

Volltext

Token tenure and PATCH: A predictive/adaptive token-counting hybrid von Raghavan, Arun, Blundell, Colin, Martin, Milo M. K.

Volltext

Token tenure: PATCHing token counting using directory-based cache coherence von Raghavan, Arun, Blundell, Colin, Martin, Milo M. K.

Volltext

NoSQ: Store-Load Communication without a Store Queue von Sha, Tingting, Martin, Milo M. K., Roth, Amir

Volltext

Litmus tests for comparing memory consistency models: how long do they need to be? von Mador-Haim, Sela, Alur, Rajeev, Martin, Milo M. K.

Volltext