default search action
Jonathan Bachrach
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c44]Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen:
Simulator Independent Coverage for RTL Hardware Languages. ASPLOS (3) 2023: 606-615 - 2022
- [c43]Harrison Liew
, Daniel Grubb, John Wright, Colin Schmidt, Nayiri Krzysztofowicz, Adam M. Izraelevitz, Edward Wang, Krste Asanovic, Jonathan Bachrach, Borivoje Nikolic
Hammer: a modular and reusable physical design flow tool: invited. DAC 2022: 1335-1338 - 2021
- [j10]David Biancolin
Accessible, FPGA Resource-Optimized Simulation of Multiclock Systems in FireSim. IEEE Micro 41(4): 58-66 (2021) - 2020
- [c42]Alon Amid, David Biancolin, Abraham Gonzalez, Daniel Grubb, Sagar Karandikar, Harrison Liew
Invited: Chipyard - An Integrated SoC Research and Implementation Environment. DAC 2020: 1-6 - [c41]Edward Wang, Colin Schmidt, Adam M. Izraelevitz, John Charles Wright, Borivoje Nikolic
A Methodology for Reusable Physical Design. ISQED 2020: 243-249
2010 – 2019
- 2019
- [j9]Steven Bailey
A Mixed-Signal RISC-V Signal Analysis SoC Generator With a 16-nm FinFET Instance. IEEE J. Solid State Circuits 54(10): 2786-2801 (2019) - [j8]Sagar Karandikar, Howard Mao, Donggyu Kim, David Biancolin, Alon Amid
FireSim: FPGA-Accelerated Cycle-Exact Scale-Out System Simulation in the Public Cloud. IEEE Micro 39(3): 56-65 (2019) - [c40]Elad Alon, Krste Asanovic, Jonathan Bachrach, Borivoje Nikolic
Open-Source EDA Tools and IP, A View from the Trenches. DAC 2019: 79 - [c39]Rafael Dutra, Jonathan Bachrach, Koushik Sen:
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. FMCAD 2019: 203-211 - [c38]David Biancolin, Sagar Karandikar, Donggyu Kim, Jack Koenig, Andrew Waterman, Jonathan Bachrach, Krste Asanovic:
FASED: FPGA-Accelerated Simulation and Evaluation of DRAM. FPGA 2019: 330-339 - [c37]Albert Magyar, David Biancolin, John Koenig, Sanjit Seshia, Jonathan Bachrach, Krste Asanovic:
Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes. ICCAD 2019: 1-8 - [c36]Donggyu Kim, Jerry Zhao, Jonathan Bachrach, Krste Asanovic:
Simmani: Runtime Power Modeling for Arbitrary RTL with Automatic Signal Selection. MICRO 2019: 1050-1062 - 2018
- [c35]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
A Generated Multirate Signal Analysis RISC-V SoC in 16nm FinFET. A-SSCC 2018: 285-288 - [c34]Angie Wang, Paul Rigge, Adam M. Izraelevitz, Chick Markley, Jonathan Bachrach, Borivoje Nikolic
ACED: a hardware library for generating DSP systems. DAC 2018: 61:1-61:6 - [c33]Donggyu Kim, Christopher Celio, Sagar Karandikar, David Biancolin, Jonathan Bachrach, Krste Asanovic:
DESSERT: Debugging RTL Effectively with State Snapshotting for Error Replays across Trillions of Cycles. FPL 2018: 76-80 - [c32]Kevin Laeufer
RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. ICCAD 2018: 28 - [c31]Rafael Dutra, Jonathan Bachrach, Koushik Sen:
SMTSampler: efficient stimulus generation from complex SMT constraints. ICCAD 2018: 30 - [c30]Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen:
Efficient sampling of SAT solutions for testing. ICSE 2018: 549-559 - [c29]Sagar Karandikar, Howard Mao, Donggyu Kim, David Biancolin, Alon Amid
FireSim: FPGA-Accelerated Cycle-Exact Scale-Out System Simulation in the Public Cloud. ISCA 2018: 29-42 - 2017
- [c28]Jack Koenig, David Biancolin, Jonathan Bachrach, Krste Asanovic:
A Hardware Accelerator for Computing an Exact Dot Product. ARITH 2017: 114-121 - [c27]Adam M. Izraelevitz, Jack Koenig, Patrick Li, Richard Lin, Angie Wang, Albert Magyar, Donggyu Kim, Colin Schmidt, Chick Markley, Jim Lawson, Jonathan Bachrach:
Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations. ICCAD 2017: 209-216 - [c26]Jonathan Bachrach, Albert Magyar, Daniel Palmer Dabbelt, Patrick Li, Richard Lin, Krste Asanovic:
Cyclist: Accelerating hardware development. ICCAD 2017: 1011-1018 - 2016
- [j7]Yunsup Lee, Andrew Waterman, Henry Cook, Brian Zimmer, Ben Keller, Alberto Puggelli, Jaehwa Kwak, Ruzica Jevtic
An Agile Approach to Building RISC-V Microprocessors. IEEE Micro 36(2): 8-20 (2016) - [c25]Angie Wang, Jonathan Bachrach, Borivoje Nikolic:
A generator of memory-based, runtime-reconfigurable 2N3M5K FFT engines. ICASSP 2016: 1016-1020 - [c24]Jonathan Bachrach, David Biancolin, Austin Buchan, Duncan W. Haldane, Richard Lin:
JITPCB. IROS 2016: 2230-2236 - [c23]Donggyu Kim, Adam M. Izraelevitz, Christopher Celio, Hokeun Kim, Brian Zimmer, Yunsup Lee, Jonathan Bachrach, Krste Asanovic:
Strober: Fast and Accurate Sample-Based Energy Simulation for Arbitrary RTL. ISCA 2016: 128-139 - 2012
- [c22]Peter Schmidt-Nielsen, Kailiang Chen, Jonathan Bachrach, Scott Greenwald, Forrest Green, Neil Gershenfeld:
Cryptography with Asynchronous Logic Automata. Cryptography and Security 2012: 355-363 - [c21]Jonathan Bachrach, Huy Vo, Brian C. Richards, Yunsup Lee, Andrew Waterman, Rimas Avizienis, John Wawrzynek, Krste Asanovic:
Chisel: constructing hardware in a Scala embedded language. DAC 2012: 1216-1225 - [c20]Austin Buchan, Jonathan Bachrach, Ronald S. Fearing
Towards a minimal architecture for a printable, modular, and robust sensing skin. IROS 2012: 33-38 - 2011
- [j6]Kenneth C. Cheung, Erik D. Demaine, Jonathan Bachrach, Saul Griffith:
Programmable Assembly With Universally Foldable Strings (Moteins). IEEE Trans. Robotics 27(4): 718-729 (2011) - 2010
- [j5]Jonathan Bachrach, Jacob Beal
Composable continuous-space programs for robotic swarms. Neural Comput. Appl. 19(6): 825-847 (2010)
2000 – 2009
- 2009
- [c19]Jacob Beal
Fast Self-stabilization for Gradients. DCOSS 2009: 15-27 - [c18]Nikolaus Correll, Jonathan Bachrach, Daniel Vickery, Daniela Rus:
Ad-hoc wireless network coverage with networked robots that cannot localize. ICRA 2009: 3878-3885 - [c17]Jacob Beal, Nikolaus Correll, Leonardo Urbina, Jonathan Bachrach:
Behavior modes for randomized robotic coverage. ROBOCOMM 2009: 1-6 - [c16]Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe
Automatically patching errors in deployed software. SOSP 2009: 87-102 - 2008
- [c15]Jonathan Bachrach, James McLurkin, Anthony Grue:
Protoswarm: a language for programming multi-robot systems using the amorphous medium abstraction. AAMAS (3) 2008: 1175-1178 - [c14]Jonathan Bachrach, Dany Qumsiyeh, Mark M. Tobenkin:
Hardware Scripting in Gel. FCCM 2008: 13-22 - [c13]Jacob Beal
Fast self-healing gradients. SAC 2008: 1969-1975 - [c12]Jonathan Bachrach, Jacob Beal
Empirical Characterization of Discretization Error in Gradient-Based Algorithms. SASO 2008: 203-212 - [c11]Jacob Beal
Cells Are Plausible Targets for High-Level Spatial Languages. SASO Workshops 2008: 284-291 - [c10]Jonathan Bachrach:
The intimacy machine. SIGGRAPH Art Gallery 2008: 79 - 2007
- [c9]Jonathan Bachrach, Jacob Beal
Continuous Space-Time Semantics Allow Adaptive Program Execution. SASO 2007: 315-319 - [i1]Jacob Beal, Jonathan Bachrach:
Programming Manifolds. Computing Media and Languages for Space-Oriented Computation 2007 - 2006
- [j4]Jacob Beal
Infrastructure for Engineered Emergence on Sensor/Actuator Networks. IEEE Intell. Syst. 21(2): 10-19 (2006) - [c8]Christopher Taylor, Ali Rahimi, Jonathan Bachrach, Howard E. Shrobe, Anthony Grue:
Simultaneous localization, calibration, and tracking in an ad hoc sensor network. IPSN 2006: 27-33 - [c7]Richard Lau, Stephanie Demers, Yibei Ling, Bruce Siegell, Einar Vollset, Ken Birman
Cognitive Adaptive Radio Teams. SECON 2006: 842-847 - 2005
- [p1]Jonathan Bachrach, Christopher Taylor:
Localization in Sensor Networks. Handbook of Sensor Networks 2005: 277-310 - 2004
- [j3]Jonathan Bachrach, Radhika Nagpal
Experimental Results for and Theoretical Analysis of a Self-Organizing Global Coordinate System for Ad Hoc Sensor Networks. Telecommun. Syst. 26(2-4): 213-233 (2004) - [c6]Jonathan Bachrach, Nell Breyer:
I: move. Conference on Designing Interactive Systems 2004: 314 - 2003
- [c5]Radhika Nagpal
Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network. IPSN 2003: 333-348 - 2001
- [c4]Jonathan Bachrach, Keith Playford:
The Java Syntactic Extender. OOPSLA 2001: 31-42
1990 – 1999
- 1993
- [c3]Jonathan Bachrach:
A High-Performance Dylan Implementation. ICMC 1993 - 1991
- [j2]Michael Mozer, Jonathan Bachrach:
SLUG: A Connectionist Architecture for Inferring the Structure of Finite-State Environments. Mach. Learn. 7: 139-160 (1991) - 1990
- [j1]Michael C. Mozer, Jonathan Bachrach:
Discovering the Structure of a Reactive Environment by Exploration. Neural Comput. 2(4): 447-457 (1990) - [c2]Jonathan Bachrach:
A Connectionist Learning Control Architecture for Navigation. NIPS 1990: 457-463
1980 – 1989
- 1989
- [c1]Michael Mozer, Jonathan Bachrach:
Discovering the Structure of a Reactive Environment by Exploration. NIPS 1989: 439-446
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: