• Publications
  • Influence
Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods
TLDR
A new approach is presented for detecting whether a particular computation of an asynchronous distributed system satisfies \(\mathop{{\bf Poss}}\Phi\) (read “possibly Φ”), meaning the system could have passed through a global state satisfying predicate Φ. Expand
  • 36
  • 1
  • PDF
Optimized Live Heap Bound Analysis
TLDR
This paper describes a general approach for optimized live heap space and live heapspace-bound analyses for garbage-collected languages. Expand
  • 33
  • 1
  • PDF
Automatic Accurate Stack Space and Heap Space Analysis for High-Level Languages
TLDR
This paper describes a general approach for automatic and accurate space and space-bound analyses for high-level languages, considering stack space, heap allocation and live heap space usage of programs. Expand
  • 28
  • PDF
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages
TLDR
This paper describes a general approach for automatic and accurate live heap space and space-bound analyses for high-level languages. Expand
  • 16
  • PDF
Parametric heap usage analysis for functional programs
TLDR
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garbage collection). Expand
  • 15
  • PDF
Exploring current status of Helicobacter pylori infection in different age groups of patients with dyspepsia
Recent data from Asian countries including India has shown a significant decline in the frequency of peptic ulcer disease (PUD) compared to the past. H. pylori is considered the most important riskExpand
  • 3
Visceral larva migrans presenting as multiple liver abscesses
Eosinophilic necrotizing granulomas in the liver, known as visceral larva migrans (VLM), are a rare cause of liver abscesses. The term VLM refers to infections in human tissues caused by the larvalExpand
  • 3
Endoscopic treatment of a duodenal duplication cyst.
A young lady presented to the emergency department with pain in the abdomen for 1 day. She had a history of similar pain in the past. Her clinical examination was unremarkable, except for mildExpand
  • 2
  • PDF
Automatic live memory bound analysis for high-level languages
TLDR
We use program transformation to derive a space-bound function that takes as input partially-known structures which characterize sets of inputs to P. Expand
  • 1