Samantha Syeda Khairunnesa

“Samantha

Research Interests

  • Specification Inference: Complexity of specification, behavioral and temporal specification inference, static analyses for specification inference, specification mining.
  • Software Engineering: Mining software repositories, ultra-large-scale mining.
  • Program Analysis: BigCode analyses, program comprehension, program synthesis.

Appointments

  • Research Assistant, Laboratory for Software Design, Iowa State University, USA, 2014 - Present
  • Teaching Assistant, Department of Computer Science, Iowa State University, USA
    • Advanced Programming Techniques (COMS 229), Fall 2014
    • Principles of Progamming Languages (COMS 342), Spring 2015 - Spring 2016
    • Introduction to Spreadsheets and Databases (COMS 113), Fall 2015

Publications

  • [OOPSLA 2017] Samantha S. Khairunnesa, Hoan A. Nguyen, Tien. N. Nguyen and Hridesh Rajan, “Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining”, Object-oriented Programming, Systems, Languages, and Applications 2017 [acm].

Thesis

  • Samantha S. Khairunnesa, Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining, MS Thesis, CS, Iowa State University, 2017 .

Awards

  • PLMW @ SPLASH Scholarship 2017
  • Professional Development Grants, ISU 2017

Presentations

  • “Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining” at OOPSLA, Vancouver, Canada, 2017 [slides].
  • “Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining” at the 9th Midwest Verification Day (KSU), Manhattan, KS 2017 [slides].

External Services

  • Publicity Chair, The Midwest Summer School 2018

Relevant Coursework

  • Design and Analysis of Algorithms
  • Algorithms for Large Data Sets
  • Programming Languages
  • Advanced Topics in Programming Languages
  • Principles and Practice of Compiling
  • Principles and Internals of Database Systems
  • Information Diffusion