{"id":"https://openalex.org/W2283597249","doi":"https://doi.org/10.1145/2839509.2844657","title":"Panel","display_name":"Panel","publication_year":2016,"publication_date":"2016-02-17","ids":{"openalex":"https://openalex.org/W2283597249","doi":"https://doi.org/10.1145/2839509.2844657","mag":"2283597249"},"language":"en","primary_location":{"id":"doi:10.1145/2839509.2844657","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2839509.2844657","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2844657&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 47th ACM Technical Symposium on Computing Science Education","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2844657&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111702655","display_name":"Gregory Kulczycki","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gregory Kulczycki","raw_affiliation_strings":["Virginia Tech, Falls Church, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Tech, Falls Church, SC, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047326006","display_name":"Murali Sitaraman","orcid":null},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Murali Sitaraman","raw_affiliation_strings":["Clemson University, Clemson, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041569881","display_name":"Nigamanth Sridhar","orcid":"https://orcid.org/0000-0002-1549-1848"},"institutions":[{"id":"https://openalex.org/I102607778","display_name":"Cleveland State University","ror":"https://ror.org/002tx1f22","country_code":"US","type":"education","lineage":["https://openalex.org/I102607778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nigamanth Sridhar","raw_affiliation_strings":["Cleveland State University, Cleveland, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cleveland State University, Cleveland, OH, USA","institution_ids":["https://openalex.org/I102607778"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023529796","display_name":"Bruce W. Weide","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bruce W. Weide","raw_affiliation_strings":["The Ohio State University, Columbus, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Ohio State University, Columbus, OH, USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"160","last_page":"161"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.949400007724762,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9478999972343445,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.42391979694366455}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42391979694366455}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2839509.2844657","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2839509.2844657","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2844657&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 47th ACM Technical Symposium on Computing Science Education","raw_type":"proceedings-article"},{"id":"pmh:oai:engagedscholarship.csuohio.edu:enece_facpub-1423","is_oa":true,"landing_page_url":"https://engagedscholarship.csuohio.edu/enece_facpub/414","pdf_url":"http://dl.acm.org/citation.cfm?id=2844657&CFID=696785612&CFTOKEN=35774891","source":{"id":"https://openalex.org/S4306400889","display_name":"EngagedScholarship @ Cleveland State University (Cleveland State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102607778","host_organization_name":"Cleveland State University","host_organization_lineage":["https://openalex.org/I102607778"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical and Computer Engineering Faculty Publications","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/2839509.2844657","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2839509.2844657","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2844657&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 47th ACM Technical Symposium on Computing Science Education","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.8600000143051147}],"awards":[{"id":"https://openalex.org/G3711661633","display_name":null,"funder_award_id":"CCF-1161916, CCF-1162331, DUE-0942542, and DUE-1022941","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3980620535","display_name":"SHF: Medium: Collaborative Research: Specification and Mathematics Engineering for the Verified Software End-Game","funder_award_id":"1161916","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4254888881","display_name":"Automated Support for Developing Logical Reasoning Skills in Discrete Mathematics Courses","funder_award_id":"0942542","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5023173072","display_name":"Collaborative Research: \"Hands-On\" Collaborative Reasoning across the Curriculm","funder_award_id":"1022941","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6081791459","display_name":null,"funder_award_id":"CCF-1161916","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2283597249.pdf","grobid_xml":"https://content.openalex.org/works/W2283597249.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1975856079","https://openalex.org/W2000691319","https://openalex.org/W2006365753","https://openalex.org/W2075561046","https://openalex.org/W2133047062","https://openalex.org/W3140896149","https://openalex.org/W3146122321"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"A":[0],"central":[1],"goal":[2],"of":[3,17,52,84,95,119],"computer":[4],"science":[5],"education":[6],"is":[7,87],"to":[8,12,78,88,92,122,147,166,176],"teach":[9],"students":[10,23],"how":[11],"reason":[13],"about":[14],"the":[15,18,53,61,76,90,98,108,135,141,159,169],"correctness":[16],"code":[19],"they":[20],"write.":[21],"Typically,":[22,42],"use":[24],"a":[25,93,120],"trial":[26],"and":[27,30,73,80,144,150,161],"error":[28],"process":[29],"check":[31],"that":[32],"their":[33,103,173],"logic":[34],"\"works\"":[35],"by":[36],"running":[37],"it":[38],"on":[39,158,172],"test":[40],"inputs.":[41],"instructors":[43,68],"encour-age":[44],"them":[45,72],"towards":[46],"logical":[47],"reasoning":[48,56,96,170,179],"through":[49],"manual":[50],"tracing":[51],"code.":[54],"Rarely":[55],"tools":[57,97,109,154,171],"are":[58,69,155],"used":[59,101,112],"in":[60,102,113],"process,":[62],"at":[63],"least":[64],"partly":[65],"because":[66],"few":[67],"familiar":[70],"with":[71,168],"fewer":[74],"have":[75,100,110,131],"time":[77],"investigate":[79],"experiment.":[81],"The":[82,137,153],"purpose":[83],"this":[85],"panel":[86],"introduce":[89],"attendees":[91,162],"variety":[94],"presenters":[99],"classrooms.":[104],"In":[105,126],"some":[106],"cases,":[107,128],"been":[111,132],"only":[114],"one":[115],"or":[116],"two":[117],"classes":[118],"course":[121],"illustrate":[123],"specific":[124],"points.":[125],"other":[127],"entire":[129],"projects":[130],"done":[133],"using":[134],"tools.":[136],"courses":[138],"range":[139],"from":[140],"introductory":[142],"sequence":[143],"dis-crete":[145],"structures":[146],"software":[148],"engineering":[149],"graduate-level":[151],"courses.":[152],"freely":[156],"available":[157],"web":[160],"will":[163],"be":[164],"encouraged":[165],"experiment":[167],"own":[174],"laptops":[175],"solve":[177],"simple":[178],"problems.":[180]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-06-24T00:00:00"}