Vineet Gupta

According to our database, Vineet Gupta authored at least 45 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Using Foundation Models to Detect Policy Violations with Minimal Supervision.

Sid Mittal, Vineet Gupta, Frederick Liu, Mukund Sundararajan

CoRR, 2023

A Computationally Efficient Sparsified Online Newton Method.

Devvrit, Sai Surya Duvvuri, Rohan Anil, Vineet Gupta, Cho-Jui Hsieh, Inderjit S. Dhillon

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

An Analog Interface Circuit for Damage Assessment of Structures using Electro-Mechanical Impedance Method.

Vineet Gupta, Prashanth Vooka

Proceedings of the 16th International Conference on Sensing Technology, 2023

2022

Large-Scale Differentially Private BERT.

Rohan Anil, Badih Ghazi, Vineet Gupta, Ravi Kumar, Pasin Manurangsi

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

2020

Second Order Optimization Made Practical.

Rohan Anil, Vineet Gupta, Tomer Koren, Kevin Regan, Yoram Singer

CoRR, 2020

2019

Memory-Efficient Adaptive Optimization for Large-Scale Learning.

Rohan Anil, Vineet Gupta, Tomer Koren, Yoram Singer

CoRR, 2019

Memory Efficient Adaptive Optimization.

Rohan Anil, Vineet Gupta, Tomer Koren, Yoram Singer

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

The Singular Values of Convolutional Layers.

Hanie Sedghi, Vineet Gupta, Philip M. Long

Proceedings of the 7th International Conference on Learning Representations, 2019

2018

Shampoo: Preconditioned Stochastic Tensor Optimization.

Vineet Gupta, Tomer Koren, Yoram Singer

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

A Unified Approach to Adaptive Regularization in Online and Stochastic Optimization.

Vineet Gupta, Tomer Koren, Yoram Singer

CoRR, 2017

Random Features for Compositional Kernels.

Amit Daniely, Roy Frostig, Vineet Gupta, Yoram Singer

CoRR, 2017

2015

Communicating Semantics: Reference by Description.

Ramanathan V. Guha, Vineet Gupta

CoRR, 2015

User Modeling for a Personal Assistant.

Ramanathan V. Guha, Vineet Gupta, Vivek Raghunathan, Ramakrishnan Srikant

Proceedings of the Eighth ACM International Conference on Web Search and Data Mining, 2015

2014

TCC, with History.

Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2010

Weak bisimulation is sound and complete for pCTL^*.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Inf. Comput., 2010

2006

Approximate reasoning for real-time probabilistic processes.

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Log. Methods Comput. Sci., 2006

2004

Metrics for labelled Markov processes.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Theor. Comput. Sci., 2004

2003

Approximating labelled Markov processes.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Inf. Comput., 2003

jcc: Integrating Timed Default Concurrent Constraint Programming into Java.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Progress in Artificial Intelligence, 2003

2002

Truly concurrent constraint programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Theor. Comput. Sci., 2002

The Metric Analogue of Weak Bisimulation for Probabilistic Processes.

Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Weak Bisimulation is Sound and Complete for PCTL*.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Proceedings of the CONCUR 2002, 2002

2001

Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior.

Brian C. Williams, Seung Chung, Vineet Gupta

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

The Triveni project.

Radha Jagadeesan, Konstantin Läufer, Vineet Gupta

ACM SIGSOFT Softw. Eng. Notes, 2000

Approximating Labeled Markov Processes.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

Hybrid Systems Diagnosis.

Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

A Constraint-Based Framework for Prototyping Distributed Virtual Applications.

Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

Stochastic Processes as Concurrent Constraint Programs.

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Proceedings of the POPL '99, 1999

Metrics for Labeled Markov Systems.

Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Computing with Continuous Change.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Sci. Comput. Program., 1998

Hybrid cc with Interval Constraints.

Björn Carlson, Vineet Gupta

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Efficient Linear Logic Meaning Assembly.

Vineet Gupta, John Lamping

Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, 1998

1997

Robust Timed Automata.

Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan

Proceedings of the Hybrid and Real-Time Systems, 1997

Probabilistic Concurrent Constraint Programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the CONCUR '97: Concurrency Theory, 1997

Controlling Agents in Smart Matter with Global Constraints.

Björn Carlson, Vineet Gupta, Tad Hogg

Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

1996

Timed Default Concurrent Constraint Programming.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

J. Symb. Comput., 1996

Models for Concurrent Constraint Programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the CONCUR '96, 1996

1995

Default Timed Concurrent Constraint Programming.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?

Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Hybrid cc, Hybrid Automata and Program Verification.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Chu spaces: a model of concurrency.

Vineet Gupta

PhD thesis, 1994

Foundations of Timed Concurrent Constraint Programming

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Programming in Hybrid Constraint Languages.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow

Proceedings of the Hybrid Systems II, 1994

1993

Programming in Timed Concurrent Constraint Languages.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Constraint Programming, 1993

Gages Accept Concurrent Behavior

Vineet Gupta, Vaughan R. Pratt

Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993