Prateek Mishra

33 papers A* 5A 3Misc 2Journal 13Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Domain Tailored Large Language Models for Log Mask Prediction in Cellular Network Diagnostics.
IEEE Trans. Netw. Serv. Manag.
Sayed M. Taheri, Achintha Ihalage, Prateek Mishra, Sean Coaker, Faris Muhammad, Hamed S. Al-Raweshidy
2024 J jnl
AI as a Medical Ally: Evaluating ChatGPT's Usage and Impact in Indian Healthcare.
CoRR
Aryaman Raina, Prateek Mishra, Harshit Goyal, Dhruv Kumar
2022 — conf
Personalized Healthcare Chatbot: Dataset and Prototype System.
CICBA
Prateek Mishra, Pankaj Dadure, K. V. N. Pranav, Medisetti SriHarsha, Devi Prasad Upadhyay, Nirmita Biswas, Partha Pakray
2021 J jnl
FCMI: Feature Correlation based Missing Data Imputation.
CoRR
Prateek Mishra, Kumar Divya Mani, Prashant Johri, Dikhsa Arya
2020 J jnl
Few Shot Text-Independent speaker verification using 3D-CNN.
CoRR
Prateek Mishra
2014 J jnl
Accurate Leakage/Delay Estimation for FinFET Standard Cells under PVT Variations using the Response Surface Methodology.
ACM J. Emerg. Technol. Comput. Syst.
Sourindra M. Chaudhuri, Prateek Mishra, Niraj K. Jha
2012 Misc conf
Accurate Leakage Estimation for FinFET Standard Cells Using the Response Surface Methodology.
VLSI Design
Sourindra Chaudhuri, Prateek Mishra, Niraj K. Jha
2010 — conf
Die-level leakage power analysis of FinFET circuits considering process variations.
ISQED
Prateek Mishra, Ajay N. Bhoj, Niraj K. Jha
2010 A conf
Low-power FinFET circuit synthesis using surface orientation optimization.
DATE
Prateek Mishra, Niraj K. Jha
2009 J jnl
Low-power FinFET circuit synthesis using multiple supply and threshold voltages.
ACM J. Emerg. Technol. Comput. Syst.
Prateek Mishra, Anish Muttreja, Niraj K. Jha
2008 — conf
Evaluation of multiple supply and threshold voltages for low-power FinFET circuit synthesis.
NANOARCH
Prateek Mishra, Anish Muttreja, Niraj K. Jha
2008 Misc conf
Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects.
VLSI Design
Anish Muttreja, Prateek Mishra, Niraj K. Jha
1998 J jnl
An Implementation Model for Collaborative Applications.
CLEI Electron. J.
Mauricio Cortes, Prateek Mishra
1997 J jnl
On the power and limitations of strictness analysis.
J. ACM
R. Sekar, I. V. Ramakrishnan, Prateek Mishra
1996 A conf
DCWPL: A Programming Language for Describing Collaborative Work.
CSCW
Mauricio Cortes, Prateek Mishra
1992 — conf
A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis.
LISP and Functional Programming
Marc Neuberger, Prateek Mishra
1991 A* conf
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.
POPL
R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan
1991 — conf
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages.
FPCA
Allen Leung, Prateek Mishra
1990 A* conf
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.
ICALP
Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra
1990 J jnl
Type Inference with Subtypes.
Theor. Comput. Sci.
You-Chin Fuh, Prateek Mishra
1989 — conf
FACILE: A Symmetric Integration of Concurrent and Functional Programming.
TAPSOFT, Vol.2
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
1989 J jnl
Facile: A symmetric integration of concurrent and functional programming.
Int. J. Parallel Program.
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
1989 — conf
Polymorphic Subtype Inference: Closing the Theory-Practice Gap.
TAPSOFT, Vol.2
You-Chin Fuh, Prateek Mishra
1989 — conf
Strictness Analysis: A New Perspective Based on Type Inference.
FPCA
Tsung-Min Kuo, Prateek Mishra
1988 J jnl
Denotational and Operational Semantics for Prolog.
J. Log. Program.
Saumya K. Debray, Prateek Mishra
1988 J jnl
Strictness Analysis of the Untyped lambda-Calculus.
Inf. Process. Lett.
Prateek Mishra
1988 A conf
Type Inference with Subtypes.
ESOP
You-Chin Fuh, Prateek Mishra
1987 — conf
Denotational and operational semantics for PROLOG.
Formal Description of Programming Concepts
Saumya K. Debray, Prateek Mishra
1987 A* conf
On Strictness and its Analysis.
POPL
Tsung-Min Kuo, Prateek Mishra
1985 A* conf
Declaration-Free Type Checking.
POPL
Prateek Mishra, Uday S. Reddy
1984 A* conf
Static Inference of Properties of Applicative Programs.
POPL
Prateek Mishra, Robert M. Keller
1984 — conf
Towards a Theory of Types in Prolog.
SLP
Prateek Mishra
1981 J jnl
Compiling Short-circuit Boolean Expressions in One Pass.
Softw. Pract. Exp.
George Logothetis, Prateek Mishra