Maite Kramarz

About [me]:


Hi, I'm Maite! I'm a Ph.D. student at the University of Toronto, supervised by Prof. Ningning Xie. My work is supported by the Canada Graduate Research Scholarship -- Master's. I am also a Massey Junior Fellow.

My research interests are generally in type systems, and in bridging the gap between safety and performance. Currently, I study multi-stage programming in a functional setting. In my spare time, I enjoy watching movies, baking bread, and photography.

About [movies]:

I watch a lot of movies, and regrettably this has lead to my developing opinions on them. These are some of my favorites.

All-time
  • Persona (1966) dir. Ingmar Bergman
  • Portrait of a Lady on Fire (2019) dir. Celine Sciamma
  • Fire Walk With Me (1992) dir. David Lynch
  • Sweet Smell of Success (1957) dir. Alexander Mackendrick
2025
  • Obsession (2025) dir. Curry Barker
  • The World of Love (2025) dir. Yoon Ga-eun
2024
  • Universal Language (2024) dir. Matthew Rankin
  • The Substance (2024) dir. Coralie Fargeat
2023
  • Do Not Expect Too Much from the End of the World (2023) dir. Radu Jude
  • Anatomy of a Fall (2023) dir. Justine Triet
  • May December (2023) dir. Todd Haynes

About [photography]:

I take pictures sometimes! I use a Minolta SRT-100, and whatever roll of film seems neat when I'm in the store. Some of my photos can be found here.

About [other]:

Thanks for visiting my website! 


                    

                

            

            

                
News:

                

                    

                        April 2026: I was awarded the 
                        
                        Canada Graduate Research Scholarship -- Master's.
                        
                        I was also awarded the
                        
                        Massey Junior Fellowship.
                        
                    

                    

                        February 2026: Mechanised Semantics of 
                        Multi-Stage Programming  was accepted at 
                        OOPSLA 2026.
                    

                    
                    
                    
                    
                

                
Publications:

                

                    
                    
                    
    
                        
  • 
                            Story of Your Lazy Function's Life: A Bidirectional 
                            Demand Semantics for Mechanized Cost Analysis of 
                            Lazy Programs.
                            Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp,
                            Koen Claessen, Stephanie Weirich, and Yao Li.
    
                            ICFP 2024
                            [paper]
                            [artifact]
                        
    •