About this collection

Recent Submissions

  • An Operational Semantics for C/C++11 Concurrency 

    Nienhuis, K; Memarian, K; Sewell, P (Association for Computing Machinery, 2016-10-19)
    The C/C++11 concurrency model balances two goals: it is relaxed enough to be efficiently implementable and (leaving aside the "thin-air" problem) it is strong enough to give useful guarantees to programmers. It is ...
  • CHERI JNI: Sinking the Java security model into the C 

    Chisnall, DT; Davis, B; Gudka, K; Brazdil, D; Joannou, A; Woodruff, J; Markettos, AT et al.
    Java provides security and robustness by building a high-level security model atop the foundation of memory protection. Unfortunately, any native code linked into a Java program – including the million lines used to implement ...
  • Randomized Load Balancing on Networks with Stochastic Inputs 

    Cai, L; Sauerwald, TM (Leibniz International Proceedings in Informatics, 2017-07-14)
    Iterative load balancing algorithms for indivisible tokens have been studied intensively in the past. Complementing previous worst-case analyses, we study an average-case scenario where the load inputs are drawn from a ...
  • Beyond the PDP-11: Architectural support for a memory-safe C abstract machine 

    Chisnall, D; Rothwell, C; Watson, RNM; Woodruff, J; Vadera, M; Moore, SW; Roe, M et al. (ACM, 2015-04-01)
    We propose a new memory-safe interpretation of the C abstract machine that provides stronger protection to benefit security and debugging. Despite ambiguities in the specification intended to provide implementation ...

View more