seminars_2018-2019.html

---
layout: default
title: Paper of the Week

papers:
- date: 2019-09-17
  speaker: Florent
  title: 'Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language'
  authors: Michal Moskal, Tom Ball, Peli de Halleux
  venue: Managed Programming Languages and Runtimes
  year: 2019
  url: https://www.microsoft.com/en-us/research/uploads/prod/2019/09/static-typescript-draft2.pdf

- date: 2019-09-02
  speaker: Thibault
  title: Rotten green tests
  authors: Julien Delplanque, Stéphane Ducasse, Guillermo Polito, Andrew P. Black, Anne Etien
  venue: ICSE
  year: 2019
  url: https://rmod.inria.fr/archives/papers/Delp19a-RottenGreenTests-ICSE2019.pdf

- date: 2019-04-09
  speaker: Joachim
  title: Decoupling Algorithms from Schedule for Easy Optimization of Image Processing Pipelines
  authors: Jonathan Ragan-Kelley, Andrew Adams, Sylvain Paris, Marc Levoy, Saman Amarasinghe, Frédo Durand
  venue: Transactions on Graphics
  year: 2012
  url: http://people.csail.mit.edu/jrk/halide12/halide12.pdf

- date: 2019-04-02
  speaker: Massimo
  title: Collaborative Verification-Driven Engineering of Hybrid Systems
  authors: Stefan Mitsch, Grant Olney Passmore and André Platzer
  venue: Mathematics in Computer Science
  year: 2014
  url: https://arxiv.org/pdf/1403.6085.pdf

- date: 2019-03-05
  speaker: Thibault
  title: Mining questions about software energy consumption
  authors: Gustavo Pinto, Fernando Castor, Yu David Liu
  venue: MSR
  year: 2014
  url: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.438.8305&rep=rep1&type=pdf

- date: 2019-02-26
  speaker: Jean-Marie
  title: 'On the use of models for high-performance scientific computing applications: an experience report'
  authors: Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato
  venue: SoSym
  year: 2018
  url: https://link.springer.com/article/10.1007%2Fs10270-016-0518-0

- date: 2019-02-12
  speaker: Zheng
  title: 'Madeus: A Formal Deployment Model'
  authors: Maverick Chardet, Hélène Coullon, Dimitri Pertin, Christian Pérez
  venue: HPCS
  year: 2018
  url: https://hal.inria.fr/hal-01858150/document

- date: 2019-02-05
  speaker: Hugo
  title: Achievements and challenges in software reverse engineering
  authors: Gerardo Canfora, Massimiliano Di Penta, Luigi Cerulo
  venue: CACM
  year: 2011
  url: https://dl.acm.org/citation.cfm?doid=1924421.1924451

- date: 2019-01-29
  speaker: Florent
  title: Why Don't People Use Formal Methods?
  authors: Hillel Wayne
  venue: Blog
  year: 2019
  url: https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/

- date: 2019-01-08
  speaker: Dalila
  title: "Industry 4.0: A survey on technologies, applications and open research issues"
  authors: Yang Lu
  venue: Journal of Industrial Information Integration
  year: 2017
  url: https://www.sciencedirect.com/science/article/pii/S2452414X17300043

- date: 2018-12-13
  speaker: Imad
  title: Efficient lineage tracking for scientific workflows
  authors: Thomas Heinis, Gustavo Alonso
  venue: SIGMOD
  year: 2008
  url: http://wp.doc.ic.ac.uk/theinis/wp-content/uploads/sites/63/2014/05/sigmod08.pdf

- date: 2018-11-20
  speaker: Erwan
  title: "Meaningful Modeling: What's the Semantics of \"Semantics\"?"
  authors: David Harel, Bernhard Rumpe
  venue: IEEE Computer
  year: 2004
  url: https://ieeexplore.ieee.org/iel5/2/29695/01350729.pdf
  tag: Classic

- date: 2018-11-06
  speaker: Jean-Marie
  title: "DeepMutation: Mutation Testing of Deep Learning Systems"
  authors: Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
  venue: ISSRE
  year: 2018
  url: https://arxiv.org/pdf/1805.05206
  tag: State of the art

- date: 2018-10-30
  speaker: Joachim
  title: Deep Specifications and Certified Abstraction Layers
  authors: Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
  venue: POPL
  year: 2015
  url: http://flint.cs.yale.edu/flint/publications/dscal.pdf

- date: 2018-10-16
  speaker: Gerson
  title: A Large-Scale Study of Test Coverage Evolution
  authors: Michael Hilton, Jonathan Bell, Darko Marinov
  venue: ASE
  year: 2018
  url: http://mir.cs.illinois.edu/marinov/publications/HiltonETAL18TestCoverageEvolution.pdf
  tag: State of the art

- date: 2018-10-08
  speaker: Gerson
  title: Chaos Engineering
  authors: Ali Basiri, Niosha Behnam, Ruud de Rooij, Lorin Hochstein, Luke Kosewski, Justin Reynolds, Casey Rosenthal
  venue: IEEE Software
  year: 2016
  url: https://www.computer.org/cms/Computer.org/ComputingNow/issues/2016/07/mso2016030035.pdf
  tag: State of the art

- date: 2018-10-01
  speaker: Thibault
  title: Quality of service profiling
  authors: Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard
  venue: ICSE
  year: 2010
  url: https://dspace.mit.edu/openaccess-disseminate/1721.1/72415
  tag: State of the art

- date: 2018-09-24
  speaker: Zheng
  title: Evaluating the Effectiveness of Model-Based Power Characterization
  authors: John C. McCullough, Yuvraj Agarwal, Jaideep Chandrashekar, Sathyanarayan Kuppuswamy, Alex C. Snoeren, Rajesh K. Gupta
  venue: USENIX
  year: 2011
  url: https://www.usenix.org/events/atc11/tech/final_files/McCullough.pdf
  tag: State of the art

- date: 2018-09-11
  speaker: Florent
  title: Verifying That Web Pages Have Accessible Layout
  authors: Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
  venue: PLDI
  year: 2017
  url: https://homes.cs.washington.edu/~mernst/pubs/verify-layout-pldi2018.pdf
  tag: State of the art

- date: 2018-09-04
  speaker: Hugo
  title: Empirical Assessment of MDE in Industry
  authors: John Edward Hutchinson, Jon Whittle, Mark Rouncefield, Steinar Kristoffersen
  venue: ICSE
  year: 2011
  url: https://edisciplinas.usp.br/pluginfile.php/133169/mod_resource/content/1/p471-hutchinson.pdf
  tag: State of the art

- date: 2018-08-28
  speaker: Thibault
  title: Hybrid Regression Test Selection
  authors: Lingming Zhang
  venue: ICSE
  year: 2018
  url: http://www.utdallas.edu/~lxz144130/publications/icse2018.pdf
  tag: State of the art

- date: 2018-08-07
  speaker: Massimo
  title: Propositions as Types
  authors: Philip Wadler
  venue: CACM
  year: 2015
  url: http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
  tag: Classic

- date: 2018-07-31
  speaker: Imad
  title: "Verdi: A Framework for Implementing and Formally Verifying Distributed Systems"
  authors: James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
  venue: PLDI
  year: 2015
  url: https://www.cs.columbia.edu/~junfeng/17sp-e6121/papers/verdi.pdf
  tag: State of the art

- date: 2018-07-24
  speaker: Zheng
  title: Energy Profiles of Java Collections Classes
  authors: Samir Hasan, Zachary King, Munawar Hafiz, Mohammed Sayagh, Bram Adams, Abram Hindle
  venue: ICSE
  year: 2016
  url: http://softwareprocess.es/pubs/hasan2016ICSE-Energy-Profiles-of-Java-Collections-Classes.pdf
  tag: State of the art

- date: 2018-07-17
  speaker: Florent
  title: Generalized Data Structure Synthesis
  authors: Calvin Loncaric, Michael D. Ernst, Emina Torlak
  venue: ICSE
  year: 2018
  url: https://cozy.uwplse.org/cozy2.pdf
  tag: State of the art

- date: 2018-07-10
  speaker: Massimo
  title: Time, Clocks, and the Ordering of Events in a Distributed System
  authors: Leslie Lamport
  venue: CACM
  year: 1978
  url: https://citemaster.net/get/10b50274-7bc5-11e5-8aa1-00163e009cc7/p558-lamport.pdf
  tag: Classic

speakers:
  - name: Gerson
    picture: gerson.jpg

  - name: Erwan
    picture: erwan.jpg

  - name: Hugo
    picture: hugo.jpg

  - name: Jean-Marie
    picture: jmm.jpg

  - name: Massimo
    picture: massimo.jpg

  - name: Imad
    picture: imad.jpg

  - name: Thibault
    picture: thibault.jpg

  - name: Zheng
    picture: cheng.jpg

  - name: Florent
    picture: fmdkdd.jpg

  - name: Joachim
    picture: joachim.jpg

  - name: Dalila
    picture: dalila.jpg

  - name: TBD
    picture: none.png

---

<style>
  .papers {
    list-style: none;
    padding-top: 2rem;
  }

  .papers li {
    margin-bottom: 3rem;
    display: flex;
  }

  .authors {
    color: #666;
    font-family: serif;
    margin: 0 0 .4rem 0;
  }

  .venue {
    color: #666;
    font-family: serif;
    font-style: italic;
    margin: 0 0 .4rem 0;
  }

  .tag {
    color: #444;
    background-color: #eee;
    border-radius: 5px;
    font-size: 13px;
    padding: .1rem .3rem;
    margin-right: .5rem;
  }

  .bib-info {
    flex: 1;
  }

  .free-slot {
    font-style: italic;
  }

  .speaker {
    margin-left: 1rem;
  }

  .speaker img {
    width: 4rem;
    height: 4rem;
    display: block;
    margin-left: auto;
    border-radius: 100%;
    box-shadow: 1px 1px 2px #888;
  }

  .speaker time {
    font-size: 14px;
    color: #666;
    white-space: nowrap;
  }

  .next time { color: #e6a }
  .next .speaker img { box-shadow: 1px 1px 4px #e6a }
  .next {
    animation: flash 1s;
  }
  @keyframes flash {
    from { background-color: inherit }
    50%  { background-color: #e6a }
    to   { background-color: inherit }
  }
  .upcoming { opacity: 0.5 }

</style>

<p>We read on Tuesdays at 13:30.</p>

<p>Here is the list of all the papers we read so far.</p>

<ul class="papers">
  {% for paper in page.papers %}
    <li>
      <div class="bib-info">
        {% if paper.speaker == 'TBD' %}
        <h4 class="free-slot">This slot is free.  Maybe you could take it?</h4>
        {% else %}
        <h4><a href="{{ paper.url }}">{{ paper.title }}</a></h4>
        <p class="authors">{{ paper.authors }}</p>
        <p class="venue">{{ paper.venue }} {{ paper.year }}</p>
        {% endif %}
      </div>
      <div class="speaker">
        {% assign the_speaker = page.speakers | where:"name",paper.speaker | first %}
        <img src="img/members/{{ the_speaker.picture }}">
        <time datetime="{{ paper.date }}">{{ paper.date | date_to_long_string }}</time>
      </div>
    </li>
  {% endfor %}
</ul>

<script>
  // Return the papers that haven't been presented until now
  function upcoming(now) {
    const times = document.querySelectorAll('time')
    return [].filter.call(times, t => {
      const then = new Date(t.getAttribute('datetime'))
      // Since the <time> doesn't contain the hour, set it here
      then.setHours(14)
      return then > now
    }).map(t => t.closest('li'))
  }

  function highlightUpcoming() {
    const up = upcoming(new Date())
    const next = up.pop()
    next.classList.add('next')
    ;[].map.call(up, p => p.classList.add('upcoming'))
  }

  highlightUpcoming()
</script>