FMCAD 2013
Formal Methods in Computer-Aided Design
Portland, OR, USA
October 20-23, 2013

FMCAD 2013 Student Forum

Portland, OR, USA

FMCAD 2013 will feature 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 on it.

FMCAD's sponsors have agreed to generously support the participation of students with successful Student Forum submissions at FMCAD, among others via a substantial financial contribution from FMCAD Inc., via several travel grants made available by NVIDIA Corporation directly for the Student Forum, and via further financial support by Atrenta Inc., Galois Inc., IBM Corporation, Intel Corporation, Jasper Design Automation, Mentor GraphicsMicrosoft Corporation, NEC Labs America, OneSpin Solutions, Oski Technology Inc., Real Intent, Synopsis, and Xpliant.

For more sponsorship information, see here.

New: list of accepted submissions and schedule

The Student Forum consists of short presentations of the authors, roughly following the schedule below, and a poster session. For the times and locations of these two sessions, see the main FMCAD program.

Marko Dimjasevic Automatic Testing of Software Libraries
Eva Darulova
Programming with Uncertainties
Kai Cong
Symbolic Execution of Virtual Devices
Li Lei
Hardware/Software Co-monitoring
Arjun Radhakrishna
A Case for Quantitative Specifications
Peizun Liu and Zhaoliang Liu
On-the-fly Parameterized Boolean Program Exploration
Lihao Liang
Effective Verification of Low-Level Software with Nested Interrupts
Sebastiaan Joosten and Julien Schmaltz
Automated Deadlock Verification in Register Transfer Level Designs of Communication Fabrics
Jan Lanik
Low-Power gate decomposition for spatially correlated temporal-dependent input vectors
Bernard van Gastel and Julien Schmaltz
Formal Verification of Communication Fabrics Micro-Architectures
Shilpi Goel
A Formal Model of x86 for Machine Code Proofs
Mitesh Jain and Panagiotis Manolios
Skipping Refinement
Disha Puri
Towards Certifiable Loop Pipelining Transformations in Behavioral Synthesis
Zhenkun Yang
Compiler Transformation Validation in Behavioral Synthesis


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.


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 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 FMCAD EasyChair website, where the Student Forum is administered as a separate track of the main conference.


Submission deadline: Sunday, Jun 09 (extended by 1 week)
Acceptance notification: Sunday, Aug 04
Forum date: Monday, Oct 21

Forum Chair

Thomas Wahl

Email the Forum Chair with questions about the event.