![Profile picture](res/profilepic2.jpg)
Introduction
Hi ! I'm Amelia (she/her), a Computer Scientist from Geneva - Switzerland. I'm currently a Compiler Engineer at SiFive in Berkeley (California), working on the verification features of Chisel and CIRCT.I'm also an incoming PhD student in Computer Science in the Programming Languages group at Princeton University, advised by Mae Milano. I got my MSc in Computer Science, majoring in Secure and Reliable Systems with a minor in Computer Graphics, from ETH Zurich, and my BSc in Computer Science from EPFL.
In the past, I was a Visiting Researcher at the SLICE Lab in the EECS department at UC Berkeley, where I worked on temporal property synthesis and formal verification, and was advised by Kevin Laeufer. I also had the opportunity to work with Martin Schoeberl as a Research Assistant at the Technical University of Denmark (DTU), where I looked into reimagining UVM for Chisel.
My general research goal is to make it as easy as possible to implement complex systems correctly. In practice, this means that I work on programming language design, verification and automated testing. The fields I am most interested in are hardware verification and concurrent programming.
I am a frequent contributor to both CIRCT and Chisel, mostly working on their respective verification features. I generally only write FOSS code, and I am not interested in contributing to any proprietary/closed-source project.
News
- July'24I've released my first ever python package for my btor2 compiler!
- June'24I attended my first PLDI, as well as PLMW, in Copenhagen, where I got to meet many wonderful people in the field! I also learned about choreographic programming, which particularly peaked my interest.
- June'24My legal name change in the US finally got approved after 4 long months since filing it! 2 countries down, one to go...
- May'24I graduated from ETH Zurich and obtained my MSc in Computer Science!!
- April'24I started my Internship at SiFive, where I get to work on the verification features of Chisel and CIRCT.
- April'24I successfully defended my Master Thesis!
Publications
-
Formal Verification of Hardware using MLIR -- Apr'24
Amelia Dobis
Master Thesis (Paper PDF / GitHub / DOI Link ) -
Verification of Chisel Hardware Designs with ChiselVerify -- Feb'23
Amelia Dobis, Kevin Laeufer, Hans Jakob Damsgaard, Tjark Petersen, Kasper Hesse, Enrico Tolotto, Simon Thye Andersen, Richard Lin, and Martin Schoeberl
Microprocessors and Microsystems (Paper PDF / GitHub / DOI Link ) -
Enabling Coverage-Based Verification in Chisel -- May'22
Amelia Dobis, Hans Jakob Damsgaard, Enrico Tolotto, Kasper Hesse, Tjark Petersen, and Martin Schoeberl
ETS 2022 ( Paper PDF / GitHub / DOI Link ) -
Towards Functional Coverage-Driven Fuzzing for Chisel Designs -- Nov'21
Amelia Dobis, Tjark Petersen, and Martin Schoeberl
WOSET 2021 ( Paper PDF / GitHub ) -
ChiselVerify: An Open-Source Hardware Verification Library for Chisel and Scala -- Oct'21
Amelia Dobis, Tjark Petersen, Hans Jakob Damsgaard, Kasper Hesse, Enrico Tolotto, Simon Thye Andersen, Richard Lin, and Martin Schoeberl
Best Paper Award
NorCaS 2021 ( Paper PDF / GitHub / DOI Link )