Author Archives: lisanqd

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

Goldfish

Title: Goldfish
Paper: 21 x 8.7 cm printer paper (this is the paper that is left from an A4 after you cut out a square).
Created: December 2017

Back to basics for the last model of the year!

Goldfish

Diagram

In: CDO 2018 Convention Book
Published: 2018

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

 

My Little Hero or My Mother, my Heroine

Title: My Little Hero or My Mother, my Heroine
Paper: 33 x 363 cm uncut sheet of sketch paper
Created: August 2017

When thinking of the people who inspire me the most, my parents immediately come to mind before anyone else. From a mother who is her son’s heroine, to the son who is his mother’s world, everyone can be a hero.

Folded for the Paper Heroes exhibition 2017.

 

My Little Hero or My Mother, my Heroine

 

Convention for Creators Exhibition

Convention Exhibition
Event: Convention for Creators (Lyon, France).
Date: July 2017

The Conference for Creators in Lyon was a great few days. I met many talented creators from all over the world, and I could finally put faces on the famous names I had heard about. The exhibition was spectacular. For space reasons, each creator was limited to 3 models. My contributions were a doe head, a winged heart, and Jar Jar Binks!

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

bib: Just-in-Time Static Analysis TR

@techreport{Tr2016Cheetah,
 author = {Lisa Nguyen Quang Do and Karim Ali and Benjamin Livshits and Eric Bodden and Justin Smith and Emerson Murphy-Hill},
 title = {Just-in-Time Static Analysis},
 month = aug,
 year = 2016,
 institution = {University of Alberta Dataverse},
 url = {http://bodden.de/pubs/dal16jit-tr.pdf},
 doi = {http://dx.doi.org/10.7939/DVN/10859},
}