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

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

Subtleties of transactional memory atomicity semantics von Blundell, C., Lewis, E.C., Martin, M.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

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

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

Volltext

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

Volltext

Computational sprinting von Raghavan, A., Yixin Luo, Chandawalla, A., Papaefthymiou, M., Pipe, K. P., Wenisch, T. F., 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

Top Picks from the 2015 Computer Architecture Conferences von Martin, Milo, Sorin, Daniel

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

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

Volltext

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

Volltext

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

Volltext

NoSQ: Store-Load Communication without a Store Queue von Sha, T., Martin, M.M.K., Roth, A.

Volltext

Verifying safety of a token coherence implementation by parametric compositional refinement von Burckhardt, Sebastian, Alur, Rajeev, Martin, Milo M. K.

Volltext