Zobrazeno 1 - 6
of 6
pro vyhledávání: '"JhalaRanjit"'
Publikováno v:
ACM SIGPLAN Notices. 51:555-567
Floating-point numbers are an essential part of modern software, recently gaining particular prominence on the web as the exclusive numeric format of Javascript. To use floating-point numbers, we require a way to convert binary machine representation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b4eecf65f293f0ec84792554add4227
https://doi.org/10.1145/2914770.2837654
https://doi.org/10.1145/2914770.2837654
Publikováno v:
PLDI
We present Refined TypeScript (RSC), a lightweight refinement type system for TypeScript, that enables static verification of higher-order, imperative programs. We develop a formal system for RSC that delineates the interaction between refinement typ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03fbd93ac533e99200a88354397411f8
Publikováno v:
ACM SIGPLAN Notices. 47:383-394
We present a novel technique for verifying properties of data parallel GPU programs via test amplification . The key insight behind our work is that we can use the technique of static information flow to amplify the result of a single test execution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c35bdc6e2519cca73d91317c96debbc6
https://doi.org/10.1145/2345156.2254110
https://doi.org/10.1145/2345156.2254110
Publikováno v:
ACM SIGPLAN Notices. 47:45-54
Shared memory multithreading is a popular approach to parallel programming, but also fiendishly hard to get right. We present Liquid Effects , a type-and-effect system based on refinement types which allows for fine-grained, low-level, shared memory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55fd74b4f357eca82806a85b1b6e3d66
https://doi.org/10.1145/2345156.2254071
https://doi.org/10.1145/2345156.2254071
Publikováno v:
ACM SIGPLAN Notices. 43:37-52
Large software systems are typically composed of multiple layers, written in different languages and loosely coupled using a string-based interface. For example, in modern web-applications, a server written in Java communicates with a database back-e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::073c1b13663a2968c7cbc402af350d82
https://doi.org/10.1145/1449955.1449768
https://doi.org/10.1145/1449955.1449768
Publikováno v:
OOPSLA
We present Dependent JavaScript (DJS), a statically typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as run-time type-tests, higher-order functions, extensible objects, protot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12612c4243fcbacada0d6d4e14cd6337
https://doi.org/10.1145/2384616.2384659
https://doi.org/10.1145/2384616.2384659