IsPri UNSW
IsPri UNSW
Home
Team
Publications
News
Light
Dark
Automatic
Paper-Conference
Queer In AI: A Case Study in Community-Led Participatory AI
O O Queerinai
,
A Ovalle
,
A Subramonian
,
A Singh
,
C Voelcker
,
D J Sutherland
,
D Locatelli
,
E Breznik
,
F Klubicka
,
H Yuan
,
J Hetvi
,
H Zhang
,
J Shriram
,
K Lehman
,
L Soldaini
,
M Sap
,
M P Deisenroth
,
M L Pacheco
,
M Ryskina
,
M Mundt
,
M Agarwal
,
N Mclean
,
P Xu
,
A Pranav
,
R Korpan
,
R Ray
,
S Mathew
,
S Arora
,
S John
,
T Anand
,
V Agrawal
,
W Agnew
,
Y Long
,
Z J Wang
,
Z Talat
,
A Ghosh
,
N Dennler
,
M Noseworthy
,
S Jha
,
E Baylor
,
Aditya Joshi
,
N Y Bilenko
,
A Mcnamara
,
R Gontijo-Lopes
,
A Markham
,
E Dong
,
J Kay
,
M Saraswat
,
N Vytla
,
L Stark
Cite
DOI
URL
An Integrated Testbed for Trojans in Printed Circuit Boards with Fuzzing Capabilities
P. Krishnamurthy
,
H. Pearce
,
V.R. Surabhi
,
J. Trujillo
,
R. Karri
,
F. Khorrami
Jan 1, 2023
DOI
URL
An Integrated Testbed for Trojans in Printed Circuit Boards with Fuzzing Capabilities
P. Krishnamurthy
,
H. Pearce
,
V.R. Surabhi
,
J. Trujillo
,
R. Karri
,
F. Khorrami
Cite
DOI
URL
BAILIF: A Blockchain Agnostic Interoperability Framework
Samuel Karumba
,
Raja Jurdak
,
Salil S. Kanhere
,
Subbu Sethuvenkatraman
Jan 1, 2023
DOI
URL
BAILIF: A Blockchain Agnostic Interoperability Framework
Samuel Karumba
,
Raja Jurdak
,
Salil S. Kanhere
,
Subbu Sethuvenkatraman
Cite
DOI
URL
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
S. Thakur
,
B. Ahmad
,
Z. Fan
,
H. Pearce
,
B. Tan
,
R. Karri
,
B. Dolan-Gavitt
,
S. Garg
Jan 1, 2023
DOI
URL
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
S. Thakur
,
B. Ahmad
,
Z. Fan
,
H. Pearce
,
B. Tan
,
R. Karri
,
B. Dolan-Gavitt
,
S. Garg
Cite
DOI
URL
Chip-Chat: Challenges and Opportunities in Conversational Hardware Design
J. Blocklove
,
S. Garg
,
R. Karri
,
H. Pearce
Jan 1, 2023
DOI
URL
Chip-Chat: Challenges and Opportunities in Conversational Hardware Design
J. Blocklove
,
S. Garg
,
R. Karri
,
H. Pearce
Cite
DOI
URL
Counterfactual Explanations and Model Multiplicity: a Relational Verification View
Francesco Leofante
,
Elena Botoeva
,
Vineet Rajani
,
Pierre Marquis
,
Tran Cao Son
,
Gabriele Kern-Isberner
Jan 1, 2023
DOI
URL
«
»
Cite
×