Student Forum

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

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 select group of FMCAD program committee members.

Travel Awards

Limited funds will be available for travel assistance for students with accepted contributions. Please make sure you hold on to all receipts and boarding passes for reimbursement.

FMCAD Student Forum has been sponsored by NSF.

Accepted Contributions

The best contributions as judged by popular vote by attendees were:

#1: Inductive Validity Cores for Formal Verification by Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Rockwell Collins
#2: Circuit Recognition with Convolutional Neural Networks by Yu-Yun Dai, Robert Brayton
#3: Version Space Learning for Verification on Temporal Differentials by Mark Santolucito, Ruzica Piskac

Authors	Contribution
Yu-Yun Dai, Robert Brayton	Circuit Recognition with Convolutional Neural Networks
Rohit Dureja, Kristin Rozier	Comparative Safety Analysis of Wireless Communication Networks in Avionics
Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Rockwell Collins	Inductive Validity Cores for Formal Verification
William Hallahan, Ruzica Piskac, Ennan Zhai, Avi Silberschatz	Automated Firewall Repair with Example Synthesis
Bo-Yuan Huang, Pramod Subramanyan, Sharad Malik, Sayak Ray, Hareesh Khattri, Jason Fung, Abhranil Maiti	Instruction-Level Abstraction Based SoC Firmware Verification
Baoluo Meng	Solving Relational Constraints with Extensions to a Theory of Finite Set in SMT
Andres Noetzli	Proofs for Preprocessing in SMT Solvers
Jaideep Ramachandran	Precise Arithmetic Reasoning using Approximate Solvers
Mark Santolucito, Ruzica Piskac	Version Space Learning for Verification on Temporal Differentials
Hongce Zhang, Sharad Malik	Equivalence Checking Using the Intermediate Instruction-Level Abstraction

Format

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.

Visibility

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.

Submissions

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. Work that has in part been published previously will be considered; the novel aspects to be addressed in future work must be clearly described in such cases.

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. All contributions must be submitted via the Microsoft Conference Management Toolkit. Submissions are being accepted as of now.

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.

Dates

Submission deadline:	September 4, 2016
Acceptance notification:	September 11, 2016
Forum date:	October 3-6, 2016

Forum Chair

Hossein Hojjat

Email the Forum Chair with questions about the event.