default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVineet Gupta 0001
Person information
- affiliation: Google, Mountain View
- affiliation: Stratify, Mountain View, CA, USA
- affiliation: NASA Ames Research Center, Moffett Field, CA, USA
- affiliation: Xerox PARC, Palo Alto, CA, USA
- affiliation: Stanford University, USA
Other persons with the same name
- Vineet Gupta 0002
![[0000-0002-4096-2533]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-4096-2533")
— Bain & Company, Gurgaon, India (and 3 more) - Vineet Gupta 0003 — Rush University, Medical Center, Chicago, IL, USA (and 2 more)
- Vineet Gupta 0004 — STMicroelectronics, Greater Noida, India
- Vineet Gupta 0005 — National Rehabilitation Hospital, Washington, DC, USA
- Vineet Gupta 0006 — Best Nomos, Pittsburgh, PA, USA (and 1 more)
- Vineet Gupta 0007 — Stanford University, Department of Mathematics, Stanford, CA, USA
2020 – today
- 2024
[c33]Vineet Gupta, Prashanth Vooka:
Simplified Phase-sensitive Rectifier-based Resistance Measurement Circuit for Cost-effective Structural Damage Detection using Electro-Mechanical Impedance Method. I2MTC 2024: 1-6- 2023
- [c32]Vineet Gupta, Prashanth Vooka:
An Analog Interface Circuit for Damage Assessment of Structures using Electro-Mechanical Impedance Method. ICST 2023: 1-6 - [c31]Devvrit, Sai Surya Duvvuri, Rohan Anil, Vineet Gupta, Cho-Jui Hsieh, Inderjit S. Dhillon:
A Computationally Efficient Sparsified Online Newton Method. NeurIPS 2023 - [i12]Sid Mittal, Vineet Gupta, Frederick Liu, Mukund Sundararajan:
Using Foundation Models to Detect Policy Violations with Minimal Supervision. CoRR abs/2306.06234 (2023) - [i11]Devvrit, Sai Surya Duvvuri, Rohan Anil, Vineet Gupta, Cho-Jui Hsieh, Inderjit S. Dhillon:
A Computationally Efficient Sparsified Online Newton Method. CoRR abs/2311.10085 (2023) - 2022
- [c30]Rohan Anil, Badih Ghazi, Vineet Gupta, Ravi Kumar, Pasin Manurangsi:
Large-Scale Differentially Private BERT. EMNLP (Findings) 2022: 6481-6491 - 2021
- [i10]Rohan Anil, Badih Ghazi, Vineet Gupta, Ravi Kumar, Pasin Manurangsi:
Large-Scale Differentially Private BERT. CoRR abs/2108.01624 (2021) - 2020
- [i9]Rohan Anil, Vineet Gupta, Tomer Koren, Kevin Regan, Yoram Singer:
Second Order Optimization Made Practical. CoRR abs/2002.09018 (2020)
2010 – 2019
- 2019
- [c29]Hanie Sedghi, Vineet Gupta, Philip M. Long:
The Singular Values of Convolutional Layers. ICLR (Poster) 2019 - [c28]Rohan Anil, Vineet Gupta, Tomer Koren, Yoram Singer:
Memory Efficient Adaptive Optimization. NeurIPS 2019: 9746-9755 - [i8]Rohan Anil, Vineet Gupta, Tomer Koren, Yoram Singer:
Memory-Efficient Adaptive Optimization for Large-Scale Learning. CoRR abs/1901.11150 (2019) - 2018
- [c27]Vineet Gupta, Tomer Koren, Yoram Singer:
Shampoo: Preconditioned Stochastic Tensor Optimization. ICML 2018: 1837-1845 - [i7]Vineet Gupta, Tomer Koren, Yoram Singer:
Shampoo: Preconditioned Stochastic Tensor Optimization. CoRR abs/1802.09568 (2018) - [i6]Hanie Sedghi, Vineet Gupta, Philip M. Long:
The Singular Values of Convolutional Layers. CoRR abs/1805.10408 (2018) - 2017
- [i5]Amit Daniely, Roy Frostig, Vineet Gupta, Yoram Singer:
Random Features for Compositional Kernels. CoRR abs/1703.07872 (2017) - [i4]Vineet Gupta, Tomer Koren, Yoram Singer:
A Unified Approach to Adaptive Regularization in Online and Stochastic Optimization. CoRR abs/1706.06569 (2017) - 2015
- [c26]Ramanathan V. Guha, Vineet Gupta, Vivek Raghunathan, Ramakrishnan Srikant:
User Modeling for a Personal Assistant. WSDM 2015: 275-284 - [i3]Ramanathan V. Guha, Vineet Gupta:
Communicating Semantics: Reference by Description. CoRR abs/1511.06341 (2015) - 2014
- [c25]Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan:
TCC, with History. Horizons of the Mind 2014: 458-475 - 2013
- [i2]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
TCC, with History. CoRR abs/1310.5538 (2013) - 2010
- [j8]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010)
2000 – 2009
- 2006
- [j7]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes. Log. Methods Comput. Sci. 2(1) (2006) - 2005
- [i1]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes. CoRR abs/cs/0505063 (2005) - 2004
- [j6]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004) - [c24]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate Reasoning for Real-Time Probabilistic Processes. QEST 2004: 304-313 - 2003
- [j5]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003) - [c23]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170 - 2002
- [j4]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly concurrent constraint programming. Theor. Comput. Sci. 278(1-2): 223-255 (2002) - [c22]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370 - [c21]Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden:
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422 - 2001
- [c20]Brian C. Williams, Seung Chung, Vineet Gupta:
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. IJCAI 2001: 579-590 - 2000
- [j3]Radha Jagadeesan, Konstantin Läufer, Vineet Gupta:
The Triveni project. ACM SIGSOFT Softw. Eng. Notes 25(1): 59 (2000) - [c19]Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer:
A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP 2000: 202-217 - [c18]Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta:
Hybrid Systems Diagnosis. HSCC 2000: 282-295 - [c17]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximating Labeled Markov Processes. LICS 2000: 95-106
1990 – 1999
- 1999
- [c16]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Metrics for Labeled Markov Systems. CONCUR 1999: 258-273 - [c15]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Stochastic Processes as Concurrent Constraint Programs. POPL 1999: 189-202 - 1998
- [j2]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Computing with Continuous Change. Sci. Comput. Program. 30(1-2): 3-49 (1998) - [c14]Vineet Gupta, John Lamping:
Efficient Linear Logic Meaning Assembly. COLING-ACL 1998: 464-470 - [c13]Björn Carlson, Vineet Gupta:
Hybrid cc with Interval Constraints. HSCC 1998: 80-95 - 1997
- [c12]Björn Carlson, Vineet Gupta, Tad Hogg:
Controlling Agents in Smart Matter with Global Constraints. AAAI Workshop: Constraints & Agents 1997: 58-63 - [c11]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Probabilistic Concurrent Constraint Programming. CONCUR 1997: 243-257 - [c10]Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan:
Robust Timed Automata. HART 1997: 331-345 - 1996
- [j1]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22(5/6): 475-520 (1996) - [c9]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Models for Concurrent Constraint Programming. CONCUR 1996: 66-83 - [c8]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly Concurrent Constraint Programming. CONCUR 1996: 373-388 - 1995
- [c7]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems 1995: 52-63 - [c6]Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta:
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? IJCAI 1995: 1773-1781 - [c5]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Default Timed Concurrent Constraint Programming. POPL 1995: 272-285 - 1994
- [b1]Vineet Gupta:
Chu spaces: a model of concurrency. Stanford University, USA, 1994 - [c4]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow:
Programming in Hybrid Constraint Languages. Hybrid Systems 1994: 226-251 - [c3]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Foundations of Timed Concurrent Constraint Programming. LICS 1994: 71-80 - 1993
- [c2]Vineet Gupta, Vaughan R. Pratt:
Gages Accept Concurrent Behavior. FOCS 1993: 62-71 - [c1]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Programming in Timed Concurrent Constraint Languages. NATO ASI CP 1993: 367-413
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-17 00:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
