Nicolas Latorre

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Stack Overflow has become a fundamental resource for developers, becoming the de facto Question and Answer (Q&A) website, and one of the standard unstructured data sources for software engineering research to mine knowledge about development. We present SODA, the Stack Overflow Dataset Almanac, a tool that helps researchers and developers to better(More)
Program verification systems fail in verifying programs if appropriate loop invariants are not suggested. Generation of loop invariants in general is an art and providing them manually is a highly complex task (if possible at all). In this paper we present VERIGE, a tool that integrates a verifier with an invariant generator engine. VERIGE implements a(More)
BACKGROUND Hand eczema is not uncommon in children but it is rarely studied using skin-prick tests. Few reports have addressed their usefulness in children and none has specifically analyzed their use in children with hand eczema. MATERIAL AND METHODS We performed a retrospective study of all children up to 16years of age with hand eczema who were(More)
  • 1