| Aug 26, 2024 |
I’m looking forward to co-chairing the Workshop on Programming Language
Approaches to Concurrency and Communication-cEntric Software (PLACES
2024) with Farzaneh Derakhshan.
|
| Aug 26, 2024 |
There are two great articles about research from my group on the CSD
PhD Blog. The first one is about Hybrid Resource
Analysis
by Long Pham. The second one is about The Quantum Physicist’s Method
of Resource Analysis
by David Kahn.
|
| Aug 20, 2024 |
Long Pham will present our paper Robust Resource Bounds with Static Analysis and Bayesian Inference at OOPSLA 2024.
|
| May 1, 2024 |
I am excited that our paper Robust Resource Bounds with Static Analysis and Bayesian Inference will appear at PLDI 2024.
|
| 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.
|