Registered user since Thu 15 Aug 2019
Name:Benno Stein
Country:United States
Affiliation:Meta; University of Colorado Boulder
Personal website:https://www.bennostein.org/
Twitter:https://twitter.com/benno_stein
Research interests:Static Analysis; Abstract Interpretation
Contributions
| Infer 2023 | Committee Member in Program Committee within the Infer 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile