Lattice
Papers
Digest
Topics
Labs
Collections
FAQ
System theme
System theme
Lattice AI
AI
Track papers across labs, topics, and trends.
Search papers…
⌘K
Papers
Digest
Topics
Labs
Saved
Search
Search papers, labs, and topics across Lattice.
Back
Uljana Reinsalu
Tallinn University of Technology
Papers on Lattice
1
Total citations
0
Topics
1
Publication activity
papers/week, last 8 weeks
Research focus
Code Generation & Program Synthesis (1)
Frequent co-authors
Sharjeel Imtiaz (1)
Tara Ghasempouri (1)
Papers (1)
Sep 9, 2026
Tallinn University of Technology
Sep 9, 2026
AutoTrans: AI-Assisted Automatic Translation of Security Assertions for RISC-V Processors
Sharjeel Imtiaz
,
Uljana Reinsalu
,
Tara Ghasempouri
Code Generation & Program Synthesis
