I agree that this site is using cookies. You can find further informations here.
X
Pick, Lauren
21  results:
Search for persons X
?
1

Qubit Mapping and Routing via MaxSAT:

, In: 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO),
Molavi, Abtin ; Xu, Amanda ; Diges, Martin... - p. 1078-1091 , 2022
Link: https://doi.org/10.1109/..
 
?
2

Unbounded Procedure Summaries from Bounded Environments:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti - p. 291-324 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Automating Modular Verification of Secure Information Flow:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti - p. 158-168 , 2020
Link: https://doi.org/10.34727..
 
?
4

Exploiting Synchrony and Symmetry in Relational Verificatio:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti - p. 164-182 , 2018
Link: https://doi.org/10.1007/..
 
?
5

SATMAP artifact:

Molavi, Abtin ; Xu, Amanda ; Diges, Martin...
doi:10.5281/zenodo.6928225.  , 2022
Link: https://zenodo.org/recor..
 
?
6

SATMAP artifact:

Molavi, Abtin ; Xu, Amanda ; Diges, Martin...
doi:10.5281/zenodo.6928225.  , 2022
Link: https://zenodo.org/recor..
 
?
7

Synthesizing Quantum-Circuit Optimizers:

Xu, Amanda ; Molavi, Abtin ; Pick, Lauren..
http://arxiv.org/abs/2211.09691.  , 2022
Link: http://arxiv.org/abs/221..
 
?
8

Qubit Mapping and Routing via MaxSAT:

Molavi, Abtin ; Xu, Amanda ; Diges, Martin...
http://arxiv.org/abs/2208.13679.  , 2022
Link: http://arxiv.org/abs/220..
 
?
9

SATMAP artifact:

Molavi, Abtin ; Xu, Amanda ; Diges, Martin...
doi:10.5281/zenodo.6928225.  , 2022
Link: https://zenodo.org/recor..
 
?
10

SATMAP artifact:

Molavi, Abtin ; Xu, Amanda ; Diges, Martin...
https://doi.org/10.5281/zenodo.6928225.  , 2022
Link: https://doi.org/10.5281/..
 
?
11

SATMAP artifact:

Molavi, Abtin ; Xu, Amanda ; Diges, Martin...
doi:10.5281/zenodo.6928225.  , 2022
Link: https://zenodo.org/recor..
 
?
12

SATMAP artifact:

Molavi, Abtin ; Xu, Amanda ; Diges, Martin...
doi:10.5281/zenodo.6928225.  , 2022
Link: https://zenodo.org/recor..
 
?
13

AutoWS-Bench-101: Benchmarking Automated Weak Supervision w..:

Roberts, Nicholas ; Li, Xintong ; Huang, Tzu-Heng...
http://arxiv.org/abs/2208.14362.  , 2022
Link: http://arxiv.org/abs/220..
 
?
14

Automating Modular Verification of Secure Information Flow:

Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2020
Link: https://hdl.handle.net/2..
 
?
15

Social and structural barriers and facilitators to HIV heal..:

Rueda, Zulma Vanessa ; Haworth-Brockman, Margaret ; Sobie, Cheryl...
BMJ Open.  13 (2023)  8 - p. e067813 , 2023
Link: https://doi.org/10.1136/..
 
1-15