FMCAD 2014
Formal Methods in Computer-Aided Design
Lausanne, Switzerland
October 21-24, 2014
Conference is in progress!




FMCAD 2014 Student Forum

FMCAD 2014 will host 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.

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. 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 webpage.

Limited funds will be available for travel assistance for students with accepted contributions.

List of Accepted Student Forum Papers

AUTHOR(S) PRESENTATION TITLE
Petr Bauch Bit-Precise LTL Model Checking [Poster (PDF)]
Seyedhassan Daryanavard, Thomas Marconi, Mohammad Eshghi Design of CAD Module for JIT Extensible Processor Customized for Placement and Routing [Poster (PDF)]
Marko Doko, Viktor Vafeiadis Reasoning about Memory Fences in C11 Relaxed Memory Model
Usman Khalid Bayesian Networks based Probablistic Approach for Digital Circuits' Reliability [Poster (PDF)]
Christian Krieg, Michael Rathmair, Florian Schupfer Device Library Attack: Silently Compromising the FPGA Design Flow
Siddharth Krishna Learning Linear Invariants using Decision Trees
Andrey Kupriyanov, Bernd Finkbeiner Causality-based LTL Model Checking without Automata [Poster (PDF)]
Michael Rathmair, Florian Schupfer Structural System Analysis from Design Level down to Netlist Level
Thorsten Tarrach Using synthesis to fix concurrency bugs
Leander Tentrup Verifying Partial Designs with Partial Observability [Poster (PDF)]


Format

The Forum 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 FMCAD. All FMCAD participants are encouraged to attend the student presentations and the subsequent poster session, and engage with the presenters throughout the duration of the conference.

Visibility

In addition to the poster on display during the conference, accepted submissions will be listed, with title and author name, in an event description in the FMCAD proceedings. 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 authors will also have the option to upload their poster and presentation to the FMCAD webpage.

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. Reports are submitted via the Slickchair system.

Dates

Submission deadline: Sunday, Jun 08 Sunday, Jun 22
Acceptance notification: Sunday, Aug 03
Forum date: Thursday, Oct 23 @ 10:45am

Forum Chair

Ruzica Piskac

Email the Forum Chair with questions about the event.

 

Valid HTML 4.01 Transitional