Faculty

Institution

Unit

Venue

Benjamin Carrion Schaefer

Assistant Professor

University of Texas at Dallas

Affiliations

Erik Jonsson School of Engineering and Computer Science

Electrical and Computer Engineering

Benjamin Carrion Schaefer is currently serving as an Electrical And Computer Engineering Assistant Professor at University of Texas At Dallas.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Benjamin Carrion Schaefer

University of Texas at Dallas

Assistant Professor

You can click a keyword to filter the displayed items

systems engineering computer science electrical engineering design space exploration computer engineering design optimization machine learning hardware acceleration high-level synthesis hardware security space exploration reconfigurable architectures computer-aided design modeling and simulation field programmable gate array computer security design automation embedded systems behavioral ips computer architecture vlsi technology fpga design vlsi design engineering optimization data security scientific computing electronic design accelerated design electronic design automation approximate computing accelerator technology discrete element method power electronics automatic control circuit design hardware accelerators reliability engineering information technology human-computer interaction embedded architecture system synthesis fault tolerance intelligent computing advanced design esl design system integration concurrency theory control system security simulated annealing computational optimization energy conversion high performance computer architecture security management storage security adaptive optimization distributed computing obfuscation (software) control architecture technology integration functional verification software verification computer-aided verification source code analysis secure computing approximate computing optimizations simulated annealer method operation clustering behavioral intellectual properties property checking techniques hardware trojan detection design obfuscation deflection-driven hls-based computation exact latencies embedded fpga functional obfuscation meta-heuristic specific parameters design methodologies computer design hardware modeling vlsi architecture model-based system engineering vlsi circuit

Notable Scholarly Works

Notable Federal Grants

Collaborators

Circumventing Restrictions in Commercial High-Level Synthesis Tools. (2024)

Benjamin Carrion SchaferChaitali G. Sathe

chemical synthesissynthesis methodsengineering

Finding Bugs in Rtl Descriptions: High-Level Synthesis to the Rescue. (2024)

Baharealsadat ParchamdarBenjamin Carrion Schaefer

rtl descriptionsnatural language processinghigh-level synthesis

Investigating the Effect of Hyper-Parameter Settings on Simulated Annealing-Based High-Level Synthesis Design Space Exploration. (2024)

B. ParchamdarB. Carrion Schaefer

numerical simulationsdesign optimizationoptimal experimental designdesignengineeringsimulated annealingsimulation optimizationsystems engineeringspace explorationsystem synthesishyper-parameter settingsmodeling and simulationdesign space exploration

MOSAIC: Maximizing Resource Sharing in Behavioral Application Specific Processors. Microprocessors and Microsystems (2024)

Qilin SiBenjamin Carrion Schafer

systems engineeringcomputer sciencedesign optimizationcomputer engineering

Robust and Efficient Rtl to C Compiler Optimized for High-Level Synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024)

Md Imtiaz RashidBenjamin Carrion Schafer

program synthesismicroelectronicsvlsi technologycomputer-aided designcomputer scienceefficient rtlcomputational engineeringelectronicsoptimizing compilerscontrolled releasecomputer engineeringsoftware designcompiler technologyhigh-level synthesisprogramming languagesrapid prototypingdesign optimizationparallelizing compilersystems engineeringhigh-level programming language

VERIPY: A Python-Powered Framework for Parsing Verilog Hdl and High-Level Behavioral Analysis of Hardware. (2024)

Md Imtiaz RashidB. Carrion Schaefer

high-level behavioral analysiscomputer sciencepython-powered frameworkverilog hdl

ADVICE: Automatic Design and Optimization of Behavioral Application Specific Processors. Proceedings of the Great Lakes Symposium on VLSI 2022 (2023)

Qilin SiBenjamin Carrion Schaefer

computer scienceengineering optimizationautomatic designdesign optimization

Approximating Hw Accelerators Through Partial Extractions Onto Shared Artificial Neural Networks. Proceedings of the 28th Asia and South Pacific Design Automation Conference (2023)

Prattay ChowdhuryJorge Castro GodínezBenjamin Carrion Schafer

hw acceleratorscomputer sciencemachine learningpartial extractionssystems engineeringdesign automationbiomedical engineering

CERTIFY: Automatic Measuring the Quality of High-Level Synthesis. 2022 IEEE International Symposium on Circuits and Systems (ISCAS) (2023)

Md Imtiaz RashidAmir H. TorabiBenjamin Carrion Schaefer

systems engineeringformal verificationhigh-level synthesis

Fast and Inexpensive High-Level Synthesis Design Space Exploration: Machine Learning to the Rescue. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023)

Md Imtiaz RashidBenjamin Carrion Schafer

computer-aided designdesign optimizationcomputer engineeringsystems engineeringspace explorationelectrical engineeringdesign space exploration

1
2
3
4
5
13
10 / page

Benjamin Carrion Schaefer

Assistant Professor

University of Texas at Dallas

Affiliations

Erik Jonsson School of Engineering and Computer Science

Electrical and Computer Engineering

Benjamin Carrion Schaefer is currently serving as an Electrical And Computer Engineering Assistant Professor at University of Texas At Dallas.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Benjamin Carrion Schaefer

University of Texas at Dallas

Assistant Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Circumventing Restrictions in Commercial High-Level Synthesis Tools. (2024)

Benjamin Carrion SchaferChaitali G. Sathe

chemical synthesissynthesis methodsengineering

Finding Bugs in Rtl Descriptions: High-Level Synthesis to the Rescue. (2024)

Baharealsadat ParchamdarBenjamin Carrion Schaefer

rtl descriptionsnatural language processinghigh-level synthesis

Investigating the Effect of Hyper-Parameter Settings on Simulated Annealing-Based High-Level Synthesis Design Space Exploration. (2024)

B. ParchamdarB. Carrion Schaefer

MOSAIC: Maximizing Resource Sharing in Behavioral Application Specific Processors. Microprocessors and Microsystems (2024)

Qilin SiBenjamin Carrion Schafer

systems engineeringcomputer sciencedesign optimizationcomputer engineering

Robust and Efficient Rtl to C Compiler Optimized for High-Level Synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024)

Md Imtiaz RashidBenjamin Carrion Schafer

VERIPY: A Python-Powered Framework for Parsing Verilog Hdl and High-Level Behavioral Analysis of Hardware. (2024)

Md Imtiaz RashidB. Carrion Schaefer

high-level behavioral analysiscomputer sciencepython-powered frameworkverilog hdl

ADVICE: Automatic Design and Optimization of Behavioral Application Specific Processors. Proceedings of the Great Lakes Symposium on VLSI 2022 (2023)

Qilin SiBenjamin Carrion Schaefer

computer scienceengineering optimizationautomatic designdesign optimization

Approximating Hw Accelerators Through Partial Extractions Onto Shared Artificial Neural Networks. Proceedings of the 28th Asia and South Pacific Design Automation Conference (2023)

Prattay ChowdhuryJorge Castro GodínezBenjamin Carrion Schafer

hw acceleratorscomputer sciencemachine learningpartial extractionssystems engineeringdesign automationbiomedical engineering

CERTIFY: Automatic Measuring the Quality of High-Level Synthesis. 2022 IEEE International Symposium on Circuits and Systems (ISCAS) (2023)

Md Imtiaz RashidAmir H. TorabiBenjamin Carrion Schaefer

systems engineeringformal verificationhigh-level synthesis

Fast and Inexpensive High-Level Synthesis Design Space Exploration: Machine Learning to the Rescue. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023)

Md Imtiaz RashidBenjamin Carrion Schafer

computer-aided designdesign optimizationcomputer engineeringsystems engineeringspace explorationelectrical engineeringdesign space exploration

1
2
3
4
5
13
10 / page

Similar Faculty Members

Alex K. Jones

Institution

Syracuse University

computer engineering

hardware architecture

Roman L Lysecky

Institution

University of Arizona

design automation

embedded system security

Chris Papachristou

Institution

Case Western Reserve University

field programmable gate array

computer engineering

Puneet Gupta

Institution

University of California, Los Angeles

design

electronic design automation

Russell Tessier

Institution

University of Massachusetts Amherst

electronic design automation

field programmable gate array

Lei He

Institution

University of California, Los Angeles

advanced intelligent system

multidisciplinary ai

Sandip Kundu

Institution

University of Massachusetts Amherst

big data

vlsi circuit design

Partha Pratim Pande

Institution

Washington State University

systems engineering

electrical engineering

Wayne Burleson

Institution

University of Massachusetts Amherst

sensor

field programmable gate array

Alex Orailoglu

Institution

University of California, San Diego

electronic design automation

field programmable gate array

Similar Faculty Members

Alex K. Jones

Institution

Syracuse University

computer engineering

hardware architecture

Roman L Lysecky

Institution

University of Arizona

design automation

embedded system security

Chris Papachristou

Institution

Case Western Reserve University

field programmable gate array

computer engineering

Puneet Gupta

Institution

University of California, Los Angeles

design

electronic design automation

Russell Tessier

Institution

University of Massachusetts Amherst

electronic design automation

field programmable gate array

Lei He

Institution

University of California, Los Angeles

advanced intelligent system

multidisciplinary ai

Sandip Kundu

Institution

University of Massachusetts Amherst

big data

vlsi circuit design

Partha Pratim Pande

Institution

Washington State University

systems engineering

electrical engineering

Wayne Burleson

Institution

University of Massachusetts Amherst

sensor

field programmable gate array

Alex Orailoglu

Institution

University of California, San Diego

electronic design automation

field programmable gate array