Sanjai Narain

ORCID

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 5

Top Venues

CoRR

IEEE Robotics Autom. Lett.

ICNP

CPS-IoT Week Workshops

University of California at Los Angeles (PHD)

Education History

University of California at Los Angeles

PHD

Publications

Yewei Huang, Xi Lin, Mariana Hernandez-Rocha, Sanjai Narain, Kishore Pochiraju, Brendan J. Englot
Mission-Oriented Gaussian Process Motion Planning for UUVs Over Complex Seafloor Terrain and Current Flows. IEEE Robotics Autom. Lett. 9 (2) (2024)
Sanjai Narain, Dana Chee, Pranav Iyer, Emily Mak, Ricardo Valdez, Manli Zhu, Niraj K. Jha, Jaime F. Fisac, Kai-Chieh Hsu, Prerit Terway, Kishore Pochiraju, Brendan J. Englot, Emil Pitz, Sean Rooney, Yewei Huang
AIMED: AI-Mediated Exploration of Design: An Experience Report. CPS-IoT Week Workshops (2023)
Sanjai Narain, Emily Mak, Dana Chee, Brendan J. Englot, Kishore Pochiraju, Niraj K. Jha, Karthik S. Narayan
Fast Design Space Exploration of Nonlinear Systems: Part I. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (9) (2022)
Sanjai Narain, Emily Mak, Dana Chee, Brendan J. Englot, Kishore Pochiraju, Niraj K. Jha, Karthik Narayan
Fast Design Space Exploration of Nonlinear Systems: Part I. CoRR (2021)
Sanjai Narain, Emily Mak, Dana Chee, Todd Huster, Jeremy E. J. Cohen, Kishore Pochiraju, Brendan J. Englot, Niraj K. Jha, Karthik Narayan
Robot Design With Neural Networks, MILP Solvers and Active Learning. CoRR (2020)
Kishore Pochiraju, Sanjai Narain
Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories. IRI (2015)
Shuyuan Zhang, Sharad Malik, Sanjai Narain, Laurent Vanbever
In-Band Update for Network Routing Policy Migration. ICNP (2014)
Sanjai Narain
ConfigAssure: A Science of Configuration. MILCOM (2013)
Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain
Verification and synthesis of firewalls using SAT and QBF. ICNP (2012)
Sanjai Narain, Sharad Malik, Ehab Al-Shaer
Towards Eliminating Configuration Errors in Cyber Infrastructure. SafeConfig (2011)
Paul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie
Guest editorial network infrastructure configuration. IEEE J. Sel. Areas Commun. 27 (3) (2009)
Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul
Declarative Infrastructure Configuration Synthesis and Debugging. J. Netw. Syst. Manag. 16 (3) (2008)
Sanjai Narain
Network Configuration Management via Model Finding. LISA (2005)
Xiaohu Qie, Sanjai Narain
Using service grammar to diagnose BGP configuration errors. Sci. Comput. Program. 53 (2) (2004)
Xiaohu Qie, Sanjai Narain
Using Service Grammar to Diagnose BGP Configuration Errors. LISA (2003)
William Stephens, Brian A. Coan, Sanjai Narain, Vikram Kaul, Kirthika Parmeswaran, Thanh Cheng
A Toolkit For Building Secure, Fault-Tolerant Virtual Private Networks Technology Description. DISCEX (2) (2003)
Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram Kaul, Kirthika Parmeswaran, William Stephens
Building Autonomic Systems Via Configuration. Active Middleware Services (2003)
Melbourne Barton, Derek Atkins, John Lee, Sanjai Narain, Deidra Ritcherson, Kemal E. Tepe, K. Daniel Wong
Integration of IP mobility and security for secure wireless communications. ICC (2002)
Sanjai Narain, M. Rangadurai, Abdul-Rahim Shareef
Diagnosing configuration errors in virtual private networks. ICC (2001)
Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef
Middleware For Building Adaptive Systems Via Configuration. LCTES/OM (2001)
Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef
Middleware For Building Adaptive Systems Via Configuration. OM@PLDI (2001)
Robert D. Doverspike, Mari Maeda, Sanjai Narain, Jorge L. Pastor, Chien-Chung Shen, Ned G. Stoffel, Yukun Tsai, Brian Wilson
Network management research in ATDNet. IEEE Netw. 10 (4) (1996)
Sanjai Narain
Proofs from Temporal Hypotheses by Symbolic Simulation. Hybrid Systems (1995)
Sanjai Narain, Orville Cockings, Ritu Chadha
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. FORTE (1993)
R. C. Sekar, Yow-Jian Lin, Sanjai Narain
On Modelling and Reasoning About Hybrid Systems. PSTV (1992)
Sanjai Narain
An axiomatic basis for general discrete-event modeling. WSC (1991)
Sanjai Narain
Lazy Evaluation in Logic Programming. ICCL (1990)
Sanjai Narain, Jeff Rothenberg
Proving temporal properties of hybrid systems. WSC (1990)
Sanjai Narain
Optimization by Non-Deterministic, Lazy Rewriting. RTA (1989)
Sanjai Narain, Jeff Rothenberg
A logic for simulating discontinous systems. WSC (1989)
Sanjai Narain
A Technique for Doing Lazy Evaluation in Logic. J. Log. Program. 3 (3) (1986)
Sanjai Narain
Special Feature Mycin: Implementing the Expert System in Loglisp. IEEE Softw. 2 (3) (1985)
Sanjai Narain
A Technique for Doing Lazy Evaluation in Logic. SLP (1985)
Sanjai Narain
MYCIN in a Logic Programming Environment. COMPCON (1984)
Sanjai Narain, David McArthur, Philip Klahr
Large-Scale System Development in Several Lisp Environments. IJCAI (1983)
Philip Klahr, David McArthur, Sanjai Narain
SWIRL: An Object-Oriented Air Battle Simulator. AAAI (1982)

Sanjai Narain.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sanjai Narain