Michael Greenberg

weaselhat.com

I’m looking for PhD students in the Fall 2023 application cycle, to start in Fall 2024. Come work with me at Stevens CS in Hoboken, NJ! I’m particularly looking for students with expertise in systems, but I’m happy to talk to anyone with background related to my work (systems, programming languages, databases, logic).

Popular posts: 1
Total points: 129
HN comments: 21
Rank: #17,847 personal

Visit weaselhat.com → RSS feedOn Hacker News Aug 2020 – Aug 2020

Software Engineering 1 AI & Machine Learning 1

Most points Most discussed Most cited Newest

Formulog: ML + Datalog + SMT

2020129 points21 comments Software Engineering details

If you read a description of a static analysis in a paper, what might you find? There’ll be some cute model of a language. Maybe some inference rules describing the analysis itself, but those rules probably rely on a variety of helper functions. These days, the analysis likely involves some logical reasoning: about…