Vineet Gupta - RankMe

55 papers A* 11A 3B 5Misc 1Journal 21Unranked 13

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