8
Publications
294
Citations
8
H-Index
2016
Active since
Max S. New is an author at Northeastern University specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningSoftware EngineeringProgramming LanguagesLanguage
Publications per year
2016–2019
8
8
Asumu Takikawa, Daniel Feltey, Ben Greenman et al. · 2016 · 90 citations · Full text
Fully abstract compilation via universal embedding
Max S. New, William J. Bowman, Amal Ahmed · 2016 · 61 citations
Graduality from embedding-projection pairs
Max S. New, Amal Ahmed · Proceedings of the ACM on Programming Languages · 2018 · 30 citations · Full text
Engineering, Ep Pair, Type Theory +21
How to evaluate the performance of gradual type systems
Ben Greenman, Asumu Takikawa, Max S. New et al. · Journal of Functional Programming · 2019 · 25 citations
Rows per page
1–5 of 8