FMCAD 2015
Formal Methods in Computer-Aided Design
September 27-30, 2015
Austin, Texas, USA

FMCAD 2015 Student Forum

Continuing the tradition of the previous two years, FMCAD 2015 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. All submissions will be reviewed by a select group of FMCAD program committee members.

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 Contribution Award was presented to Jiaqi Tan and his co-authors Rajeev Gandhi and Priya Narasimhan for their contribution "White-box Software Isolation with Fully Automated Black-box Proofs".

Vadim Zaliva and Franz FranchettiFormal Verification of HCOL Rewriting [Poster] [Talk]
Omar Ali BegComputer Aided Formal Verification for Power Electronics Based Cyber-Physical Systems [Poster]
Cuong ChauACL2(r) Formalization of Fourier Series' Properties [Poster] [Talk]
Burcin Cakir, Sharad MalikHardware Trojan Detection for Gate-level ICs Using Signal Correlation Based Clustering [Poster]
Shaobo HeTowards Automated Differential Program Verification For Approximate Computing [Poster] [Talk]
Guy Katz and David HarelConcurrency Idioms and their Effect on Program Analysis [Poster] [Talk]
Rajdeep MukherjeeHow Efficient are Software Verifiers for Hardwares? [Poster] [Talk]
Daniel PoetzlEfficient Checking of Thread Refinement [Poster] [Talk]
Danilo VendraminettoExploiting Craig Interpolants in Unbounded Model Checking of Hardware Designs [Poster] [Talk]
Luan Nguyen and Taylor T JohnsonTowards Bounded Model Checking for Timed and Hybrid Automata with a Quantified Encoding [Poster] [Talk]
Shou-Pon Lin and Nicholas MaxemchukProbabilsitic Model Checking of Systems with a Large State Space: A Stratified Approach [Poster] [Talk]
Jiaqi Tan, Rajeev Gandhi and Priya NarasimhanWhite-box Software Isolation with Fully Automated Black-box Proofs [Poster] [Talk]
Lu ZhangClassifying Race Conditions in Web Applications [Poster] [Talk]
Egor Karpenkov and David MonniauxProgram Analysis with Local Policy Iteration [Poster] [Talk]
Peter Backeman and Aleksandar ZeljicApproximations for Deciding Quantified Floating-Point Constraints [Poster] [Talk]
Konstantinos AthanasiouA Constraint-Based Approach to Multi-Threaded Program Location Reachability [Poster] [Talk]
Moritz SinnBound Analysis of Heap-Manipulating Programs
Pramod SubramanyanSpecification and Scalable Verification of Security Properties in Contemporary SoCs [Poster] [Talk]


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 contribution (determined by the committee based on the quality of the submission and the presentation) will be given public recognition and a certificate at the event.


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


Submission deadline: Sunday, Jun 21 Thursday, July 9
Acceptance notification: Sunday, July 19
Forum date: September 28-30, 2015

Forum Chair

Georg Weissenbacher

Email the Forum Chair with questions about the event.

SF poster SF poster SF poster

Valid HTML 4.01 Transitional