Leni Ven

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Bucket Elimination

Classification Scheme

Top Venues

Proc. ACM Program. Lang.

Proc. ACM Meas. Anal. Comput. Syst.

Publications

Jianlin Li, Leni Ven, Pengyuan Shi, Yizhou Zhang
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference. Proc. ACM Program. Lang. 7 (POPL) (2023)
Iman Akbari, Mohammad A. Salahuddin, Leni Ven, Noura Limam, Raouf Boutaba, Bertrand Mathieu, Stephanie Moteau, Stéphane Tuffin
Traffic classification in an increasingly encrypted web. Commun. ACM 65 (10) (2022)
Iman Akbari, Mohammad A. Salahuddin, Leni Ven, Noura Limam, Raouf Boutaba, Bertrand Mathieu, Stephanie Moteau, Stéphane Tuffin
A Look Behind the Curtain: Traffic Classification in an Increasingly Encrypted Web. SIGMETRICS (Abstracts) (2021)
Iman Akbari, Mohammad A. Salahuddin, Leni Ven, Noura Limam, Raouf Boutaba, Bertrand Mathieu, Stephanie Moteau, Stéphane Tuffin
A Look Behind the Curtain: Traffic Classification in an Increasingly Encrypted Web. Proc. ACM Meas. Anal. Comput. Syst. 5 (1) (2021)
Leni Ven, Johannes Lederer
Regularization and Reparameterization Avoid Vanishing Gradients in Sigmoid-Type Networks. CoRR (2021)