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 [Poster (PDF)] |
| 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 [Poster (PDF)] |
| Siddharth Krishna | Learning Linear Invariants using Decision Trees [Poster (PDF)] |
| 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 [Poster (PDF)] |
| 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: | |
| Acceptance notification: | Sunday, Aug 03 |
| Forum date: | Thursday, Oct 23 @ 10:45am |
Forum Chair
Ruzica PiskacEmail the Forum Chair with questions about the event.