Search

Your search keyword '"Sen, Koushik"' showing total 676 results

Search Constraints

Start Over You searched for: Author "Sen, Koushik" Remove constraint Author: "Sen, Koushik"
676 results on '"Sen, Koushik"'

Search Results

51. Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC

52. Common origin for black holes in both high mass X-ray binaries and gravitational-wave sources.

55. Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)

61. OPR

62. SReplay

63. Floating-point precision tuning using blame analysis

67. Barrier elision for production parallel programs

71. The Nature of Unseen Companions in Massive Single-Line Spectroscopic Binaries.

78. SJS: A Type System for JavaScript with Fixed Object Layout

81. LLM-Assisted Code Cleaning For Training Accurate Code Generators

82. FlorDB: Multiversion Hindsight Logging for Continuous Training

83. Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing

84. Study of Butterfly Diversity in Chilkigarh, West Bengal (India).

88. Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models

91. CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs

92. SNIFF: A Search Engine for Java Using Free-Form Queries

93. Protocol Inference Using Static Path Profiles

94. Model-Checking ω-Regular Properties of Interval Markov Chains

95. A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs

96. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools : (Tool Paper)

97. Model Checking Multithreaded Programs with Asynchronous Atomic Methods

98. Automated Systematic Testing of Open Distributed Programs

99. Model-Checking Markov Chains in the Presence of Uncertainties

100. Using Language Inference to Verify Omega-Regular Properties

Catalog

Books, media, physical & digital resources