Category Archives: Uncategorized

bib: Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations

@inproceedings{tse20-2study,
 author = {Nguyen Quang Do, Lisa and Wright, James R. and Ali, Karim},
 title = {Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations},
 booktitle = {Proceedings of the Sixteenth Symposium on Usable Privacy and Security},
 journal={IEEE Transactions on Software Engineering},
 year = {2020},
 doi={10.1109/TSE.2020.3004525}
}

bib: Why Can’t Johnny Fix Vulnerabilities: A Usability Evaluation of Static Analysis Tools for Security

@inproceedings{soups20,
 author = {Smith, Justin and Nguyen Quang Do, Lisa and Murphy-Hill, Emerson},
 title = {Why Can't Johnny Fix Vulnerabilities: A Usability Evaluation of Static Analysis Tools for Security},
 booktitle = {Proceedings of the Sixteenth Symposium on Usable Privacy and Security},
 series = {SOUPS 2020},
 year = {2020},
}

bib: Explaining Static Analysis for Software Security – A Perspective

@inproceedings{explain19,  
  author = {Nachtigall, Marcus and Nguyen Quang Do, Lisa and Bodden, Eric},  
  title = {Explaining Static Analysis for Software Security – A Perspective },  
  series = {EXPLAIN 2019},  
  year = {2019},  
  location = {San Diego, USA},  
  keywords = {Program analysis, Static analysis, Explainability, User experience, Program understanding }
} 

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={},
}