Category Archives: Uncategorized

bib: Gamifying Static Analysis

@inproceedings{fsenier2018gsa,
  author = {Lisa Nguyen Quang Do and Eric Bodden},
  title = {Gamifying Static Analysis}
  year = 2018,
  booktitle = {Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), New Ideas and Emerging Results Track}
}

bib: VisuFlow, a Debugging Environment for Static Analyses

@inproceedings{icse2018visuflow,
 author = {Nguyen Quang Do Lisa and Kr\"{u}ger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
 title = {VISUFLOW: A Debugging Environment for Static Analyses},
 booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings},
 series = {ICSE '18},
 year = {2018},
 isbn = {978-1-4503-5663-3},
 location = {Gothenburg, Sweden},
 pages = {89--92},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/3183440.3183470},
 doi = {10.1145/3183440.3183470},
 acmid = {3183470},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {IDE, debugging, empirical software engineering, static analysis, survey, user study}
} 

bib: Toward an Automated Benchmark Management System

@inproceedings{abm,
 author = {Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric},
 title = {Toward an Automated Benchmark Management System},
 booktitle = {Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
 series = {SOAP 2016},
 year = {2016},
 isbn = {978-1-4503-4385-5},
 location = {Santa Barbara, CA, USA},
 pages = {13--17},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/2931021.2931023},
 doi = {10.1145/2931021.2931023},
 acmid = {2931023},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {ABM methodology, automated, benchmark suite, collection},
}

bib: Explainable Static Analysis

@InProceedings{esa18,
  author = {Bodden, Eric AND Nguyen Quang Do, Lisa},
  title = {Explainable Static Analysis},
  booktitle = {Software Engineering und Software Management 2018},
  year = {2018},
  editor = {Tichy, Matthias AND Bodden, Eric AND Kuhrmann, Marco AND Wagner, Stefan AND Steghöfer, Jan-Philipp} ,
  pages = { 205-208 },
  publisher = {Gesellschaft für Informatik},
  address = {Bonn}
} 

bib: Debugging Static Analysis

@techreport{2018arXiv180104894N,
   author = {{Nguyen Quang Do}, L. and {Kr{\"u}ger}, S. and {Hill}, P. and {Ali}, K. and {Bodden}, E.},
   title = "{Debugging Static Analysis}",
   journal = {ArXiv e-prints},
   archivePrefix = "arXiv",
   eprint = {1801.04894},
   primaryClass = "cs.SE",
   keywords = {Computer Science - Software Engineering},
   year = 2018,
   month = jan,
   adsurl = {http://adsabs.harvard.edu/abs/2018arXiv180104894N},
   adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

Sadako

Title: Sadako
Paper: A sheet of 25 x 80 cm of sketch paper (Sadako and screen) and a sheet of 14 x 26 cm of black paper (screen frame).
Created: August 2017

Not Sadako Sasaki!

Folded from a sheet of 25 x 80 cm of sketch paper (Sadako and white part of the screen) and a sheet of 14 x 26 cm of black paper (screen frame).

The model is designed to handle color changes, but the white paper is very transparent, and didn’t show as white as I wanted for the body and arms. So, only the hair part is actually double-sided. The rest of the paper is uni-colored.
I like that the transparency of the white paper makes the screen grayish though!

Sadako

 

bib: Cheetah: Just-in-time Taint Analysis for Android Apps

@inproceedings{Do:2017:CJT:3098344.3098357,
 author = {Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson},
 title = {Cheetah: Just-in-time Taint Analysis for Android Apps},
 booktitle = {Proceedings of the 39th International Conference on Software Engineering Companion},
 series = {ICSE-C '17},
 year = {2017},
 isbn = {978-1-5386-1589-8},
 location = {Buenos Aires, Argentina},
 pages = {39--42},
 numpages = {4},
 url = {https://doi.org/10.1109/ICSE-C.2017.20},
 doi = {10.1109/ICSE-C.2017.20},
 acmid = {3098357},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
}

bib: Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis

@inproceedings{DBLP:conf/ecoop/SpaethNAB16,
 author = {Johannes Sp{\"a}th and Lisa Nguyen and Karim Ali and Eric Bodden},
 title = {Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis},
 booktitle = {Proceedings of the 30th European Conference on Object-Oriented Programming},
 series = {ECOOP '16},
 pages = {},
 year = {2016},
 url = {},
 doi = {},
}

bib: Just-in-time Static Analysis

@inproceedings{Do:2017:JSA:3092703.3092705,
 author = {Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson},
 title = {Just-in-time Static Analysis},
 booktitle = {Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis},
 series = {ISSTA 2017},
 year = {2017},
 isbn = {978-1-4503-5076-1},
 location = {Santa Barbara, CA, USA},
 pages = {307--317},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/3092703.3092705},
 doi = {10.1145/3092703.3092705},
 acmid = {3092705},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Just-in-Time, Layered analysis, Static analysis},
}