We read on Tuesdays at 13:30.

Here is the list of all the papers we read so far.

• Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language

  Michal Moskal, Tom Ball, Peli de Halleux

  Managed Programming Languages and Runtimes 2019

  17 September 2019

• Rotten green tests

  Julien Delplanque, Stéphane Ducasse, Guillermo Polito, Andrew P. Black, Anne Etien

  ICSE 2019

  02 September 2019

• Decoupling Algorithms from Schedule for Easy Optimization of Image Processing Pipelines

  Jonathan Ragan-Kelley, Andrew Adams, Sylvain Paris, Marc Levoy, Saman Amarasinghe, Frédo Durand

  Transactions on Graphics 2012

  09 April 2019

• Collaborative Verification-Driven Engineering of Hybrid Systems

  Stefan Mitsch, Grant Olney Passmore and André Platzer

  Mathematics in Computer Science 2014

  02 April 2019

• Mining questions about software energy consumption

  Gustavo Pinto, Fernando Castor, Yu David Liu

  MSR 2014

  05 March 2019

• On the use of models for high-performance scientific computing applications: an experience report

  Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato

  SoSym 2018

  26 February 2019

• Madeus: A Formal Deployment Model

  Maverick Chardet, Hélène Coullon, Dimitri Pertin, Christian Pérez

  HPCS 2018

  12 February 2019

• Achievements and challenges in software reverse engineering

  Gerardo Canfora, Massimiliano Di Penta, Luigi Cerulo

  CACM 2011

  05 February 2019

• Why Don't People Use Formal Methods?

  Hillel Wayne

  Blog 2019

  29 January 2019

• Industry 4.0: A survey on technologies, applications and open research issues

  Yang Lu

  Journal of Industrial Information Integration 2017

  08 January 2019

• Efficient lineage tracking for scientific workflows

  Thomas Heinis, Gustavo Alonso

  SIGMOD 2008

  13 December 2018

• Meaningful Modeling: What's the Semantics of "Semantics"?

  David Harel, Bernhard Rumpe

  IEEE Computer 2004

  20 November 2018

• DeepMutation: Mutation Testing of Deep Learning Systems

  Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang

  ISSRE 2018

  06 November 2018

• Deep Specifications and Certified Abstraction Layers

  Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo

  POPL 2015

  30 October 2018

• A Large-Scale Study of Test Coverage Evolution

  Michael Hilton, Jonathan Bell, Darko Marinov

  ASE 2018

  16 October 2018

• Chaos Engineering

  Ali Basiri, Niosha Behnam, Ruud de Rooij, Lorin Hochstein, Luke Kosewski, Justin Reynolds, Casey Rosenthal

  IEEE Software 2016

  08 October 2018

• Quality of service profiling

  Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard

  ICSE 2010

  01 October 2018

• Evaluating the Effectiveness of Model-Based Power Characterization

  John C. McCullough, Yuvraj Agarwal, Jaideep Chandrashekar, Sathyanarayan Kuppuswamy, Alex C. Snoeren, Rajesh K. Gupta

  USENIX 2011

  24 September 2018

• Verifying That Web Pages Have Accessible Layout

  Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

  PLDI 2017

  11 September 2018

• Empirical Assessment of MDE in Industry

  John Edward Hutchinson, Jon Whittle, Mark Rouncefield, Steinar Kristoffersen

  ICSE 2011

  04 September 2018

• Hybrid Regression Test Selection

  Lingming Zhang

  ICSE 2018

  28 August 2018

• Propositions as Types

  Philip Wadler

  CACM 2015

  07 August 2018

• Verdi: A Framework for Implementing and Formally Verifying Distributed Systems

  James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson

  PLDI 2015

  31 July 2018

• Energy Profiles of Java Collections Classes

  Samir Hasan, Zachary King, Munawar Hafiz, Mohammed Sayagh, Bram Adams, Abram Hindle

  ICSE 2016

  24 July 2018

• Generalized Data Structure Synthesis

  Calvin Loncaric, Michael D. Ernst, Emina Torlak

  ICSE 2018

  17 July 2018

• Time, Clocks, and the Ordering of Events in a Distributed System

  Leslie Lamport

  CACM 1978

  10 July 2018