`Travelled to:`

1 × France

1 × United Kingdom

2 × Germany

7 × USA

`Collaborated with:`

T.Kuo Y.Fuh S.Prasad A.Giacalone N.K.Jha M.Cortes M.Neuberger A.Leung U.S.Reddy R.M.Keller ∅ R.C.Sekar I.V.Ramakrishnan

`Talks about:`

program (4) analysi (4) strict (4) infer (4) type (4) power (3) function (2) symmetr (2) languag (2) concurr (2)

## Person: Prateek Mishra

### DBLP: Mishra:Prateek

### Contributed to:

### Wrote 14 papers:

- DATE-2010-MishraJ #optimisation #power management #synthesis #using
- Low-power FinFET circuit synthesis using surface orientation optimization (PM, NKJ), pp. 311–314.
- CSCW-1996-CortesM #collaboration #named #programming language
- DCWPL: A Programming Language for Describing Collaborative Work (MC, PM), pp. 21–29.
- LFP-1992-NeubergerM #analysis #deduction #power of #precise #strict
- A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis (MN, PM), pp. 127–138.
- FPCA-1991-LeungM #lazy evaluation #reasoning
- Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages (AL, PM), pp. 328–351.
- POPL-1991-SekarMR #abstract interpretation #analysis #on the #strict
- On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation (RCS, PM, IVR), pp. 37–48.
- ICALP-1990-PrasadGM #algebra #concurrent #functional #integration #programming #semantics #symmetry
- Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming (SP, AG, PM), pp. 765–778.
- FPCA-1989-KuoM #analysis #strict #type inference
- Strictness Analysis: A New Perspective Based on Type Inference (TMK, PM), pp. 260–272.
- ESOP-1988-FuhM #type inference #type system
- Type Inference with Subtypes (YCF, PM), pp. 94–114.
- POPL-1987-KuoM #analysis #on the #strict
- On Strictness and its Analysis (TMK, PM), pp. 144–155.
- POPL-1985-MishraR #type checking
- Declaration-Free Type Checking (PM, USR), pp. 7–21.
- POPL-1984-MishraK #source code #static analysis
- Static Inference of Properties of Applicative Programs (PM, RMK), pp. 235–244.
- SLP-1984-Mishra84 #formal method #prolog #towards
- Towards a Theory of Types in Prolog (PM), pp. 289–298.
- CCIPL-1989-FuhM #polymorphism #type inference #type system
- Polymorphic Subtype Inference: Closing the Theory-Practice Gap (YCF, PM), pp. 167–183.
- CCIPL-1989-GiacaloneMP #concurrent #functional #integration #named #programming #symmetry
- FACILE: A Symmetric Integration of Concurrent and Functional Programming (AG, PM, SP), pp. 184–209.