sofiaoreis / lithium-slicer

⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).

Hi there 👽

I'm a PhD Candidate at the University of Lisbon. I perform research in security, software engineering, productivity, program analysis, machine learning, software maintainability and best practices.

🍵 My projects:

• Secbench - A dataset of 676 security patches (mutli-language, single-commits).
• Security Patches Dataset - Collection of datasets for vulnerability prediction -- monthly updated.
• SECOM - A convention for security commit messages.
• SECOMlint - A linter for security commit messages. It measures compliance against SECOM.
• SAST - A collection of static analyzers for security.
• Lithium-Slicer - A test minimization tool to help developers create smaller test inputs (i.e., code snippets) in their bug reports (program slicer based on the Mozilla lithium tool).
• ... and many more that will soon be published.

✨ Contributions:

• Infer - I've added models to Meta/Facebook's static analyzer to boost the detection of performance issues in C/C++ (12 weeks internship).

lithium-slicer's Issues

Additional IJCAI Touches June/12

• Title area - Title - The paper's title must be in Title Case, using 14pt bold font and centered.
  Editor's comment: The whole title should be written on one single line unless it doesn’t fit in the margins.

• Title area - Authors - Authors should be written in-line, using a 12pt bold font. Separate the names using commas, except for the last two that should be separated by "and" (in non-bold font). Check the ijcai19-multiauthor.tex file in the author's kit for further guidance.
  Editor's comment: Please replace the last comma with an unbolded "and".

• References - Author names - Authors' names should be shown in full (Name Lastname instead of N. Lastname)
  Editor's comment: Please write the authors full names in all references.

• References - Required data - References must include the authors, title, publication, pages, and date.
  Editor's comment: Please write page numbers of all the references.

IJCAI Touches June/12

• Title area - Contact e-mails - Contact e-mails should be written below the affiliations, using a 12pt regular (non-monospace) font.
  Editor's comment: Please write all the contact e-mails on one single line, below the two affiliations (keeping the superscripts as they are now):
  IST, University of Lisbon & INESC-ID, Portuga
  Federal University of Pernambuco, Brazil
  [email protected], [email protected]; [email protected]

• Typesetting - Main text font/size - Main text body must be in Adobe's Times Roman font at 10pt.
  Editor's comment: Please use regular font for the footnotes.

• Typesetting - Subsubsection headings - Subsubsection headings must be in Title Case, 10-point bold type. There must be a blank space of approximately 6 points above subsubsection headings.
  Editor's comment: Please do not use italics for the subsubsection headings (on page 4).
  Please use Title Case.

• Layout - Figure/table font sizes - All figures must be clearly readable (text is not too small, graph's bars/lines are distinguishable enough when printed in grayscale).
  Editor's comment: Text in Table 5 and Figure 5 is too small.

• Layout - Figure/table positioning - Figures and Tables should be floated to the top/bottom of the page unless there's a good reason not to.
  Editor's comment: Figures shouldn’t be wrapped in text.
  Figures/Tables should be floated on top/bottom of the page.

• References - Formatting style - References must follow the named bibliography style.
  Editor's comment: Do not balance the columns in the last page of the paper. It is fine if only one is full and the other contains (almost) nothing.
  Please use same font size as for the main text.

• Metadata - Affiliations - The author's affiliations must be in "Institution, Address" format, one affiliation per line. The address is optional.
  Editor's comment: Please write exactly the same information as on the paper.