Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Paykin, Jennifer
24  Ergebnisse:
Personensuche X
?
1

Optimization at the Interface of Unitary and Non-unitary Qu..:

, In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE),
Schmitz, Albert T. ; Ibrahim, Mohannad ; Sawaya, Nicolas P. D.... - p. 727-738 , 2023
Link: https://doi.org/10.1109/..
 
?
2

PCOAST: A Pauli-Based Quantum Circuit Optimization Framewor:

, In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE),
Paykin, Jennifer ; Schmitz, Albert T. ; Ibrahim, Mohannad.. - p. 715-726 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Formal Verification of Flow Equivalence in Desynchronized D..:

, In: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC),
Paykin, Jennifer ; Huffman, Brian ; Zimmerman, Daniel M.. - p. 54-62 , 2020
Link: https://doi.org/10.1109/..
 
?
4

The linearity Monad:

, In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell,
Paykin, Jennifer ; Zdancewic, Steve - p. 117-132 , 2017
Link: https://dl.acm.org/doi/1..
 
?
5

QWIRE: a core language for quantum circuits:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
Paykin, Jennifer ; Rand, Robert ; Zdancewic, Steve - p. 846-858 , 2017
Link: https://dl.acm.org/doi/1..
 
?
6

The linearity Monad:

Paykin, Jennifer ; Zdancewic, Steve
ACM SIGPLAN Notices.  52 (2017)  10 - p. 117-132 , 2017
Link: https://doi.org/10.1145/..
 
?
7

QWIRE: a core language for quantum circuits:

Paykin, Jennifer ; Rand, Robert ; Zdancewic, Steve
ACM SIGPLAN Notices.  52 (2017)  1 - p. 846-858 , 2017
Link: https://doi.org/10.1145/..
 
?
8

choose your own derivative (extended abstract):

, In: Proceedings of the 1st International Workshop on Type-Driven Development,
Paykin, Jennifer ; Spector-Zabusky, Antal ; Foner, Kenneth - p. 58-59 , 2016
Link: https://dl.acm.org/doi/1..
 
?
9

A linear/producer/consumer model of classical linear logic:

PAYKIN, JENNIFER ; ZDANCEWIC, STEVE
Mathematical Structures in Computer Science.  28 (2016)  5 - p. 710-735 , 2016
Link: https://doi.org/10.1017/..
 
?
10

A static cost analysis for a higher-order language:

, In: Proceedings of the 7th workshop on Programming languages meets program verification,
Danner, Norman ; Paykin, Jennifer ; Royer, James S. - p. 25-34 , 2013
Link: https://dl.acm.org/doi/1..
 
?
11

Parallel boosted regression trees for web search ranking:

, In: Proceedings of the 20th international conference on World wide web,
Tyree, Stephen ; Weinberger, Kilian Q. ; Agrawal, Kunal. - p. 387-396 , 2011
Link: https://dl.acm.org/doi/1..
 
?
12

PCOAST: A Pauli-based Quantum Circuit Optimization Framewor:

Paykin, Jennifer ; Schmitz, Albert T ; Ibrahim, Mohannad..
http://arxiv.org/abs/2305.10966.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

Optimization at the Interface of Unitary and Non-unitary Qu..:

Schmitz, Albert T ; Ibrahim, Mohannad ; Sawaya, Nicolas P. D...
http://arxiv.org/abs/2305.09843.  , 2023
Link: http://arxiv.org/abs/230..
 
?
14

Formal Verification of Flow Equivalence in Desynchronized D..:

Paykin, Jennifer ; Huffman, Brian ; Zimmerman, Daniel M.
http://arxiv.org/abs/2004.10655.  , 2020
Link: http://arxiv.org/abs/200..
 
?
15

Weird Machines as Insecure Compilation:

Paykin, Jennifer ; Mertens, Eric ; Tullsen, Mark...
http://arxiv.org/abs/1911.00157.  , 2019
Link: http://arxiv.org/abs/191..
 
1-15