Amazon (United States)

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Amazon (United States)
 
Country Land
United States
 
Type of Organization Organisationstyp
Company
Established Gegründet
1994
 
ROR ID
ISNI
0000 0001 0316 7795
URL
 

OrgUnit's Publications


Results 1-20 of 56 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eniser-2024-Towards Translating Real-World Code with LLMs A Study of Tran...-vor.pdf.jpgEniser, Hasan Ferit ; Zhang, Hanliang ; David, Cristina ; Wang, Meng ; Christakis, Maria ; Paulsen, Brandon ; Dodds, Joey ; Kroening, Daniel Towards Translating Real-World Code with LLMs: A Study of Translating to RustPreprint Preprint 2024
2Wilson-2023-Partitioning Strategies for Distributed SMT Solving-vor.pdf.jpgWilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare ; Barrett, Clark Partitioning Strategies for Distributed SMT SolvingInproceedings Konferenzbeitrag Oct-2023
3Kiesl-Reiter-2023-Proofs for Incremental SAT with Inprocessing-vor.pdf.jpgKiesl-Reiter, Benjamin ; Whalen, Michael W. Proofs for Incremental SAT with InprocessingInproceedings Konferenzbeitrag Oct-2023
4Ferraro-2023-MuRS Music Recommender Systems Workshop-vor.pdf.jpgFerraro, Andres ; Knees, Peter ; Quadrana, Massimo ; Ye, Tao ; Gouyon, Fabien MuRS: Music Recommender Systems WorkshopInproceedings Konferenzbeitrag 14-Sep-2023
5Damboeck-2022-On the Impact and Interplay of Input Representations and Ne...-vor.pdf.jpgDamböck, Maximilian ; Vogl, Richard ; Knees, Peter On the Impact and Interplay of Input Representations and Network Architectures for Automatic Music TaggingInproceedings Konferenzbeitrag 8-Dec-2022
6Knees-2022-A Reproducibility Study on User-centric MIR Research and Why i...-vor.pdf.jpgKnees, Peter ; Ferwerda, Bruce ; Rauber, Andreas ; Strumbelj, Sebastian ; Resch, Annabel ; Tomandl, Laurenz ; Bauer, Valentin ; Tang, Fung Yee ; Bobinac, Josip ; Ceranic, Amila ; Dizdar, Riad A Reproducibility Study on User-centric MIR Research and Why it is ImportantInproceedings Konferenzbeitrag 4-Dec-2022
7Kaivola-2022-Timed Causal Fanin Analysis for Symbolic Circuit Simulation-vor.pdf.jpgKaivola, Roope ; Bar Kama, Neta Timed Causal Fanin Analysis for Symbolic Circuit SimulationKonferenzbeitrag Inproceedings Oct-2022
8Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpgNair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark Proof-Stitch_Proof Combination for Divide-and-Conquer SAT SolversKonferenzbeitrag Inproceedings Oct-2022
9Palmskog-2022-Foundations and Tools in HOL4 for Analysis of Microarchitec...-vor.pdf.jpgPalmskog, Karl ; Yao, Xiaomo ; Dong, Ning ; Guanciale, Roberto ; Dam, Mads Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order ExecutionKonferenzbeitrag Inproceedings Oct-2022
10Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
11Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael Verification-Aided Deep Ensemble SelectionKonferenzbeitrag Inproceedings Oct-2022
12Preiner-2022-The FMCAD 2022 Student Forum-vor.pdf.jpgPreiner, Mathias The FMCAD 2022 Student ForumKonferenzbeitrag Inproceedings Oct-2022
13Rath-2022-First-Order Subsumption via SAT Solving-vor.pdf.jpgRath, Jakob ; Biere, Armin ; Kovács, Laura First-Order Subsumption via SAT SolvingKonferenzbeitrag Inproceedings Oct-2022
14Kheterpal-2022-Automating Geometric Proofs of Collision Avoidance with Ac...-vor.pdf.jpgKheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste Automating Geometric Proofs of Collision Avoidance with Active CornersInproceedings Konferenzbeitrag Oct-2022
15Zelazny-2022-On Optimizing Back-Substitution Methods for Neural Network V...-vor.pdf.jpgZelazny, Tom ; Wu, Haoze ; Barrett, Clark ; Katz, Guy On Optimizing Back-Substitution Methods for Neural Network VerificationInproceedings Konferenzbeitrag Oct-2022
16Loeoew-2022-Reconciling Verified-Circuit Development and Verilog Development-vor.pdf.jpgLööw, Andreas Reconciling Verified-Circuit Development and Verilog DevelopmentKonferenzbeitrag Inproceedings Oct-2022
17Chen-2022-Reducing NEXP-complete problems to DQBF-vor.pdf.jpgChen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony Reducing NEXP-complete problems to DQBFKonferenzbeitrag Inproceedings Oct-2022
18Schlichtkrull-2022-Differential Testing of Pushdown Reachability with a F...-vor.pdf.jpgSchlichtkrull, Anders ; Schou, Morten Konggaard ; Srba, Jiri ; Traytel, Dmitriy Differential Testing of Pushdown Reachability with a Formally Verified OracleInproceedings Konferenzbeitrag Oct-2022
19Zhang-2022-Synthesizing Locally Symmetric Parameterized Protocols from Te...-vor.pdf.jpgZhang, Ruoxi ; Trefler, Richard ; Namjoshi, Kedar Synthesizing Locally Symmetric Parameterized Protocols from Temporal SpecificationsKonferenzbeitrag Inproceedings Oct-2022
20Blicha-2022-Split Transition Power Abstraction for Unbounded Safety-vor.pdf.jpgBlicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha Split Transition Power Abstraction for Unbounded SafetyInproceedings Konferenzbeitrag Oct-2022