Jonathan Bachrach

According to our database1, Jonathan Bachrach authored at least 50 papers between 1990 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 




A Methodology for Reusable Physical Design.
Proceedings of the 21st International Symposium on Quality Electronic Design, 2020

Invited: Chipyard - An Integrated SoC Research and Implementation Environment.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

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

A Mixed-Signal RISC-V Signal Analysis SoC Generator With a 16-nm FinFET Instance.
IEEE J. Solid State Circuits, 2019

Simmani: Runtime Power Modeling for Arbitrary RTL with Automatic Signal Selection.
Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes.
Proceedings of the International Conference on Computer-Aided Design, 2019

FASED: FPGA-Accelerated Simulation and Evaluation of DRAM.
Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Open-Source EDA Tools and IP, A View from the Trenches.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Efficient sampling of SAT solutions for testing.
Proceedings of the 40th International Conference on Software Engineering, 2018

RFUZZ: coverage-directed fuzz testing of RTL on FPGAs.
Proceedings of the International Conference on Computer-Aided Design, 2018

SMTSampler: efficient stimulus generation from complex SMT constraints.
Proceedings of the International Conference on Computer-Aided Design, 2018

DESSERT: Debugging RTL Effectively with State Snapshotting for Error Replays across Trillions of Cycles.
Proceedings of the 28th International Conference on Field Programmable Logic and Applications, 2018

ACED: a hardware library for generating DSP systems.
Proceedings of the 55th Annual Design Automation Conference, 2018

Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Cyclist: Accelerating hardware development.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

A Hardware Accelerator for Computing an Exact Dot Product.
Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

An Agile Approach to Building RISC-V Microprocessors.
IEEE Micro, 2016

Strober: Fast and Accurate Sample-Based Energy Simulation for Arbitrary RTL.
Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016

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

A generator of memory-based, runtime-reconfigurable 2N3M5K FFT engines.
Proceedings of the 2016 IEEE International Conference on Acoustics, 2016

Towards a minimal architecture for a printable, modular, and robust sensing skin.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Chisel: constructing hardware in a Scala embedded language.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Cryptography with Asynchronous Logic Automata.
Proceedings of the Cryptography and Security: From Theory to Applications, 2012

Programmable Assembly With Universally Foldable Strings (Moteins).
IEEE Trans. Robotics, 2011

Composable continuous-space programs for robotic swarms.
Neural Comput. Appl., 2010

Automatically patching errors in deployed software.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Behavior modes for randomized robotic coverage.
Proceedings of the 2nd International ICST Conference on Robot Communication and Coordination, 2009

Ad-hoc wireless network coverage with networked robots that cannot localize.
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Fast Self-stabilization for Gradients.
Proceedings of the Distributed Computing in Sensor Systems, 2009

Cells Are Plausible Targets for High-Level Spatial Languages.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Empirical Characterization of Discretization Error in Gradient-Based Algorithms.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Fast self-healing gradients.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Hardware Scripting in Gel.
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.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Continuous Space-Time Semantics Allow Adaptive Program Execution.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

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

Infrastructure for Engineered Emergence on Sensor/Actuator Networks.
IEEE Intell. Syst., 2006

Cognitive Adaptive Radio Teams.
Proceedings of the Third Annual IEEE Communications Society Conference on Sensor, 2006

Simultaneous localization, calibration, and tracking in an ad hoc sensor network.
Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

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

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

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

Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network.
Proceedings of the Information Processing in Sensor Networks, 2003

The Java Syntactic Extender.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

A High-Performance Dylan Implementation.
Proceedings of the Opening a New Horizon: Proceedings of the 1993 International Computer Music Conference, 1993

SLUG: A Connectionist Architecture for Inferring the Structure of Finite-State Environments.
Mach. Learn., 1991

Discovering the Structure of a Reactive Environment by Exploration.
Neural Comput., 1990

A Connectionist Learning Control Architecture for Navigation.
Proceedings of the Advances in Neural Information Processing Systems 3, 1990