Vineet Gupta

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 15

Top Topics

Singular Values

Damage Assessment

Stochastic Optimization

Top Venues

Publications

Vineet Gupta, Prashanth Vooka
An Analog Interface Circuit for Damage Assessment of Structures using Electro-Mechanical Impedance Method. ICST (2023)
Fnu Devvrit, Sai Surya Duvvuri, Rohan Anil, Vineet Gupta, Cho-Jui Hsieh, Inderjit S. Dhillon
A Computationally Efficient Sparsified Online Newton Method. CoRR (2023)
Fnu Devvrit, Sai Surya Duvvuri, Rohan Anil, Vineet Gupta, Cho-Jui Hsieh, Inderjit S. Dhillon
A Computationally Efficient Sparsified Online Newton Method. NeurIPS (2023)
Sid Mittal, Vineet Gupta, Frederick Liu, Mukund Sundararajan
Using Foundation Models to Detect Policy Violations with Minimal Supervision. CoRR (2023)
Rohan Anil, Badih Ghazi, Vineet Gupta, Ravi Kumar, Pasin Manurangsi
Large-Scale Differentially Private BERT. EMNLP (Findings) (2022)
Rohan Anil, Badih Ghazi, Vineet Gupta, Ravi Kumar, Pasin Manurangsi
Large-Scale Differentially Private BERT. CoRR (2021)
Rohan Anil, Vineet Gupta, Tomer Koren, Kevin Regan, Yoram Singer
Second Order Optimization Made Practical. CoRR (2020)
Rohan Anil, Vineet Gupta, Tomer Koren, Yoram Singer
Memory Efficient Adaptive Optimization. NeurIPS (2019)
Rohan Anil, Vineet Gupta, Tomer Koren, Yoram Singer
Memory-Efficient Adaptive Optimization for Large-Scale Learning. CoRR (2019)
Hanie Sedghi, Vineet Gupta, Philip M. Long
The Singular Values of Convolutional Layers. ICLR (Poster) (2019)
Hanie Sedghi, Vineet Gupta, Philip M. Long
The Singular Values of Convolutional Layers. CoRR (2018)
Vineet Gupta, Tomer Koren, Yoram Singer
Shampoo: Preconditioned Stochastic Tensor Optimization. CoRR (2018)
Vineet Gupta, Tomer Koren, Yoram Singer
Shampoo: Preconditioned Stochastic Tensor Optimization. ICML (2018)
Amit Daniely, Roy Frostig, Vineet Gupta, Yoram Singer
Random Features for Compositional Kernels. CoRR (2017)
Vineet Gupta, Tomer Koren, Yoram Singer
A Unified Approach to Adaptive Regularization in Online and Stochastic Optimization. CoRR (2017)
Ramanathan V. Guha, Vineet Gupta
Communicating Semantics: Reference by Description. CoRR (2015)
Ramanathan V. Guha, Vineet Gupta, Vivek Raghunathan, Ramakrishnan Srikant
User Modeling for a Personal Assistant. WSDM (2015)
Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan
TCC, with History. Horizons of the Mind (2014)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
TCC, with History. CoRR (2013)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
. Inf. Comput. 208 (2) (2010)
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate reasoning for real-time probabilistic processes. Log. Methods Comput. Sci. 2 (1) (2006)
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate reasoning for real-time probabilistic processes CoRR (2005)
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate Reasoning for Real-Time Probabilistic Processes. QEST (2004)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for labelled Markov processes. Theor. Comput. Sci. 318 (3) (2004)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating labelled Markov processes. Inf. Comput. 184 (1) (2003)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA (2003)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Weak Bisimulation is Sound and Complete for PCTL*. CONCUR (2002)
Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS (2002)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Truly concurrent constraint programming. Theor. Comput. Sci. 278 (1-2) (2002)
Brian C. Williams, Seung Chung, Vineet Gupta
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. IJCAI (2001)
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer
A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP (2000)
Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta
Hybrid Systems Diagnosis. HSCC (2000)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating Labeled Markov Processes. LICS (2000)
Radha Jagadeesan, Konstantin Läufer, Vineet Gupta
The Triveni project. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Stochastic Processes as Concurrent Constraint Programs. POPL (1999)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for Labeled Markov Systems. CONCUR (1999)
Vineet Gupta, John Lamping
Efficient Linear Logic Meaning Assembly. COLING-ACL (1998)
Björn Carlson, Vineet Gupta
Hybrid cc with Interval Constraints. HSCC (1998)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Computing with Continuous Change. Sci. Comput. Program. 30 (1-2) (1998)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Probabilistic Concurrent Constraint Programming. CONCUR (1997)
Björn Carlson, Vineet Gupta, Tad Hogg
Controlling Agents in Smart Matter with Global Constraints. AAAI Workshop: Constraints & Agents (1997)
Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
Robust Timed Automata. HART (1997)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Models for Concurrent Constraint Programming. CONCUR (1996)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22 (5/6) (1996)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Truly Concurrent Constraint Programming. CONCUR (1996)
Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? IJCAI (1995)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Default Timed Concurrent Constraint Programming. POPL (1995)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems (1995)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow
Programming in Hybrid Constraint Languages. Hybrid Systems (1994)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Foundations of Timed Concurrent Constraint Programming LICS (1994)
Vineet Gupta, Vaughan R. Pratt
Gages Accept Concurrent Behavior FOCS (1993)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Programming in Timed Concurrent Constraint Languages. NATO ASI CP (1993)