Jan 2, 2024 |
Proud advisor moment III: My Ph.D. advisee David Kahn has accepted a tenure-track Assistant Professor position at Denison University. All the best, David!
|
Jan 1, 2024 |
Proud advisor moment II: My former Ph.D. advisee Ankush Das has started as tenure-track Assistant Professor at Boston University. All the best, Ankush!
|
Dec 20, 2023 |
An extended version of our POPL ‘21 article Modeling and Analyzing Evaluation Cost of CUDA Kernels will appear in ACM Transactions on Parallel Computing (TOPC).
|
Sep 1, 2023 |
Carnegie Mellon undergraduate students Lauren Sands and Nathan Glover have joined the group.
|
Aug 1, 2023 |
Together with Feras Saad, I received an NSF award for an exciting new project on Language Support for Sound and Efficient Programmable Inference. Thanks NSF!
|
Apr 28, 2023 |
Our article (with Jessie Grosen and David Kahn) Automatic Amortized Resource Analysis with Regular Recursive Types will appear at LICS 2023.
|
Feb 24, 2023 |
I have been promoted to Associate Professor with
Indefinite Tenure in Carnegie Mellon’s Computer Science Department (effective in July).
Many thanks to my CSD colleagues and everybody else who supported me.
|
Jan 1, 2023 |
Ankush Das will present our paper Probabilistic Resource-Aware Session Types at POPL 2023.
|
Sep 1, 2022 |
Proud advisor moment: Di Wang, former Ph.D student in my group, started as Assistant Professor at Peking University.
Congratulations, Di!
|
Aug 10, 2022 |
I’m excited to be part of Carnegie Mellon’s Algorand Center of Excellence (press release).
|
May 4, 2022 |
Ph.D. student Di Wang successfully defended his fantastic Ph.D thesis Static Analysis of Probabilistic Programs: An Algebraic Approach. Congratulations, Dr. Wang.
|
Mar 1, 2022 |
I’m looking forward to serving on the PLDI 2023 program committee.
|
Jan 29, 2022 |
MSc student Yiyang Guo and BSc student Runming Li have joined the group.
|
Jan 10, 2022 |
I’m looking forward to serving on the ESOP 2023 program committee.
|
Oct 6, 2021 |
I’m grateful for having been selected for an Amazon Research Award.
|
Sep 6, 2021 |
Steffen Jost and I co-authored a survey on Automatic Amortized Resource Analysis, which
will appear in the upcoming MSCS special issue in honor of my late advisor Martin Hofmann.
|
Jul 2, 2021 |
Our article Automatic Resource Analysis with the Quantum Physicist’s Method
has been accepted to ICFP 2021.
|
Jun 25, 2021 |
Check out our new paper Nomos: A Protocol-Enforcing, Asset-Tracking, and Gas-Aware Language for Smart Contracts, which describes the Nomos implementation and blockchain-specific features.
You can try out the language in the Nomos web interface.
|
Jun 1, 2021 |
I’m excited about our work on probablisitic session types. A paper draft is available here.
|
May 15, 2021 |
I’m looking forward to serving on the POPL 2022
and LICS 2022
programm committees. Consider submitting a paper!
|
Apr 2, 2021 |
Our articles Central Moment Analysis for Cost Accumulators in Probabilistic Programs and
Sound Probabilistic Inference via Guide Types
have been accepted to PLDI 2021.
|
Nov 4, 2020 |
The articles Modeling and Analyzing Evaluation Cost of CUDA Kernels and
A unifying type-theory for higher-order (amortized) cost analysis
have been accepted to POPL 2021.
|
Oct 25, 2020 |
We have created a website for Nomos.
It’s still work in progress but you can already implement, type-check, and run smart contracts
using an interactive web interface.
|
Oct 20, 2020 |
I’m excited that Jessie Grosen has joined my group as a PhD student. Welcome to Carnegie Mellon, Jessie!
|
Sep 26, 2020 |
I’m excited that our article Typable Fragments of Polynomial Automatic Amortized Resource Analysis has been accepted to CSL 2021. Congratulations, Long Pham!
|
Jul 10, 2020 |
Our acricle Resource-Aware Session Types for Digital Contracts has been accepted to CSF’21.
|
Jul 1, 2020 |
Effective today, I have been promoted to Association Professor without tenure. Many thanks to my colleagues in the Computer Science Department and at Carnegie Mellon.
|
Jun 22, 2020 |
A new working paper is online: Typable Fragments of Polynomial Automatic Amortized Resource Analysis. This is joined work with my PhD student Long Pham.
|
Jun 20, 2020 |
Our acricles Liquid Resource Types and Raising Expectations: Automating Expected Cost Analysis with Types have been accepted to ICFP’20.
|
Jun 1, 2020 |
Stefan Muller has accepted an Assistant Professor position at Illinois Institute of Technology. Congratulations, Stefan!
|
Mar 11, 2020 |
I’m excited to teach 15-819 Foundations of Quantitative Program Analysis again in fall 2020.
The course is open to undergraduate and graduate students.
Here’s last year’s website.
|
Jan 1, 2020 |
I see you at POPL 2020 soon. Many thanks to my external events co-chair Zak Kincaid. I hope you will enjoy the workshops and tutorials.
|
Jan 1, 2020 |
I’m looking forward to teaching 15-312 next semester.
|
Dec 1, 2019 |
I very excited that Long Pham joint the group as a Ph.D. student. Next semester, I will also advice a group of fantastic CSD undergraduate students: Ishani Santurkar, Yinglan Chen, Evan Wu, and Stephen McIntosh.
|
Dec 1, 2019 |
David Kahn’s paper on Exponential Automatic Amortized Resource Analysis has been accepted to FOSSACS 2020.
|
Aug 25, 2019 |
I’m looking forward to speak at the ETH Workshop on Dependable and
Secure Software Systems. I
hope to see you in Zürich.
|
Jul 23, 2019 |
I finally found the time to update my website. I’m using
Jekyll and the
al-folio theme.
|
Jul 20, 2019 |
I’m looking forward to serve on the ICFP’20 program committe, which is chaired by Adam Chlipala.
|
Jun 1, 2019 |
I am very excited to be among the recipients of a 2019 NSF
CAREER Award. Details are in the CMU news.
|
May 1, 2019 |
Our paper A Denotational Semantics for Low-Level Probabilistic
Programs with Nondeterminism has been accepted
to MFPS’19. (This is
joint work Di Wang and Tom Reps.)
|
May 1, 2019 |
I’m looking forward to speak that the Workshopd on Theory and
Practice of Blockchains in Aarhus on May
27.
|
Mar 1, 2019 |
Consider attending the Martin Hofmann Memorial
Meeting, which will take place on July
13 in Munich.
|