Somesh Jha -

Registered user since Fri 28 Feb 2020

Name:Somesh Jha

Bio:

My main areas of interests are security and software engineering. I have a peripheral interest in computational finance, but I have not been actively involved in the area for a few years. Here are my publications, classified by area.

Country:United States

Affiliation:University of Wisconsin

Personal website:http://www.cs.wisc.edu/~jha

Contributions

POPL 2022	Author of Interval Universal Approximation for Neural Networks within the POPL-track
POPL 2021	Committee Member in Program Committee within the POPL-track
FMS 2018	Committee Member in Organizing Committee within the FMS 2018-track Conference Chair in Program Committee within the FMS 2018-track
SALAD 2018	Committee Member in Program Committee within the SALAD-track
FMS 2017	Committee Member in Organizing Committee within the FMS 2017-track
ESEC/FSE 2018	Author of Neural-Augmented Static Analysis of Android Communication within the Research Papers-track
FMS	Co-chair in Organizing Committee within the FMS-track
POPL 2016	Author of Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis within the Research Papers-track Committee Member in Program Committee Committee Member in Program Committee within the Research Papers-track
PLDI 2015	Committee Member in External Review Committee within the Research Papers-track