IsPri UNSW
IsPri UNSW
Home
Team
Publications
News
Light
Dark
Automatic
Article-Journal
VeriGen: A Large Language Model for Verilog Code Generation
Shailja Thakur
,
Baleegh Ahmad
,
Hammond Pearce
,
Benjamin Tan
,
Brendan Dolan-Gavitt
,
Ramesh Karri
,
Siddharth Garg
May 1, 2024
DOI
URL
VeriGen: A Large Language Model for Verilog Code Generation
Shailja Thakur
,
Baleegh Ahmad
,
Hammond Pearce
,
Benjamin Tan
,
Brendan Dolan-Gavitt
,
Ramesh Karri
,
Siddharth Garg
Cite
DOI
URL
(Security) Assertions by Large Language Models
R. Kande
,
H. Pearce
,
B. Tan
,
B. Dolan-Gavitt
,
S. Thakur
,
R. Karri
,
J. Rajendran
Jan 1, 2024
DOI
URL
(Security) Assertions by Large Language Models
R. Kande
,
H. Pearce
,
B. Tan
,
B. Dolan-Gavitt
,
S. Thakur
,
R. Karri
,
J. Rajendran
Cite
DOI
URL
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
Vineet Rajani
,
Gilles Barthe
,
Deepak Garg
Jan 1, 2024
DOI
URL
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
Vineet Rajani
,
Gilles Barthe
,
Deepak Garg
Cite
DOI
URL
Challenges in Designing Blockchain for Cyber-Physical Systems
Guntur Dharma Putra
,
Sidra Malik
,
Volkan Dedeoglu
,
Raja Jurdak
,
Salil S. Kanhere
Jan 1, 2024
DOI
URL
Challenges in Designing Blockchain for Cyber-Physical Systems
Guntur Dharma Putra
,
Sidra Malik
,
Volkan Dedeoglu
,
Raja Jurdak
,
Salil S. Kanhere
Cite
DOI
URL
Electric Vehicle Next Charge Location Prediction
Robert Marlin
,
Raja Jurdak
,
Alsharif Abuadbba
,
Sushmita Ruj
,
Dimity Miller
Jan 1, 2024
DOI
URL
Electric Vehicle Next Charge Location Prediction
Robert Marlin
,
Raja Jurdak
,
Alsharif Abuadbba
,
Sushmita Ruj
,
Dimity Miller
Cite
DOI
URL
«
»
Cite
×