Formal Methods in
Computer-Aided Design
Oct 22 - 25, 2019
Hyatt Place San Jose Downtown, San Jose, California, USA

Student Forum

Continuing the tradition of the previous years, FMCAD 2019 is hosting a Student Forum that provides a platform for students at any career stage (undergraduate or graduate) to introduce their research to the wider Formal Methods community, and solicit feedback.

Accepted reports

  • Arjun Viswanathan, Verifying Bit-vector Invertibility Conditions in Coq, slides, poster
  • Ankit Shukla, Improving Reasoning on DQBF, slides
  • Daniela Kaufmann, Influence of the Reduction Order in Multiplier Verification using Computer Algebra, slides, poster
  • Martin Blicha, Opening the Black Box of Interpolation in SMT-Based Model Checking, slides, poster
  • Lauren Pick, Call-Graph-Guided Verification, slides, poster
  • Andrew Walter, A Reasoning Engine for the Gamification of Loop-Invariant Discovery
  • Anton Xue, Towards a Self-Certifying Compiler for WebAssembly, slides, poster
  • Aellison Cassimiro Teixeira Dos Santos, An SMT-based Tool for Automatic Schedule Generation for Time Sensitive Networking, slides, poster
  • Matteo Marescotti, SMT-based Gas Consumption Computation for Smart Contracts, slides/poster
  • Saeed Taheri, Floating Point Debugging via Basic Block Tracing
  • Rohit Dureja, Scalable Verification of Designs with Multiple Properties, BEST STUDENT CONTRIBUTION AWARD, slides, poster
  • Sujit Muduli, Towards Scalable SoC Security Validation, slides, poster
  • Sara Safa, Shayal Singh, Daniella Vo, Boolean Analysis Unveils Universal Rules in the Microbiome Data, slides, poster
  • Sahar Taheri, A Novel Formal Method to Discover Cancer biomarkers
  • Mahdi Behroozikhah, Deep-learning approaches to validate formal models of biological systems, slides, poster
  • Hadar Frenkel, Learn Your Program, slides, poster
  • Andreas Katis, Formal Techniques and Extensions for Infinite State Reactive Synthesis, slides, poster
  • Maryam Dabaghchian, Towards Liveness Verification of Quasi-Periodic Distributed Systems Using a Timeless Model, slides, poster
  • Pamina Georgiou, Trace Reasoning for Formal Verification using the First-Order Superposition Calculus, poster
  • Mudathir Mohamed, A new relational solver for the Alloy Analyzer, slides, poster
  • Sahar Badihi, Pruning Unaffected Code in Equivalence Checking of Program Versions
  • Justin Wong, PrograMet: Designing a Program Similarity Metric, slides
  • Yiji Zhang, Replacing Equivalence with Equality for Interprocedural Optimizations (in Translation Validation)

Main activities

  • Student Forum Talks 11:30-12:30 Wednesday, October 23rd. Each student will give a two-minute talk
  • Poster session: 16:30-17:30 Thursday, October 24th. Each student will present a poster of size A0

Submissions for the event must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work, part of which has been previously published, will be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a subgroup of FMCAD program committee members.

Important Dates

  • Student forum submission:
    July 26 Extended to Aug 1, 2019
  • Student forum notification:
    Aug 18, 2019

These deadlines are 11:59 pm AoE (Anywhere on Earth)


The event will consist of short presentations by the student authors of each accepted submission, and of a poster that will be on display throughout the duration of the conference. All participants of the conference are encouraged to attend the talks and approach the students during the poster presentation.


In addition to the poster on display during the conference, accepted submissions will be listed, with title and author name, in the event description in the conference proceedings. The authors will also have the option to upload their poster and presentation to the FMCAD web site. The report itself will not appear in the FMCAD proceedings; thus, the presentation at FMCAD should not interfere with potential future submissions of this research (to FMCAD or elsewhere).

The best contributions (determined by public vote by attendees) will be given public recognition and a certificate at the event.

Travel Awards

Most of the applicants will receive up to $1000 of travel reimbursement after the conference. The first author of each contribution will be given priority over other authors. Please make sure you hold on to all receipts for reimbursement. Further instructions on how to apply for travel grants will be on the website.


Submissions must be short reports describing research ideas or ongoing work that the student is currently pursuing. The topic of the reports must be within the scope of the FMCAD conference. These reports will NOT be published, thus we welcome reports based on already submitted/published papers. However, the novel aspects to be addressed in future work must be clearly described.

Submissions should follow the same formatting guidelines as those for regular FMCAD conference submissions, except that the length is limited to 2 pages IEEE format, including all figures and references.

Please submit using the Easychair system.

Advice: Focus on the key idea and try to convey it to the reader in an intuitive way. Provide a clear motivation and emphasize novel concepts/contributions. Avoid unnecessary notational clutter unless it is a widely used formalism and helps to make the paper more concise and clear. Only describe related work that’s absolutely crucial to your contribution: the limited space available should be used to present your work.

Forum Chair

Grigory Fedyukovich chairs the Student Forum. Feel free to send an email if you have questions about the event.