Category Archives: Uncategorized

bib: SwanAssist: Semi-Automated Detection of Code-Specific, Security-Relevant Methods

@inproceedings{ase19demoswan,  
  author = {Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric},  
  title = {SwanAssist: Semi-Automated Detection of Code-Specific, Security-Relevant Methods},  
  booktitle = {Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering},  
  series = {ASE 2019},  
  year = {2019},  
  location = {San Diego, USA},  
  keywords = {Program Analysis, Machine-learning, Security}
} 

Courting Cranes

Title: Courting Cranes
Paper: Kraft paper
Created: February 2019

Folded as a wedding gift for my friends.

The cranes are a model of Roman Diaz, folded from a 33 x 33 cm sheet of sketch paper. The pine tree is made of three long sheets of the same paper, wet-folded.

Courting Cranes

bib: Codebase-Adaptive Detection of Security-Relevant Methods

@inproceedings{issta19swan,  
  author = {Piskachev, Goran and Nguyen Quang Do, Lisa and Bodden, Eric},  
  title = {Codebase-adaptive Detection of Security-relevant Methods},  
  booktitle = {Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis},  
  series = {ISSTA 2019},  
  year = {2019},  
  isbn = {978-1-4503-6224-5},  
  location = {Beijing, China},  
  pages = {181--191},  
  numpages = {11},  
  url = {http://doi.acm.org/10.1145/3293882.3330556},  
  doi = {10.1145/3293882.3330556},  
  acmid = {3330556},  
  publisher = {ACM},  
  address = {New York, NY, USA},  
  keywords = {Java Security, Machine-learning, Program Analysis}
} 

bib: Debugging Static Analysis

@ARTICLE{tse18debugging,
author={L. Nguyen Quang Do and S. Krüger and P. Hill and K. Ali and E. Bodden},
journal={IEEE Transactions on Software Engineering},
title={Debugging Static Analysis},
year={2018},
volume={},
number={},
pages={1-1},
keywords={Debugging;Static analysis;Tools;Computer bugs;Standards;Writing;Encoding;Testing and Debugging;Program analysis;Development tools;Integrated environments;Graphical environments;Usability testing},
doi={10.1109/TSE.2018.2868349},
ISSN={0098-5589},
month={},
}

bib: Gamifying Static Analysis

@inproceedings{fsenier18gsa,
 author = {Nguyen Quang Do, Lisa and Bodden, Eric},
 title = {Gamifying Static Analysis},
 booktitle = {Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
 series = {ESEC/FSE 2018},
 year = {2018},
 isbn = {978-1-4503-5573-5},
 location = {Lake Buena Vista, FL, USA},
 pages = {714--718},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/3236024.3264830},
 doi = {10.1145/3236024.3264830},
 acmid = {3264830},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Gamification, Integrated Environments, Program analysis},
}

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}
}