---
res:
  bibo_abstract:
  - Multithreaded programs coordinate their interaction through synchronization primitives
    like mutexes and semaphores, which are managed by an OS-provided resource manager.
    We propose algorithms for the automatic construction of code-aware resource managers
    for multithreaded embedded applications. Such managers use knowledge about the
    structure and resource usage (mutex and semaphore usage) of the threads to guarantee
    deadlock freedom and progress while managing resources in an efficient way. Our
    algorithms compute managers as winning strategies in certain infinite games, and
    produce a compact code description of these strategies. We have implemented the
    algorithms in the tool Cynthesis. Given a multithreaded program in C, the tool
    produces C code implementing a code-aware resource manager. We show in experiments
    that Cynthesis produces compact resource managers within a few minutes on a set
    of embedded benchmarks with up to 6 threads. © 2012 Springer Science+Business
    Media, LLC.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4561-241X
  - foaf_Person:
      foaf_givenName: Luca
      foaf_name: De Alfaro, Luca
      foaf_surname: De Alfaro
  - foaf_Person:
      foaf_givenName: Marco
      foaf_name: Faella, Marco
      foaf_surname: Faella
  - foaf_Person:
      foaf_givenName: Ritankar
      foaf_name: Majumdar, Ritankar
      foaf_surname: Majumdar
  - foaf_Person:
      foaf_givenName: Vishwanath
      foaf_name: Raman, Vishwanath
      foaf_surname: Raman
  bibo_doi: 10.1007/s10703-012-0170-4
  bibo_issue: '2'
  bibo_volume: 42
  dct_date: 2013^xs_gYear
  dct_identifier:
  - UT:000316677500002
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Code aware resource management@
...