We stand with Ukraine  

Ashley Lin

Orcid: 0009-0007-6360-904X

According to our database1, Ashley Lin authored at least 2 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Foundational Integration Verification of a Cryptographic Server.
[BibTeX]
[DOI]
Andres Erbsen
,
Jade Philipoom
,
Dustin Jamner
,
Ashley Lin
,
Samuel Gruetter
,
Clément Pit-Claudel
,
Adam Chlipala
Proc. ACM Program. Lang., 2024

Introducing the AI Governance and Regulatory Archive (AGORA): An Analytic Infrastructure for Navigating the Emerging AI Governance Landscape.
[BibTeX]
[DOI]
Zachary Arnold
,
Daniel S. Schiff
,
Kaylyn Jackson Schiff
,
Brian Love
,
Jennifer Melot
,
Neha Singh
,
Lindsay Jenkins
,
Ashley Lin
,
Konstantin Pilz
,
Ogadinma Enweareazu
,
Tyler Girard
Proceedings of the Seventh AAAI/ACM Conference on AI, Ethics, and Society (AIES-24) - Full Archival Papers, October 21-23, 2024, San Jose, California, USA, 2024


  Loading...