output
20082026
most citedProving Differential Privacy via Probabilistic Couplings

98 citations

researchers with a paper here
collaborating institutions
Showing cs.SEShow all

5 papers · 1 filter

cs.SE2022★ 58 cited

A Decade of Code Comment Quality Assessment: A Systematic Literature Review

Pooja Rani, Arianna Blasi, Nataliia Stulova +3

Code comments are important artifacts in software systems and play a paramount role in many software engineering (SE) tasks related to maintenance and program comprehension. Howeve…

cs.SE2021★ 12 cited

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting

Matías Brizzio, Maxime Cordy, Mike Papadakis +3

The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours.…

cs.SE2020★ 3 cited

Multilevel Typed Graph Transformations

Uwe Wolter, Fernando Macías, Adrian Rutle

Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel t…

cs.SE2019

Detecting and Diagnosing Energy Issues for Mobile Applications

Xueliang Li, Yuming Yang, Yepang liu +2

Energy efficiency is an important criterion to judge the quality of mobile apps, but one third of our randomly sampled apps suffer from energy issues that can quickly drain battery…

cs.SE2016★ 5 cited

A Source-level Energy Optimization Framework for Mobile Applications

Xueliang Li, John P. Gallagher

Energy efficiency can have a significant influence on user experience of mobile devices such as smartphones and tablets. Although energy is consumed by hardware, software optimizat…