Eric Lippert

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Denotational Semantics

Programming Language

Top Venues

Publications

Sivaramakrishnan Ramanathan, Ying Zhang, Mohab Gawish, Yogesh Mundada, Zhaodong Wang, Sangki Yun, Eric Lippert, Walid Taha, Minlan Yu, Jelena Mirkovic
Practical Intent-driven Routing Configuration Synthesis. NSDI (2023)
Sourabh Kulkarni, Kinjal Divesh Shah, Nimar S. Arora, Xiaoyan Wang, Yucen Lily Li, Nazanin Khosravani Tehrani, Michael Tingley, David Noursi, Narjes Torabi, Sepehr Akhavan-Masouleh, Eric Lippert, Erik Meijer
PPL Bench: Evaluation Framework For Probabilistic Programming Languages. CoRR (2020)
Nazanin Khosravani Tehrani, Nimar S. Arora, Yucen Lily Li, Kinjal Divesh Shah, David Noursi, Michael Tingley, Narjes Torabi, Sepehr Masouleh, Eric Lippert, Erik Meijer
Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference. PGM (2020)
Nimar S. Arora, Nazanin Khosravani Tehrani, Kinjal Divesh Shah, Michael Tingley, Yucen Lily Li, Narjes Torabi, David Noursi, Sepehr Akhavan-Masouleh, Eric Lippert, Erik Meijer
Newtonian Monte Carlo: single-site MCMC meets second-order gradient methods. CoRR (2020)