Zum Inhalt springen

Nagarakatte, Santosh [Verfasser:in] ; ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Operating Systems

Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Online ansehen
Schließen

Zugang

... zum E-Book via ACM Digital Library

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York,NY,United States: Association for Computing Machinery, 2020

Erschienen in: ACM Conferences- ACM Digital Library
Lohar, Debasmita [Verfasser:in] ; Darulová, Eva [Akademische:r Betreuer:in]; Volkova, Anastasia [Akademische:r Betreuer:in]; Finkbeiner, Bernd [Akademische:r Betreuer:in]; Nagarakatte, Santosh [Akademische:r Betreuer:in]

Expanding the horizons of finite-precision analysis

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (frei zugänglich)

... zum E-Book via Resolving-System (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken, 2023
Nagarakatte, Santosh [Verfasser:in]; Martin, Milo M. K. [Verfasser:in]; Zdancewic, Steve [Verfasser:in] ; Santosh Nagarakatte and Milo M. K. Martin and Steve Zdancewic [Mitwirkende:r]

Everything You Want to Know About Pointer-Based Checking

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Nagarakatte, Santosh

Full Spatial and Temporal Memory Safety for C

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2024

Erschienen in: IEEE Security & Privacy (2024), Seite 2-11
Nagarakatte, Santosh

Session details: Software reliability and testing I

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

Erschienen in: ACM SIGARCH Computer Architecture News, 42 (2014) 1
Nagarakatte, Santosh

Session details: Software reliability and testing I

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

Erschienen in: ACM SIGPLAN Notices, 49 (2014) 4
Chowdhary, Sangeeta; Nagarakatte, Santosh

Fast shadow execution for debugging numerical errors using error free transformations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2022

Erschienen in: Proceedings of the ACM on Programming Languages, 6 (2022) OOPSLA2, Seite 1845-1872
Menendez, David; Nagarakatte, Santosh

Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2017

Erschienen in: ACM SIGPLAN Notices, 52 (2017) 6, Seite 49-63
Lim, Jay P.; Nagarakatte, Santosh

One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2022

Erschienen in: Proceedings of the ACM on Programming Languages, 6 (2022) POPL, Seite 1-28
Soltaniyeh, Mohammadreza; Martin, Richard P.; Nagarakatte, Santosh

An Accelerator for Sparse Convolutional Neural Networks Leveraging Systolic General Matrix-matrix Multiplication

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2022

Erschienen in: ACM Transactions on Architecture and Code Optimization, 19 (2022) 3, Seite 1-26
Boushehrinejadmoradi, Nader; Yoga, Adarsh; Nagarakatte, Santosh

OpenMP: Portable Multi-Level Parallelism on Modern Systems: On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: OpenMP: Portable Multi-Level Parallelism on Modern Systems (2020), Seite 149-164
Menendez, David; Nagarakatte, Santosh; Gupta, Aarti

Static Analysis: Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2016

Erschienen in: Static Analysis (2016), Seite 317-337
Hilton, Andrew; Nagarakatte, Santosh; Roth, Amir

iCFP: Tolerating All-Level Cache Misses in In-Order Processors

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2010

Erschienen in: IEEE Micro, 30 (2010) 1, Seite 12-19
Vishwanathan, Harishankar; Shachnai, Matan; Narayana, Srinivas; Nagarakatte, Santosh

Computer Aided Verification: Verifying the Verifier: eBPF Range Analysis Verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Nature Switzerland, 2023

Erschienen in: Computer Aided Verification (2023), Seite 226-251
Lim, Jay P.; Aanjaneya, Mridul; Gustafson, John; Nagarakatte, Santosh

An approach to generate correctly rounded math libraries for new floating point variants

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2021

Erschienen in: Proceedings of the ACM on Programming Languages, 5 (2021) POPL, Seite 1-30
Lopes, Nuno P.; Menendez, David; Nagarakatte, Santosh; Regehr, John

Practical verification of peephole optimizations with Alive

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2018

Erschienen in: Communications of the ACM, 61 (2018) 2, Seite 84-91
Goiri, Inigo; Bianchini, Ricardo; Nagarakatte, Santosh; Nguyen, Thu D.

ApproxHadoop : Bringing Approximations to MapReduce Frameworks : Bringing Approximations to MapReduce Frameworks

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2015

Erschienen in: ACM SIGPLAN Notices, 50 (2015) 4, Seite 383-397
Goiri, Inigo; Bianchini, Ricardo; Nagarakatte, Santosh; Nguyen, Thu D.

ApproxHadoop : Bringing Approximations to MapReduce Frameworks : Bringing Approximations to MapReduce Frameworks

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2015

Erschienen in: ACM SIGARCH Computer Architecture News, 43 (2015) 1, Seite 383-397
Lopes, Nuno P.; Menendez, David; Nagarakatte, Santosh; Regehr, John

Provably correct peephole optimizations with alive

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2015

Erschienen in: ACM SIGPLAN Notices, 50 (2015) 6, Seite 22-32
Zhao, Jianzhou; Nagarakatte, Santosh; Martin, Milo M.K.; Zdancewic, Steve

Formal verification of SSA-based optimizations for LLVM

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2013

Erschienen in: ACM SIGPLAN Notices, 48 (2013) 6, Seite 175-186

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr