{"id":"https://openalex.org/W4416748954","doi":"https://doi.org/10.1109/iros60139.2025.11245908","title":"ad-trait: A Fast and Flexible Automatic Differentiation Library in Rust","display_name":"ad-trait: A Fast and Flexible Automatic Differentiation Library in Rust","publication_year":2025,"publication_date":"2025-10-19","ids":{"openalex":"https://openalex.org/W4416748954","doi":"https://doi.org/10.1109/iros60139.2025.11245908"},"language":null,"primary_location":{"id":"doi:10.1109/iros60139.2025.11245908","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros60139.2025.11245908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029567928","display_name":"Liang Chen","orcid":"https://orcid.org/0000-0003-4274-8933"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Chen Liang","raw_affiliation_strings":["Yale University,Department of Computer Science,New Haven,CT,USA,06520"],"affiliations":[{"raw_affiliation_string":"Yale University,Department of Computer Science,New Haven,CT,USA,06520","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120790442","display_name":"Qian Wang","orcid":"https://orcid.org/0000-0002-8601-749X"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qian Wang","raw_affiliation_strings":["Yale University,Department of Computer Science,New Haven,CT,USA,06520"],"affiliations":[{"raw_affiliation_string":"Yale University,Department of Computer Science,New Haven,CT,USA,06520","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067041128","display_name":"Anqi Xu","orcid":"https://orcid.org/0000-0002-7073-171X"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andy Xu","raw_affiliation_strings":["Yale University,Department of Computer Science,New Haven,CT,USA,06520"],"affiliations":[{"raw_affiliation_string":"Yale University,Department of Computer Science,New Haven,CT,USA,06520","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006252401","display_name":"Daniel Rakita","orcid":"https://orcid.org/0000-0001-6292-8515"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Rakita","raw_affiliation_strings":["Yale University,Department of Computer Science,New Haven,CT,USA,06520"],"affiliations":[{"raw_affiliation_string":"Yale University,Department of Computer Science,New Haven,CT,USA,06520","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5029567928"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39656954,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1320","last_page":"1326"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.27730000019073486,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.27730000019073486,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.22030000388622284,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.14489999413490295,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.7924000024795532},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.6215999722480774},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.5961999893188477},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5579000115394592},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4171999990940094},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.40630000829696655},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.34139999747276306}],"concepts":[{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.7924000024795532},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6983000040054321},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.6215999722480774},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.5961999893188477},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5819000005722046},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5579000115394592},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4171999990940094},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.40630000829696655},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37869998812675476},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3765000104904175},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.34139999747276306},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.33180001378059387},{"id":"https://openalex.org/C133512626","wikidata":"https://www.wikidata.org/wiki/Q787371","display_name":"Automatic differentiation","level":3,"score":0.3174000084400177},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3149999976158142},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.28200000524520874},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.26249998807907104},{"id":"https://openalex.org/C2777601683","wikidata":"https://www.wikidata.org/wiki/Q6499736","display_name":"Vocabulary","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.2533999979496002},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25290000438690186},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iros60139.2025.11245908","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros60139.2025.11245908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1497695555","https://openalex.org/W2031070741","https://openalex.org/W2058760524","https://openalex.org/W2120323262","https://openalex.org/W2478429860","https://openalex.org/W2901943374","https://openalex.org/W3210510236","https://openalex.org/W4293775970","https://openalex.org/W4399469378"],"related_works":[],"abstract_inverted_index":{"The":[0,84],"Rust":[1,101],"programming":[2,141],"language":[3],"is":[4,30,133,148],"an":[5],"attractive":[6],"choice":[7],"for":[8,81,143],"robotics":[9,154],"and":[10,16,89,174],"related":[11],"fields,":[12],"offering":[13],"highly":[14],"efficient":[15],"memory-safe":[17],"code.":[18],"However,":[19],"a":[20,59,72,152,169],"key":[21],"limitation":[22],"preventing":[23],"its":[24,159],"broader":[25,175],"adoption":[26],"in":[27,100,119],"these":[28],"domains":[29],"the":[31,95,135,172],"lack":[32],"of":[33,171,177],"high-quality,":[34],"well-supported":[35],"Automatic":[36],"Differentiation":[37],"(AD)\u2014a":[38],"fundamental":[39],"technique":[40],"that":[41,75,130],"enables":[42],"convenient":[43],"derivative":[44,82],"computation":[45],"by":[46],"systematically":[47],"accumulating":[48],"data":[49],"during":[50],"function":[51],"evaluation.":[52],"In":[53],"this":[54],"work,":[55],"we":[56,128,157],"introduce":[57],"ad-trait,":[58],"new":[60],"Rust-based":[61,153],"AD":[62,98,137],"library.":[63],"Our":[64],"implementation":[65,99],"overloads":[66],"Rust\u2019s":[67,109],"standard":[68],"floating-point":[69],"type":[70],"with":[71,168],"flexible":[73],"trait":[74],"can":[76],"efficiently":[77],"accumulate":[78],"necessary":[79],"information":[80],"computation.":[83],"library":[85,132],"supports":[86],"both":[87,104],"forward-mode":[88,120],"reverse-mode":[90],"automatic":[91],"differentiation,":[92],"making":[93],"it":[94,147],"first":[96],"operator-overloading":[97],"to":[102,122,161],"offer":[103],"options.":[105],"Additionally,":[106],"ad-trait":[107],"leverages":[108],"performance-oriented":[110],"features,":[111],"such":[112],"as":[113],"Single":[114],"Instruction,":[115],"Multiple":[116],"Data":[117],"acceleration":[118],"AD,":[121],"enhance":[123],"efficiency.":[124],"Through":[125],"benchmarking":[126],"experiments,":[127],"show":[129],"our":[131,178],"among":[134],"fastest":[136],"implementations":[138],"across":[139],"several":[140],"languages":[142],"computing":[144],"derivatives.":[145],"Moreover,":[146],"already":[149],"integrated":[150],"into":[151],"library,":[155],"where":[156],"showcase":[158],"ability":[160],"facilitate":[162],"fast":[163],"optimization":[164],"procedures.":[165],"We":[166],"conclude":[167],"discussion":[170],"limitations":[173],"implications":[176],"work.":[179]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-11-28T00:00:00"}