Student Forum
Continuing the tradition of the previous years, FMCAD 2024 is hosting a Student Forum that provides a platform for students at any career stage (undergraduate or graduate) to introduce their research to the wider Formal Methods community, and solicit feedback.
Accepted Reports
- Zsófia Ádám, Levente Bajczi, Marek Jankola and Marian Lingsch-Rosenfeld: Towards Validation of More Expressive Software Non-Termination Witnesses
- Daneshvar Amrollahi: Towards Improved Stability for SMT Solvers
- Samantha Archer, Mohammad Fadiheh and Caroline Trippel: SymLeak: Quantifying Side Channel Leakage with Symbolic Execution
- Levente Bajczi and Marian Lingsch-Rosenfeld: Software Verification Witnesses for Weak Memory
- Levente Bajczi: CHCs for Weak Memory
- Konstantin Britikov: Analysis of Multiloop Programs With Nested Loops Using Transition Power Abstraction
- Rachel Cleaveland and Clark Barrett: Theory of Strings in Symbolic Execution
- Milan Ganai and Clark Barrett: Hamilton-Jacobi Reachability Estimation
- Islam Hamada: Incremental Construction of Inductive Invariants for Model Checking
- Michal Hečko: Automata-based Decision Procedure for Presburger Arithmetic Augmented with Algebraic Reasoning
- Fuqi Jia, Clark Barrett, Pei Huang, Feifei Ma and Jian Zhang: A Theory-Agnostic SMT Sampling Framework
- Adharsh Kamath: Leveraging LLMs for Program Verification
- John Kolesar: Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
- Daniel Mendoza, Christopher Hahn and Caroline Trippel: Towards LLM-assisted hardware verification
- Luke Miga: Verifying Axiomatic Microarchitectural Models in the Coq Proof Assistant
- Siddharth Priya: Optimizing Rust Programs Using Ownership
- Áron Ricardo Perez-Lopez, Samantha Archer and Clark Barrett: Word-Level Model Checking with IC3 in Pono
-
Elizaveta Pertseva, Alex Ozdemir, Sorawee Porncharoenwase, Isil Dillig and Clark Barrett: Multimodular Reasoning for Satisfiability Modulo Theories (Best Student Poster Award)
- Feitong Qiao: Timed Data Types for Hardware
- Márk Somorjai and Mihály Dobos-Kovács: Stack Abstraction for Interprocedural Software Verification
- Csanád Telbisz and Dániel Szekeres: Correctness Witnesses for Concurrent Software Verification
- Roxana-Mihaela Timon: Verification of a dynamic programming-based algorithm for the Activity Selection Problem in Dafny
- Edward Wang, Luca Daniel, Yoni Zohar and Clark Barrett: Work-in-Progress: An SMT-Based, Correct-by-Construction Place-and-Route Framework
Main Activities
Each student will give a short presentation and present their poster in the poster session.
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 the Student Forum’s program committee.
Important Dates
- Student forum submission:
July 12, 2024July 18, 2024Title and Abstract July 19 (4 pm GMT), Final Version July 24 (AoE) - Student forum notification:
Aug 16, 2024Aug 19, 2024
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. Instructions for the preparation of the talks and poster sessions will be announced on notification of acceptance.
Visibility
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 slide deck/poster/presentation to the FMCAD website. The report itself will not appear in the FMCAD proceedings. Thus, the presentation at the forum should not interfere with potential future submissions of this research (to FMCAD or elsewhere).
Travel Awards
Limited funds will be available to support travel and/or conference registration, which will be reimbursed after the conference. The first author of each contribution will be given priority over other authors. Please ensure you keep all receipts for reimbursement. Further instructions on how to apply for financial support will be provided soon.
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. These reports will NOT be published, therefore we welcome reports based on already submitted/published papers. However, the novel aspects to be addressed in future work must be clearly described.
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 (excluding references).
Please submit in the Student Forum track using the Easychair system.
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 and contributions. Avoid unnecessary notational clutter unless it is a widely used formalism and helps making 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.
Forum Chair
Nestan Tsiskaridze and Martin Blicha are co-chairs of the Student Forum. Feel free to send an email to Nestan or to Martin if you have questions about the event.