Jonathan Bachrach

According to our database, Jonathan Bachrach authored at least 54 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Simulator Independent Coverage for RTL Hardware Languages.

Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Hammer: a modular and reusable physical design flow tool: invited.

Harrison Liew, Daniel Grubb, John Wright, Colin Schmidt, Nayiri Krzysztofowicz, Adam M. Izraelevitz, Edward Wang, Krste Asanovic, Jonathan Bachrach, Borivoje Nikolic

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Accessible, FPGA Resource-Optimized Simulation of Multiclock Systems in FireSim.

David Biancolin, Albert Magyar, Sagar Karandikar, Alon Amid, Borivoje Nikolic, Jonathan Bachrach, Krste Asanovic

IEEE Micro, 2021

2020

A Methodology for Reusable Physical Design.

Edward Wang, Colin Schmidt, Adam M. Izraelevitz, John Charles Wright, Borivoje Nikolic, Elad Alon, Jonathan Bachrach

Proceedings of the 21st International Symposium on Quality Electronic Design, 2020

Invited: Chipyard - An Integrated SoC Research and Implementation Environment.

Alon Amid, David Biancolin, Abraham Gonzalez, Daniel Grubb, Sagar Karandikar, Harrison Liew, Albert Magyar, Howard Mao, Albert J. Ou, Nathan Pemberton, Paul Rigge, Colin Schmidt, John Charles Wright, Jerry Zhao, Jonathan Bachrach, Yakun Sophia Shao, Borivoje Nikolic, Krste Asanovic

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

FireSim: FPGA-Accelerated Cycle-Exact Scale-Out System Simulation in the Public Cloud.

Sagar Karandikar, Howard Mao, Donggyu Kim, David Biancolin, Alon Amid, Dayeol Lee, Nathan Pemberton, Emmanuel Amaro, Colin Schmidt, Aditya Chopra, Qijing Huang, Kyle Kovacs, Borivoje Nikolic, Randy Howard Katz, Jonathan Bachrach, Krste Asanovic

IEEE Micro, 2019

A Mixed-Signal RISC-V Signal Analysis SoC Generator With a 16-nm FinFET Instance.

Steven Bailey, Paul Rigge, Jaeduk Han, Richard Lin, Eric Chang, Howard Mao, Zhongkai Wang, Chick Markley, Adam M. Izraelevitz, Angie Wang, Nathan Narevsky, Woo-Rham Bae, Steve Shauck, Sergio Montano, Justin Norsworthy, Munir Razzaque, Wen Hau Ma, Akalu Lentiro, Matthew Doerflein, Darin Heckendorn, Jim McGrath, Franco DeSeta, Ronen Shoham, Mike Stellfox, Mark Snowden, Joseph Cole, Dan Fuhrman, Brian C. Richards, Jonathan Bachrach, Elad Alon, Borivoje Nikolic

IEEE J. Solid State Circuits, 2019

Simmani: Runtime Power Modeling for Arbitrary RTL with Automatic Signal Selection.

Donggyu Kim, Jerry Zhao, Jonathan Bachrach, Krste Asanovic

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes.

Albert Magyar, David Biancolin, John Koenig, Sanjit Seshia, Jonathan Bachrach, Krste Asanovic

Proceedings of the International Conference on Computer-Aided Design, 2019

FASED: FPGA-Accelerated Simulation and Evaluation of DRAM.

David Biancolin, Sagar Karandikar, Donggyu Kim, Jack Koenig, Andrew Waterman, Jonathan Bachrach, Krste Asanovic

Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

Rafael Dutra, Jonathan Bachrach, Koushik Sen

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Open-Source EDA Tools and IP, A View from the Trenches.

Elad Alon, Krste Asanovic, Jonathan Bachrach, Borivoje Nikolic

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Efficient sampling of SAT solutions for testing.

Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen

Proceedings of the 40th International Conference on Software Engineering, 2018

RFUZZ: coverage-directed fuzz testing of RTL on FPGAs.

Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen

Proceedings of the International Conference on Computer-Aided Design, 2018

SMTSampler: efficient stimulus generation from complex SMT constraints.

Rafael Dutra, Jonathan Bachrach, Koushik Sen

Proceedings of the International Conference on Computer-Aided Design, 2018

DESSERT: Debugging RTL Effectively with State Snapshotting for Error Replays across Trillions of Cycles.

Donggyu Kim, Christopher Celio, Sagar Karandikar, David Biancolin, Jonathan Bachrach, Krste Asanovic

Proceedings of the 28th International Conference on Field Programmable Logic and Applications, 2018

ACED: a hardware library for generating DSP systems.

Angie Wang, Paul Rigge, Adam M. Izraelevitz, Chick Markley, Jonathan Bachrach, Borivoje Nikolic

Proceedings of the 55th Annual Design Automation Conference, 2018

A Generated Multirate Signal Analysis RISC-V SoC in 16nm FinFET.

Stevo Bailey, Jaeduk Han, Paul Rigge, Richard Lin, Eric Chang, Howard Mao, Zhongkai Wang, Chick Markley, Adam M. Izraelevitz, Angie Wang, Nathan Narevsky, Woo-Rham Bae, Steve Shauck, Sergio Montano, Justin Norsworthy, Munir Razzaque, Wen Hau Ma, Akalu Lentiro, Matthew Doerflein, Darin Heckendorn, Jim McGrath, Franco DeSeta, Ronen Shoham, Mike Stellfox, Mark Snowden, Joseph Cole, Dan Fuhrman, Brian C. Richards, Jonathan Bachrach, Elad Alon, Borivoje Nikolic

Proceedings of the IEEE Asian Solid-State Circuits Conference, 2018

2017

Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations.

Adam M. Izraelevitz, Jack Koenig, Patrick Li, Richard Lin, Angie Wang, Albert Magyar, Donggyu Kim, Colin Schmidt, Chick Markley, Jim Lawson, Jonathan Bachrach

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Cyclist: Accelerating hardware development.

Jonathan Bachrach, Albert Magyar, Daniel Palmer Dabbelt, Patrick Li, Richard Lin, Krste Asanovic

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

A Hardware Accelerator for Computing an Exact Dot Product.

Jack Koenig, David Biancolin, Jonathan Bachrach, Krste Asanovic

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

2016

An Agile Approach to Building RISC-V Microprocessors.

Yunsup Lee, Andrew Waterman, Henry Cook, Brian Zimmer, Ben Keller, Alberto Puggelli, Jaehwa Kwak, Ruzica Jevtic, Stevo Bailey, Milovan Blagojevic, Pi-Feng Chiu, Rimas Avizienis, Brian C. Richards, Jonathan Bachrach, David A. Patterson, Elad Alon, Bora Nikolic, Krste Asanovic

IEEE Micro, 2016

Strober: Fast and Accurate Sample-Based Energy Simulation for Arbitrary RTL.

Donggyu Kim, Adam M. Izraelevitz, Christopher Celio, Hokeun Kim, Brian Zimmer, Yunsup Lee, Jonathan Bachrach, Krste Asanovic

Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016

JITPCB.

Jonathan Bachrach, David Biancolin, Austin Buchan, Duncan W. Haldane, Richard Lin

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

A generator of memory-based, runtime-reconfigurable 2N3M5K FFT engines.

Angie Wang, Jonathan Bachrach, Borivoje Nikolic

Proceedings of the 2016 IEEE International Conference on Acoustics, 2016

2012

Towards a minimal architecture for a printable, modular, and robust sensing skin.

Austin Buchan, Jonathan Bachrach, Ronald S. Fearing

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Chisel: constructing hardware in a Scala embedded language.

Jonathan Bachrach, Huy Vo, Brian C. Richards, Yunsup Lee, Andrew Waterman, Rimas Avizienis, John Wawrzynek, Krste Asanovic

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Cryptography with Asynchronous Logic Automata.

Peter Schmidt-Nielsen, Kailiang Chen, Jonathan Bachrach, Scott Greenwald, Forrest Green, Neil Gershenfeld

Proceedings of the Cryptography and Security: From Theory to Applications, 2012

2011

Programmable Assembly With Universally Foldable Strings (Moteins).

Kenneth C. Cheung, Erik D. Demaine, Jonathan Bachrach, Saul Griffith

IEEE Trans. Robotics, 2011

2010

Composable continuous-space programs for robotic swarms.

Jonathan Bachrach, Jacob Beal, James McLurkin

Neural Comput. Appl., 2010

2009

Automatically patching errors in deployed software.

Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Behavior modes for randomized robotic coverage.

Jacob Beal, Nikolaus Correll, Leonardo Urbina, Jonathan Bachrach

Proceedings of the 2nd International ICST Conference on Robot Communication and Coordination, 2009

Ad-hoc wireless network coverage with networked robots that cannot localize.

Nikolaus Correll, Jonathan Bachrach, Daniel Vickery, Daniela Rus

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Fast Self-stabilization for Gradients.

Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark M. Tobenkin

Proceedings of the Distributed Computing in Sensor Systems, 2009

2008

The intimacy machine.

Jonathan Bachrach

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2008

Cells Are Plausible Targets for High-Level Spatial Languages.

Jacob Beal, Jonathan Bachrach

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Empirical Characterization of Discretization Error in Gradient-Based Algorithms.

Jonathan Bachrach, Jacob Beal, Joshua Horowitz, Dany Qumsiyeh

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Fast self-healing gradients.

Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark M. Tobenkin

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Hardware Scripting in Gel.

Jonathan Bachrach, Dany Qumsiyeh, Mark M. Tobenkin

Proceedings of the 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, 2008

Protoswarm: a language for programming multi-robot systems using the amorphous medium abstraction.

Jonathan Bachrach, James McLurkin, Anthony Grue

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Continuous Space-Time Semantics Allow Adaptive Program Execution.

Jonathan Bachrach, Jacob Beal, Takeshi Fujiwara

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Programming Manifolds.

Jacob Beal, Jonathan Bachrach

Proceedings of the Fair Division, 24.06. - 29.06.2007, 2007

2006

Infrastructure for Engineered Emergence on Sensor/Actuator Networks.

Jacob Beal, Jonathan Bachrach

IEEE Intell. Syst., 2006

Cognitive Adaptive Radio Teams.

Richard Lau, Stephanie Demers, Yibei Ling, Bruce Siegell, Einar Vollset, Ken Birman, Robbert van Renesse, Howard E. Shrobe, Jonathan Bachrach, Lester Foster

Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006

Simultaneous localization, calibration, and tracking in an ad hoc sensor network.

Christopher Taylor, Ali Rahimi, Jonathan Bachrach, Howard E. Shrobe, Anthony Grue

Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

2005

Localization in Sensor Networks.

Jonathan Bachrach, Christopher Taylor

Proceedings of the Handbook of Sensor Networks: Algorithms and Architectures, 2005

2004

Experimental Results for and Theoretical Analysis of a Self-Organizing Global Coordinate System for Ad Hoc Sensor Networks.

Jonathan Bachrach, Radhika Nagpal, Michael Salib, Howard E. Shrobe

Telecommun. Syst., 2004

I: move.

Jonathan Bachrach, Nell Breyer

Proceedings of the Conference on Designing Interactive Systems: Processes, 2004

2003

Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network.

Radhika Nagpal, Howard E. Shrobe, Jonathan Bachrach

Proceedings of the Information Processing in Sensor Networks, 2003

2001

The Java Syntactic Extender.

Jonathan Bachrach, Keith Playford

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

1993

A High-Performance Dylan Implementation.

Jonathan Bachrach

Proceedings of the Opening a New Horizon: Proceedings of the 1993 International Computer Music Conference, 1993

1991

SLUG: A Connectionist Architecture for Inferring the Structure of Finite-State Environments.

Michael Mozer, Jonathan Bachrach

Mach. Learn., 1991

1990

Discovering the Structure of a Reactive Environment by Exploration.

Michael C. Mozer, Jonathan Bachrach

Neural Comput., 1990

A Connectionist Learning Control Architecture for Navigation.

Jonathan Bachrach

Proceedings of the Advances in Neural Information Processing Systems 3, 1990