gistfile1.html

---
layout: page
categories:
  - title: Journal Papers
    publications:
      - title: Rule Formats for Determinism and Idempotency (journal version)
        date: 31.03.2010
        authors: 
          - Luca Aceto
          - Arnar Birgisson
          - Anna Ingolfsdottir
          - MohammadReza Mousavi
          - Michel Reniers
        venue: To appear in a Special Issue of Science of Computer Programming devoted to FSEN 2009
        extra: Guest editors Farhad Arbab and Marjan Sirjani
        link: http://dx.doi.org/10.1016/j.scico.2010.04.002
        
  - title: Conference and Workshop Papers
    publications:
      - title: Differential Privacy with Information Flow Control
        date: 05.06.2011
        authors:
          - Arnar Birgisson
          - Frank McSherry
          - Martín Abadi
        venue: ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security (PLAS 2011)

      - title: Capabilities for Information Flow
        date: 05.06.2011
        authors:
          - Arnar Birgisson
          - Alejandro Russo
          - Andrei Sabelfeld
          venue: ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security (PLAS 2011)
          pdf: pdf/plas11-flowcaps.pdf

      - title: Decompositional Reasoning about the History of Parallel Processes
        date: 20.04.2011
        authors:
          - Luca Aceto
          - Arnar Birgisson
          - Anna Ingolfsdottir
          - MohammadReza Mousavi
        venue: Proceedings of the 4th International on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran
        extra: PDF links to extended version TU/e Technical Report.
        pdf: pdf/csr-10-17.pdf

      - title: Unifying Facets of Information Integrity
        date: 17.12.2010
        authors:
         - Arnar Birgisson
         - Alejandro Russo
         - Andrei Sabelfeld
        venue: Sixth International Conference on Information Systems Security (ICISS 2010)

      - title: An Implementation and Semantics for Transactional Memory Introspection in Haskell
        date: 15.06.2009
        authors:
          - Arnar Birgisson
          - Úlfar Erlingsson
        venue: ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009)
        pdf: pdf/plas09.pdf
        
      - title: Rule Formats for Determinism and Idempotency
        date: 15.04.2009
        authors: 
          - Luca Aceto
          - Arnar Birgisson
          - Anna Ingolfsdottir
          - MohammadReza Mousavi
          - Michel Reniers
        venue: LNCS proceedings of Fundamentals of Software Engineering 2009
        pdf: pdf/fsen09.pdf
        
      - title: Enforcing Authorization Policies using Transactional Memory Introspection
        date: 27.10.2008
        authors:
          - Arnar Birgisson
          - Mohan Dhawan
          - Úlfar Erlingsson
          - Vinod Ganapathy
          - Liviu Iftode
        venue: "CCS’08: Proceedings of the 15th ACM Conference on Computer and Communications Security"
        extra: "Alexandria, Virginia; October 27-31, 2008"
        pdf: pdf/ccs2008.pdf
        
  - title: Technical reports
    publications:
      - title: An Implementation and Semantics for Transactional Memory Introspection in Haskell
        date: 28.10.2008
        authors:
          - Arnar Birgisson
          - Úlfar Erlingsson
        venue: RU Technical Report CS08007
        extra: (superseded by workshop paper above)
        pdf: pdf/RUTR-CS08007_draft1.pdf
        
      - title: Enforcing Authorization Policies using Transactional Memory Introspection
        date: 18.04.2008
        authors:
          - Arnar Birgisson
          - Mohan Dhawan
          - Úlfar Erlingsson
          - Vinod Ganapathy
          - Liviu Iftode
        venue: "Technical report, Rutgers University, Dept. of C.S"
        extra: (superseded by conference paper above)
        link: http://www.cs.rutgers.edu/research/technical_reports/reports.php?action=view&series_id=1&report_id=628
        pdf: pdf/TMI-tr486.pdf
---
<h1>Publications</h1>

{% for group in page.categories %}
<h2><a>{{ group.title }}</a></h2>

{% for pub in group.publications %}
    <div class="publication"><p>
        <span class="date">{{ pub['date'] }}</span>
        <span class="authors">{{ pub.authors | array_to_sentence_string }}.</span>
        <span class="title">{{ pub.title }}.</span>
        <span class="venue">{{ pub.venue }}.</span>
        {{ pub.extra }}
        </p>
        <ul>
            {% if pub.link %}
                <li><a  href="{{ pub.link }}">Link</a></li>
            {% endif %}
            {% if pub.pdf %}
                <li><a  href="{{ pub.pdf }}">PDF</a></li>
            {% endif %}
        </ul>
    </div>        
{% endfor %}

{% endfor %}