Author of the publication

Trimmer: An Automated System for Configuration-Based Software Debloating.

, , , , , , , , and . IEEE Trans. Software Eng., 48 (9): 3485-3505 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On intermittence bugs in the battery-less internet of things (WIP paper)., , , and . LCTES, page 203-207. ACM, (2019)Effective State Encoding for Breadth-First Generation of Complex Structures., , and . IEEE Trans. Reliability, 68 (3): 1154-1167 (2019)Intermittent Computing with Dynamic Voltage and Frequency Scaling., , , , and . EWSN, page 97-107. ACM, (2020)Discovering the Hidden Anomalies of Intermittent Computing., , , and . EWSN, page 1-12. ACM, (2021)Incremental symbolic execution for automated test suite maintenance., , and . ASE, page 271-276. ACM, (2014)Experience Report: Verifying MPI Java Programs Using Software Model Checking., , and . ISSRE, page 294-304. IEEE Computer Society, (2017)Trimmer: An Automated System for Configuration-Based Software Debloating., , , , , , , , and . IEEE Trans. Software Eng., 48 (9): 3485-3505 (2022)Cross Platform Bug Correlation Using Stack Traces., and . FIT, page 199-204. IEEE Computer Society, (2016)The betrayal of constant power × time: finding the missing Joules of transiently-powered computers., , , , , and . LCTES, page 97-109. ACM, (2019)Verification of MPI Java programs using software model checking., , and . PPoPP, page 55:1-55:2. ACM, (2016)