Opentocs

FSE 2016- Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering

FSE 2016- Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering

Full Citation in the ACM Digital Library

SESSION: Keynotes

"Womenomics" and gender-inclusive software: what software engineers need to know (invited talk)

  • Margaret Burnett

Building a socio-technical theory of coordination: why and how (outstanding research award)

  • James Herbsleb

Correct or usable? the limits of traditional verification (impact paper award)

  • Daniel Jackson
  • Mandana Vaziri

SESSION: Showcases

Continuous deployment of mobile software at facebook (showcase)

  • Chuck Rossi
  • Elisa Shibley
  • Shi Su
  • Kent Beck
  • Tony Savor
  • Michael Stumm

Model, execute, and deploy: answering the hard questions in end-user programming (showcase)

  • Shan Shan Huang

Making invisible things visible: tracking down known vulnerabilities at 3000 companies (showcase)

  • Gazi Mahmud

Developer workflow at google (showcase)

  • Caitlin Sadowski

SESSION: Research Papers

Titanium: efficient analysis of evolving alloy specifications

  • Hamid Bagheri
  • Sam Malek

Mining performance specifications

  • Marc Brünink
  • David S. Rosenblum

Designing minimal effective normative systems with the help of lightweight formal methods

  • Jianye Hao
  • Eunsuk Kang
  • Jun Sun
  • Daniel Jackson

Proteus: computing disjunctive loop summary via path dependency analysis

  • Xiaofei Xie
  • Bihuan Chen
  • Yang Liu
  • Wei Le
  • Xiaohong Li

A cross-tool communication study on program analysis tool notifications

  • Brittany Johnson
  • Rahul Pandita
  • Justin Smith
  • Denae Ford
  • Sarah Elder
  • Emerson Murphy-Hill
  • Sarah Heckman
  • Caitlin Sadowski

Factors influencing code review processes in industry

  • Tobias Baum
  • Olga Liskin
  • Kai Niklas
  • Kurt Schneider

Foraging and navigations, fundamentally: developers' predictions of value and cost

  • David Piorkowski
  • Austin Z. Henley
  • Tahmid Nabi
  • Scott D. Fleming
  • Christopher Scaffidi
  • Margaret Burnett

How to break an API: cost negotiation and community values in three software ecosystems

  • Christopher Bogart
  • Christian Kästner
  • James Herbsleb
  • Ferdian Thung

Python predictive analysis for bug detection

  • Zhaogui Xu
  • Peng Liu
  • Xiangyu Zhang
  • Baowen Xu

Crash consistency validation made easy

  • Yanyan Jiang
  • Haicheng Chen
  • Feng Qin
  • Chang Xu
  • Xiaoxing Ma
  • Jian Lu

Discovering bug patterns in JavaScript

  • Quinn Hanam
  • Fernando S. de M. Brito
  • Ali Mesbah

Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models

  • Yibiao Yang
  • Yuming Zhou
  • Jinping Liu
  • Yangyang Zhao
  • Hongmin Lu
  • Lei Xu
  • Baowen Xu
  • Hareton Leung

Detecting sensitive data disclosure via bi-directional text correlation analysis

  • Jianjun Huang
  • Xiangyu Zhang
  • Lin Tan

Multi-representational security analysis

  • Eunsuk Kang
  • Aleksandar Milicevic
  • Daniel Jackson

String analysis for side channels with segmented oracles

  • Lucas Bang
  • Abdulbaki Aydin
  • Quoc-Sang Phan
  • Corina S. Păsăreanu
  • Tevfik Bultan

WebRanz: web page randomization for better advertisement delivery and web-bot prevention

  • Weihang Wang
  • Yunhui Zheng
  • Xinyu Xing
  • Yonghwi Kwon
  • Xiangyu Zhang
  • Patrick Eugster

A discrete-time feedback controller for containerized cloud applications

  • Luciano Baresi
  • Sam Guinea
  • Alberto Leva
  • Giovanni Quattrocchi

Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems

  • Stepan Shevtsov
  • Danny Weyns

Automated change impact analysis between SysML models of requirements and design

  • Shiva Nejati
  • Mehrdad Sabetzadeh
  • Chetan Arora
  • Lionel C. Briand
  • Felix Mandoux

Parameter-free probabilistic API mining across GitHub

  • Jaroslav Fowkes
  • Charles Sutton

API deprecation: a retrospective analysis and detection method for code examples on the web

  • Jing Zhou
  • Robert J. Walker

When should internal interfaces be promoted to public?

  • André Hora
  • Marco Tulio Valente
  • Romain Robbes
  • Nicolas Anquetil

POLLUX: safely upgrading dependent application libraries

  • Sukrit Kalra
  • Ayush Goel
  • Dhriti Khanna
  • Mohan Dhawan
  • Subodh Sharma
  • Rahul Purandare

Extracting instruction semantics via symbolic execution of code generators

  • Niranjan Hasabnis
  • R. Sekar

Efficient generation of inductive validity cores for safety properties

  • Elaheh Ghassabani
  • Andrew Gacek
  • Michael W. Whalen

Correctness witnesses: exchanging verification results between verifiers

  • Dirk Beyer
  • Matthias Dangl
  • Daniel Dietsch
  • Matthias Heizmann

SMT-based verification of parameterized systems

  • Arie Gurfinkel
  • Sharon Shoham
  • Yuri Meshman

On-the-fly decomposition of specifications in software model checking

  • Sven Apel
  • Dirk Beyer
  • Vitaly Mordan
  • Vadim Mutilin
  • Andreas Stahlbauer

On well-separation of GR(1) specifications

  • Shahar Maoz
  • Jan Oliver Ringert

Lightweight specification and analysis of dynamic systems with rich configurations

  • Nuno Macedo
  • Julien Brunel
  • David Chemouil
  • Alcino Cunha
  • Denis Kuperberg

Gray links in the use of requirements traceability

  • Nan Niu
  • Wentao Wang
  • Arushi Gupta

Understanding and detecting wake lock misuses for Android applications

  • Yepang Liu
  • Chang Xu
  • Shing-Chi Cheung
  • Valerio Terragni

DiagDroid: Android performance diagnosis via anatomizing asynchronous executions

  • Yu Kang
  • Yangfan Zhou
  • Hui Xu
  • Michael R. Lyu

Minimizing GUI event traces

  • Lazaro Clapp
  • Osbert Bastani
  • Saswat Anand
  • Alex Aiken

Causal impact analysis for app releases in google play

  • William Martin
  • Federica Sarro
  • Mark Harman

Static DOM event dependency analysis for testing web applications

  • Chungha Sung
  • Markus Kusano
  • Nishant Sinha
  • Chao Wang

On-demand strong update analysis via value-flow refinement

  • Yulei Sui
  • Jingling Xue

Call graph construction for Java libraries

  • Michael Reif
  • Michael Eichberg
  • Ben Hermann
  • Johannes Lerch
  • Mira Mezini

Revamping JavaScript static analysis via localization and remediation of root causes of imprecision

  • Shiyi Wei
  • Omer Tripp
  • Barbara G. Ryder
  • Julian Dolby

What would users change in my app? summarizing app reviews for recommending software changes

  • Andrea Di Sorbo
  • Sebastiano Panichella
  • Carol V. Alexandru
  • Junji Shimagaki
  • Corrado A. Visaggio
  • Gerardo Canfora
  • Harald C. Gall

API code recommendation using statistical learning from fine-grained changes

  • Anh Tuan Nguyen
  • Michael Hilton
  • Mihai Codoban
  • Hoan Anh Nguyen
  • Lily Mast
  • Eli Rademacher
  • Tien N. Nguyen
  • Danny Dig

TIPMerge: recommending experts for integrating changes across branches

  • Catarina Costa
  • Jair Figueiredo
  • Leonardo Murta
  • Anita Sarma

Interactive and guided architectural refactoring with search-based recommendation

  • Yun Lin
  • Xin Peng
  • Yuanfang Cai
  • Danny Dig
  • Diwen Zheng
  • Wenyun Zhao

Can testedness be effectively measured?

  • Iftekhar Ahmed
  • Rahul Gopinath
  • Caius Brindescu
  • Alex Groce
  • Carlos Jensen

A large-scale empirical comparison of static and dynamic test case prioritization techniques

  • Qi Luo
  • Kevin Moran
  • Denys Poshyvanyk

Analyzing the validity of selective mutation with dominator mutants

  • Bob Kurtz
  • Paul Ammann
  • Jeff Offutt
  • Márcio E. Delamaro
  • Mariet Kurtz
  • Nida Gökçe

An extensive study of static regression test selection in modern software evolution

  • Owolabi Legunsen
  • Farah Hariri
  • August Shi
  • Yafeng Lu
  • Lingming Zhang
  • Darko Marinov

PerfGuard: binary-centric application performance monitoring in production environments

  • Chung Hwan Kim
  • Junghwan Rhee
  • Kyu Hyung Lee
  • Xiangyu Zhang
  • Dongyan Xu

Python probabilistic type inference with natural language support

  • Zhaogui Xu
  • Xiangyu Zhang
  • Lin Chen
  • Kexin Pei
  • Baowen Xu

Detecting and fixing precision-specific operations for measuring floating-point errors

  • Ran Wang
  • Daming Zou
  • Xinrui He
  • Yingfei Xiong
  • Lu Zhang
  • Gang Huang

Deep API learning

  • Xiaodong Gu
  • Hongyu Zhang
  • Dongmei Zhang
  • Sunghun Kim

Build system with lazy retrieval for Java projects

  • Ahmet Celik
  • Alex Knaust
  • Aleksandar Milicevic
  • Milos Gligoric

iGen: dynamic interaction inference for configurable software

  • ThanhVu Nguyen
  • Ugur Koc
  • Javran Cheng
  • Jeffrey S. Foster
  • Adam A. Porter

CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applications

  • Tse-Hsun Chen
  • Weiyi Shang
  • Ahmed E. Hassan
  • Mohamed Nasser
  • Parminder Flora

BinGo: cross-architecture cross-OS binary search

  • Mahinthan Chandramohan
  • Yinxing Xue
  • Zhengzi Xu
  • Yang Liu
  • Chia Yuan Cho
  • Hee Beng Kuan Tan

Relationship-aware code search for JavaScript frameworks

  • Xuan Li
  • Zerui Wang
  • Qianxiang Wang
  • Shoumeng Yan
  • Tao Xie
  • Hong Mei

Code relatives: detecting similarly behaving software

  • Fang-Hsiang Su
  • Jonathan Bell
  • Kenneth Harvey
  • Simha Sethumadhavan
  • Gail Kaiser
  • Tony Jebara

Understanding and generating high quality patches for concurrency bugs

  • Haopeng Liu
  • Yuxi Chen
  • Shan Lu

Anti-patterns in search-based program repair

  • Shin Hwei Tan
  • Hiroaki Yoshida
  • Mukul R. Prasad
  • Abhik Roychoudhury

Semi-supervised verified feedback generation

  • Shalini Kaleeswaran
  • Anirudh Santhiar
  • Aditya Kanade
  • Sumit Gulwani

WATERFALL: an incremental approach for repairing record-replay tests of web applications

  • Mouna Hammoudi
  • Gregg Rothermel
  • Andrea Stocco

Efficiency of projectional editing: a controlled experiment

  • Thorsten Berger
  • Markus Völter
  • Hans Peter Jensen
  • Taweesap Dangprasert
  • Janet Siegmund

ECHO: instantaneous in situ race detection in the IDE

  • Sheng Zhan
  • Jeff Huang

Detecting table clones and smells in spreadsheets

  • Wensheng Dou
  • Shing-Chi Cheung
  • Chushu Gao
  • Chang Xu
  • Liang Xu
  • Jun Wei

Flow-sensitive composition of thread-modular abstract interpretation

  • Markus Kusano
  • Chao Wang

A deployable sampling strategy for data race detection

  • Yan Cai
  • Jian Zhang
  • Lingwei Cao
  • Jian Liu

Online shared memory dependence reduction via bisectional coordination

  • Yanyan Jiang
  • Chang Xu
  • Du Li
  • Xiaoxing Ma
  • Jian Lu

Parallel data race detection for task parallel programs with locks

  • Adarsh Yoga
  • Santosh Nagarakatte
  • Aarti Gupta

Paradise unplugged: identifying barriers for female participation on stack overflow

  • Denae Ford
  • Justin Smith
  • Philip J. Guo
  • Chris Parnin

Why we refactor? confessions of GitHub contributors

  • Danilo Silva
  • Nikolaos Tsantalis
  • Marco Tulio Valente

Effectiveness of code contribution: from patch-based to pull-request-based tools

  • Jiaxin Zhu
  • Minghui Zhou
  • Audris Mockus

Isomorphic regression testing: executing uncovered branches without test augmentation

  • Jie Zhang
  • Yiling Lou
  • Lingming Zhang
  • Dan Hao
  • Lu Zhang
  • Hong Mei

Directed test generation to detect loop inefficiencies

  • Monika Dhok
  • Murali Krishna Ramanathan

Field-exhaustive testing

  • Pablo Ponzio
  • Nazareno Aguirre
  • Marcelo F. Frias
  • Willem Visser

SESSION: Visions and Reflections

Sustainable software design

  • Martin P. Robillard

Designing for dystopia: software engineering research for the post-apocalypse

  • Titus Barik
  • Rahul Pandita
  • Justin Middleton
  • Emerson Murphy-Hill

Disrupting developer productivity one bot at a time

  • Margaret-Anne Storey
  • Alexey Zagalsky

Training the future workforce through task curation in an OSS ecosystem

  • Anita Sarma
  • Marco Aurélio Gerosa
  • Igor Steinmacher
  • Rafael Leano

Reaching the masses: a new subdiscipline of app programmer education

  • Charles Weir
  • Awais Rashid
  • James Noble

Studying developer gaze to empower software engineering research and practice

  • Bonita Sharif
  • Benjamin Clark
  • Jonathan I. Maletic

DeepSoft: a vision for a deep model of software

  • Hoa Khanh Dam
  • Truyen Tran
  • John Grundy
  • Aditya Ghose

Budgeted testing through an algorithmic lens

  • Myra B. Cohen
  • A. Pavan
  • N. V. Vinodchandran

Reasoning with imprecise privacy preferences

  • Inah Omoronyia

SESSION: Industrial Papers

Bing developer assistant: improving developer productivity by recommending sample code

  • Hongyu Zhang
  • Anuj Jain
  • Gaurav Khandelwal
  • Chandrashekhar Kaushik
  • Scott Ge
  • Wenxiang Hu

Cluster-based test suite functional analysis

  • Marcel Zalmanovici
  • Orna Raz
  • Rachel Tzoref-Brill

A portable interface for runtime energy monitoring

  • Connor Imes
  • Lars Bergstrom
  • Henry Hoffmann

Learning for test prioritization: an industrial case study

  • Benjamin Busjaeger
  • Tao Xie

Combinatorial generation of structurally complex test inputs for commercial software applications

  • Hua Zhong
  • Lingming Zhang
  • Sarfraz Khurshid

Automated test input generation for Android: are we really there yet in an industrial case?

  • Xia Zeng
  • Dengfeng Li
  • Wujie Zheng
  • Fan Xia
  • Yuetang Deng
  • Wing Lam
  • Wei Yang
  • Tao Xie

SESSION: Tool Demonstrations

NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications

  • Alex Gyori
  • Ben Lambeth
  • August Shi
  • Owolabi Legunsen
  • Darko Marinov

TIPMerge: recommending developers for merging branches

  • Catarina Costa
  • Jair Figueiredo
  • Anita Sarma
  • Leonardo Murta

Time-travel debugging for JavaScript/Node.js

  • Earl T. Barr
  • Mark Marron
  • Ed Maurer
  • Dan Moseley
  • Gaurav Seth

PUMConf: a tool to configure product specific use case and domain models in a product line

  • Ines Hajri
  • Arda Goknil
  • Lionel C. Briand
  • Thierry Stephany

T2API: synthesizing API code usage templates from English texts with statistical translation

  • Thanh Nguyen
  • Peter C. Rigby
  • Anh Tuan Nguyen
  • Mark Karanfil
  • Tien N. Nguyen

JBSE: a symbolic executor for Java programs with complex heap inputs

  • Pietro Braione
  • Giovanni Denaro
  • Mauro Pezzè

ARdoc: app reviews development oriented classifier

  • Sebastiano Panichella
  • Andrea Di Sorbo
  • Emitza Guzman
  • Corrado A. Visaggio
  • Gerardo Canfora
  • Harald C. Gall

Hunter: next-generation code reuse for Java

  • Yuepeng Wang
  • Yu Feng
  • Ruben Martins
  • Arati Kaushik
  • Isil Dillig
  • Steven P. Reiss

BigDebug: interactive debugger for big data analytics in Apache Spark

  • Muhammad Ali Gulzar
  • Matteo Interlandi
  • Tyson Condie
  • Miryung Kim

Visualizing code and coverage changes for code review

  • Sebastiaan Oosterwaal
  • Arie van Deursen
  • Roberta Coelho
  • Anand Ashok Sawant
  • Alberto Bacchelli

End-to-end memory behavior profiling with DINAMITE

  • Svetozar Miucin
  • Conor Brady
  • Alexandra Fedorova

Validate your SPDX files for open source license violations

  • Demetris Paschalides
  • Georgia M. Kapitsaki

FSX: a tool for fine-grained incremental unit test generation for C/C++ programs

  • Hiroaki Yoshida
  • Susumu Tokumoto
  • Mukul R. Prasad
  • Indradeep Ghosh
  • Tadahiro Uehara

SESSION: Doctoral Symposium

Refactoring and migration of cascading style sheets: towards optimization and improved maintainability

  • Davood Mazinanian

Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees

  • Stepan Shevtsov

Automating repetitive code changes using examples

  • Reudismam Rolim

Understanding and improving continuous integration

  • Michael Hilton

Guided code synthesis using deep neural networks

  • Carol V. Alexandru

Generating interactive web pages from storyboards

  • Pavel Panchekha

Data structure synthesis

  • Calvin Loncaric

Understanding behavioural patterns in JavaScript

  • Saba Alimadadi

Regression testing of web applications using Record/Replay tools

  • Mouna Hammoudi

Supporting change in product lines within the context of use case-driven development and testing

  • Ines Hajri

Input-sensitive performance testing

  • Qi Luo

On the utility of dominator mutants for mutation testing

  • Bob Kurtz

SESSION: Graduate Submissions

Effective assignment and assistance to software developers and reviewers

  • Motahareh Bahrami Zanjani

RABIEF: range analysis based integer error fixing

  • Xi Cheng

Fine-grained binary code authorship identification

  • Xiaozhu Meng

Identifying participants for collaborative merge

  • Catarina Costa

Cozy: synthesizing collection data structures

  • Calvin Loncaric

Constraint-based event trace reduction

  • Jie Wang

Automatic trigger generation for end user written rules for home automation

  • Chandrakana Nandi

Hotspot symbolic execution of floating-point programs

  • Minghui Quan

Evaluation of fault localization techniques

  • Spencer Pearson

How should static analysis tools explain anomalies to developers?

  • Titus Barik

Repairing test dependence

  • Wing Lam

Combining bug detection and test case generation

  • Martin Kellogg

SmartDebug: an interactive debug assistant for Java

  • Xinrui Guo

Static loop analysis and its applications

  • Xie Xiaofei

Social health cues developers use when choosing open source packages

  • Andrew Head

Finding and breaking test dependencies to speed up test execution

  • Sebastian Kappler

Automatic performance testing using input-sensitive profiling

  • Qi Luo

SESSION: Undergraduate Submissions

Enforcing correct array indexes with a type system

  • Joseph Santino

Discovering additional violations of Java API invariants

  • Waylon Huang

Preventing signedness errors in numerical computations in Java

  • Christopher A. Mackie

Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling

  • Felipe R. Monteiro

Atlas: an intelligent, performant framework for web-based grid computing

  • Sachith Gullapalli

Continue reading

FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs

FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs

Full Citation in the ACM Digital Library

SESSION: Papers

Source code patches from dynamic analysis

  • Indigo Orton
  • Alan Mycroft

Dynamic analysis can identify improvements to programs that cannot feasibly be identified by static analysis; concurrency improvements are a motivating example. However, mapping these dynamic-analysis-based improvements back to patch-like source-code changes is non-trivial. We describe a system, Scopda, for generating source-code patches for improvements identified by execution-trace-based dynamic analysis. Scopda uses a graph-based static program representation (abstract program graph, APG), containing inter-procedural control flow and local data flow information, to analyse and transform static source-code. We demonstrate Scopda's ability to generate sensible source code patches for Java programs, though it is fundamentally language agnostic.

Continue reading

GAS '16- Proceedings of the 5th International Workshop on Games and Software Engineering

GAS '16- Proceedings of the 5th International Workshop on Games and Software Engineering

Full Citation in the ACM Digital Library

SESSION: Game software engineering - design topics

Blending immersive gameplay with intense exercise using asynchronous exergaming

  • Jak Tan
  • Rahul Kumar
  • Paul Ralph

Modeling human behavior for software engineering simulation games

  • Alexander Nassal
  • Matthias Tichy

Learning game design and software engineering through a game prototyping experience: a case study

  • Mark Yampolsky
  • Walt Scacchi

SESSION: The "real" world

Are the old days gone?: a survey on actual software engineering processes in video game industry

  • Cristiano Politowski
  • Lisandra Fontoura
  • Fabio Petrillo
  • Yann-Gaël Guéhéneuc

SESSION: Serious games for software engineering

Serious games for NP-hard problems: challenges and insights

  • Christina Chung
  • Asako Matsuoka
  • Yueti Yang
  • Julia Rubin
  • Marsha Chechik

Robot on!: a serious game for improving programming comprehension

  • Michael A. Miljanovic
  • Jeremy S. Bradbury

From video games to debugging code

  • Sean Deitz
  • Ugo Buy

A gamification approach for distributed agile delivery

  • Vibhu Saujanya Sharma
  • Vikrant Kaulgud
  • P. Duraisamy

Continue reading

GE '18- Proceedings of the 1st International Workshop on Gender Equality in Software Engineering

GE '18- Proceedings of the 1st International Workshop on Gender Equality in Software Engineering

Full Citation in the ACM Digital Library

SESSION: Gender diversity

Computer science identity and sense of belonging: a case study in Ireland

  • Catherine Mooney
  • Brett A. Becker
  • Lana Salmon
  • Eleni Mangina

The study1 described in this paper investigates the role that gender plays in making the decision to study Computer Science in University College Dublin in Ireland (background influences) and investigates whether there is a difference in the perceived sense of belonging between the genders. The aim is to improve diversity and sense of belonging amongst Computer Science students, in order to ensure that our school is an inclusive space, where anyone can feel a sense of belonging regardless their gender.

Continue reading

GI '18- Proceedings of the 4th International Workshop on Genetic Improvement Workshop

GI '18- Proceedings of the 4th International Workshop on Genetic Improvement Workshop

Full Citation in the ACM Digital Library

Neutrality and epistasis in program space

  • Joseph Renzullo
  • Westley Weimer
  • Melanie Moses
  • Stephanie Forrest

Neutral networks in biology often contain diverse solutions with equal fitness, which can be useful when environments (requirements) change over time. In this paper, we present a method for studying neutral networks in software. In these networks, we find multiple solutions to held-out test cases (latent bugs), suggesting that neutral software networks also exhibit relevant diversity. We also observe instances of positive epistasis between random mutations, i.e. interactions that collectively increase fitness. Positive epistasis is rare as a fraction of the total search space but significant as a fraction of the objective space: 9% of the repairs we found to look (and 4.63% across all programs analyzed) were produced by positive interactions between mutations. Further, the majority (62.50%) of unique repairs are instances of positive epistasis.

Continue reading

GREENS 2014- Proceedings of the 3rd International Workshop on Green and Sustainable Software

GREENS 2014- Proceedings of the 3rd International Workshop on Green and Sustainable Software

Full Citation in the ACM Digital Library

SESSION: Developing Sustainability Frameworks

Developing a sustainability non-functional requirements framework

  • Ankita Raturi
  • Birgit Penzenstadler
  • Bill Tomlinson
  • Debra Richardson

SESSION: Characterizing Energy-Aware Software

Towards software-adaptive green computing based on server power consumption

  • Andreas Bergen
  • Ronald Desmarais
  • Sudhakar Ganti
  • Ulrike Stege

Towards green power electronics: software controllers and domain knowledge

  • Krzysztof Sierszecki
  • Michaela Steffens
  • Thomas Fogdal
  • Juha Savolainen
  • Tommi Mikkonen

Energy aspects: modularizing energy-aware applications

  • Somayeh Malakuti
  • Claas Wilke

SESSION: Understanding Energy Consumption on Mobile Platforms

Can execution time describe accurately the energy consumption of mobile apps? an experiment in Android

  • Luis Corral
  • Anton B. Georgiev
  • Alberto Sillitti
  • Giancarlo Succi

Green mining: energy consumption of advertisement blocking methods

  • Kent Rasmussen
  • Alex Wilson
  • Abram Hindle

An investigation into energy-saving programming practices for Android smartphone app development

  • Ding Li
  • William G. J. Halfond

Continue reading

GREENS '16- Proceedings of the 5th International Workshop on Green and Sustainable Software

GREENS '16- Proceedings of the 5th International Workshop on Green and Sustainable Software

Full Citation in the ACM Digital Library

Lightweight measurement and estimation of mobile ad energy consumption

  • Jiaping Gui
  • Ding Li
  • Mian Wan
  • William G. J. Halfond

Adaptive virtual machine migration mechanism for energy efficiency

  • S. Sohrabi
  • A. Tang
  • I. Moser
  • A. Aleti

The influence of the Java collection framework on overall energy consumption

  • Rui Pereira
  • Marco Couto
  • João Saraiva
  • Jácome Cunha
  • João Paulo Fernandes

Continue reading

GREENS '18- Proceedings of the 6th International Workshop on Green and Sustainable Software

GREENS '18- Proceedings of the 6th International Workshop on Green and Sustainable Software

Full Citation in the ACM Digital Library

Creating and evaluating a software power model for linux single board computers

  • Luca Ardito
  • Marco Torchiano

The number of Single Board Computers (SBCs) is increasing, and so is the cumulative energy consumed by this category of device. Moreover, such devices are often always-on or running on batteries. Therefore, it is worth investigating their energy consumption to provide software developers and users with indicators for understanding how much energy the device is consuming while running a software application. In this paper, we explain a procedure for the creation of an energy consumption model of SBCs based on the usage of its components. We apply the procedure on a Raspberry PI 2 model B to test the model with a set of real applications. The results demonstrate the practical feasibility of the approach and show that estimated consumption values on our device have an average error of 2.2%, which is a good approximation without using external and expensive measuring devices.

Continue reading

GTSE 2014- Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering

Continue reading

ICGSE '18- Proceedings of the 13th Conference on Global Software Engineering

ICGSE '18- Proceedings of the 13th Conference on Global Software Engineering

Full Citation in the ACM Digital Library

SESSION: Scaled and distributed agile

Transitioning from plan-driven to lean in a global software engineering organization: a practice-centric view

  • Roopa M. S.
  • Ratnanabh Kumar
  • V. S. Mani

We share the experience of a globally distributed software development organization in transitioning from a plan-driven approach to a lean methodology with a focus on role-specific practices. We outline how the new practices supported effective working in a global setup by strengthening trust, increasing communication, fostering openness, and encouraging faster decisions.

Continue reading