{"id":"https://openalex.org/W1530724886","doi":"https://doi.org/10.23919/ecc.2013.6669712","title":"Code generation for embedded second-order cone programming","display_name":"Code generation for embedded second-order cone programming","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W1530724886","doi":"https://doi.org/10.23919/ecc.2013.6669712","mag":"1530724886"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.2013.6669712","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2013.6669712","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 European Control Conference (ECC)","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/A5059765988","display_name":"Eric Chu","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eric Chu","raw_affiliation_strings":["Electrical Engineering Department at Stanford University","Electr. Eng. Dept., Stanford Univ., Stanford, CA, USA"],"affiliations":[{"raw_affiliation_string":"Electrical Engineering Department at Stanford University","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Electr. Eng. Dept., Stanford Univ., Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076583746","display_name":"Neal Parikh","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["FR","US"],"is_corresponding":false,"raw_author_name":"Neal Parikh","raw_affiliation_strings":["Computer Science Department at Stanford University","Computer Science Department Stanford University Stanford, CA, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department at Stanford University","institution_ids":["https://openalex.org/I4210156583","https://openalex.org/I97018004"]},{"raw_affiliation_string":"Computer Science Department Stanford University Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079722989","display_name":"Alexander Domahidi","orcid":"https://orcid.org/0000-0002-6828-1668"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Alexander Domahidi","raw_affiliation_strings":["Automatic Control Laboratory at ETH Zurich","[Autom. Control Lab., ETH Zurich, Z\u00fcrich, Switzerland]"],"affiliations":[{"raw_affiliation_string":"Automatic Control Laboratory at ETH Zurich","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"[Autom. Control Lab., ETH Zurich, Z\u00fcrich, Switzerland]","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011176205","display_name":"Stephen Boyd","orcid":"https://orcid.org/0000-0001-8353-6000"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Boyd","raw_affiliation_strings":["Electrical Engineering Department at Stanford University","Electr. Eng. Dept., Stanford Univ., Stanford, CA, USA"],"affiliations":[{"raw_affiliation_string":"Electrical Engineering Department at Stanford University","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Electr. Eng. Dept., Stanford Univ., Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5059765988"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":8.8764,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.9818084,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1547","last_page":"1552"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9983999729156494,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7839741110801697},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6424736380577087},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6042011976242065},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5483435392379761},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5401502847671509},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.5201694965362549},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48199597001075745},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4292272627353668},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3747994303703308},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37152600288391113},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11232221126556396}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7839741110801697},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6424736380577087},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6042011976242065},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5483435392379761},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5401502847671509},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.5201694965362549},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48199597001075745},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4292272627353668},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3747994303703308},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37152600288391113},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11232221126556396},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/ecc.2013.6669712","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2013.6669712","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.398.7180","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.7180","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://stanford.edu/~boyd/papers/pdf/ecos_codegen_ecc.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W40319279","https://openalex.org/W78236450","https://openalex.org/W1503221585","https://openalex.org/W1568307856","https://openalex.org/W1977164425","https://openalex.org/W2009923109","https://openalex.org/W2026079951","https://openalex.org/W2030485731","https://openalex.org/W2105235982","https://openalex.org/W2111182886","https://openalex.org/W2113642685","https://openalex.org/W2117402460","https://openalex.org/W2129516068","https://openalex.org/W2151460223","https://openalex.org/W2178935672","https://openalex.org/W2296319761","https://openalex.org/W2536620281"],"related_works":["https://openalex.org/W4252501555","https://openalex.org/W2003848320","https://openalex.org/W650988184","https://openalex.org/W2162410319","https://openalex.org/W2137356287","https://openalex.org/W4321184925","https://openalex.org/W1483618713","https://openalex.org/W60915090","https://openalex.org/W2025840053","https://openalex.org/W2161692994"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2],"a":[3,64,100,147],"framework":[4],"for":[5,54,110,173],"generating":[6],"easily":[7],"verifiable":[8],"code":[9,37,65,78,151],"to":[10,32,35,44,47,87,125,137,157],"solve":[11],"convex":[12,73],"optimization":[13,74],"problems":[14,75],"in":[15,83,89,121,128],"embedded":[16,27,174],"applications":[17],"by":[18,99],"transforming":[19],"them":[20],"into":[21],"equivalent":[22,91],"second-order":[23,92],"cone":[24,93],"programs.":[25],"In":[26],"applications,":[28],"it":[29,40],"is":[30,41,96,115,152],"critical":[31],"be":[33,45,106],"able":[34,46],"verify":[36],"correctness,":[38],"but":[39],"also":[42],"desirable":[43],"rapidly":[48],"prototype":[49],"and":[50,76,109,155],"deploy":[51],"high-performance":[52],"solvers":[53,172],"different":[55],"problems.":[56],"To":[57],"balance":[58],"these":[59],"two":[60],"requirements,":[61],"we":[62,117],"propose":[63],"generation":[66],"system":[67],"that":[68,79,104,116],"takes":[69],"high-level":[70,166],"descriptions":[71],"of":[72,165],"generates":[77],"maps":[80],"the":[81,84,119,122,135,149,163],"parameters":[82,120,136],"original":[85,123],"problem":[86,124,138],"data":[88,139],"an":[90],"program,":[94],"which":[95,131],"then":[97],"solved":[98],"single,":[101],"external":[102],"solver":[103],"can":[105],"verified":[107],"once":[108],"all.":[111],"A":[112],"novel":[113],"aspect":[114],"restrict":[118],"only":[126],"appear":[127],"affine":[129],"functions,":[130],"lets":[132],"us":[133],"map":[134],"without":[140],"performing":[141],"any":[142],"floating":[143],"point":[144],"operations.":[145],"As":[146],"result,":[148],"generated":[150],"lightweight,":[153],"fast,":[154],"trivial":[156],"verify.":[158],"The":[159],"approach":[160],"thus":[161],"marries":[162],"benefits":[164],"parser/solvers":[167],"with":[168],"custom,":[169],"high-performance,":[170],"high-reliability":[171],"applications.":[175]},"counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":11},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}