Jonathan Bachrach

56 papers A* 11A 10B 4C 1Misc 3Journal 10Unranked 16

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Simulator Independent Coverage for RTL Hardware Languages. ASPLOS (3) Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen
2022	A*	`conf`	Hammer: a modular and reusable physical design flow tool: invited. DAC Harrison Liew, Daniel Grubb, John Wright, Colin Schmidt, Nayiri Krzysztofowicz, Adam M. Izraelevitz, Edward Wang, Krste Asanovic, Jonathan Bachrach, Borivoje Nikolic
2021	J	`jnl`	Accessible, FPGA Resource-Optimized Simulation of Multiclock Systems in FireSim. IEEE Micro David Biancolin, Albert Magyar, Sagar Karandikar, Alon Amid, Borivoje Nikolic, Jonathan Bachrach, Krste Asanovic
2020	—	`conf`	A Methodology for Reusable Physical Design. ISQED Edward Wang, Colin Schmidt, Adam M. Izraelevitz, John Charles Wright, Borivoje Nikolic, Elad Alon, Jonathan Bachrach
2020	A*	`conf`	Invited: Chipyard - An Integrated SoC Research and Implementation Environment. DAC 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
2019	J	`jnl`	A Mixed-Signal RISC-V Signal Analysis SoC Generator With a 16-nm FinFET Instance. IEEE J. Solid State Circuits 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
2019	A	`conf`	FASED: FPGA-Accelerated Simulation and Evaluation of DRAM. FPGA David Biancolin, Sagar Karandikar, Donggyu Kim, Jack Koenig, Andrew Waterman, Jonathan Bachrach, Krste Asanovic
2019	J	`jnl`	FireSim: FPGA-Accelerated Cycle-Exact Scale-Out System Simulation in the Public Cloud. IEEE Micro 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
2019	B	`conf`	GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. FMCAD Rafael Dutra, Jonathan Bachrach, Koushik Sen
2019	A	`conf`	Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes. ICCAD Albert Magyar, David Biancolin, John Koenig, Sanjit A. Seshia, Jonathan Bachrach, Krste Asanovic
2019	A*	`conf`	Open-Source EDA Tools and IP, A View from the Trenches. DAC Elad Alon, Krste Asanovic, Jonathan Bachrach, Borivoje Nikolic
2019	A*	`conf`	Simmani: Runtime Power Modeling for Arbitrary RTL with Automatic Signal Selection. MICRO Donggyu Kim, Jerry Zhao, Jonathan Bachrach, Krste Asanovic
2018	—	`conf`	A Generated Multirate Signal Analysis RISC-V SoC in 16nm FinFET. A-SSCC 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
2018	A*	`conf`	ACED: a hardware library for generating DSP systems. DAC Angie Wang, Paul Rigge, Adam M. Izraelevitz, Chick Markley, Jonathan Bachrach, Borivoje Nikolic
2018	B	`conf`	DESSERT: Debugging RTL Effectively with State Snapshotting for Error Replays across Trillions of Cycles. FPL Donggyu Kim, Christopher Celio, Sagar Karandikar, David Biancolin, Jonathan Bachrach, Krste Asanovic
2018	A*	`conf`	Efficient sampling of SAT solutions for testing. ICSE Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen
2018	A*	`conf`	FireSim: FPGA-Accelerated Cycle-Exact Scale-Out System Simulation in the Public Cloud. ISCA 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 H. Katz, Jonathan Bachrach, Krste Asanovic
2018	A	`conf`	RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. ICCAD Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen
2018	A	`conf`	SMTSampler: efficient stimulus generation from complex SMT constraints. ICCAD Rafael Dutra, Jonathan Bachrach, Koushik Sen
2017	C	`conf`	A Hardware Accelerator for Computing an Exact Dot Product. ARITH Jack Koenig, David Biancolin, Jonathan Bachrach, Krste Asanovic
2017	A	`conf`	Cyclist: Accelerating hardware development. ICCAD Jonathan Bachrach, Albert Magyar, Daniel Palmer Dabbelt, Patrick Li, Richard Lin, Krste Asanovic
2017	A	`conf`	Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations. ICCAD Adam M. Izraelevitz, Jack Koenig, Patrick Li, Richard Lin, Angie Wang, Albert Magyar, Donggyu Kim, Colin Schmidt, Chick Markley, Jim Lawson, Jonathan Bachrach
2016	Misc	`conf`	A generator of memory-based, runtime-reconfigurable 2N3M5K FFT engines. ICASSP Angie Wang, Jonathan Bachrach, Borivoje Nikolic
2016	J	`jnl`	An Agile Approach to Building RISC-V Microprocessors. IEEE Micro 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
2016	A	`conf`	JITPCB. IROS Jonathan Bachrach, David Biancolin, Austin Buchan, Duncan W. Haldane, Richard Lin
2016	A*	`conf`	Strober: Fast and Accurate Sample-Based Energy Simulation for Arbitrary RTL. ISCA Donggyu Kim, Adam M. Izraelevitz, Christopher Celio, Hokeun Kim, Brian Zimmer, Yunsup Lee, Jonathan Bachrach, Krste Asanovic
2012	A*	`conf`	Chisel: constructing hardware in a Scala embedded language. DAC Jonathan Bachrach, Huy Vo, Brian C. Richards, Yunsup Lee, Andrew Waterman, Rimas Avizienis, John Wawrzynek, Krste Asanovic
2012	—	`conf`	Cryptography with Asynchronous Logic Automata. Cryptography and Security Peter Schmidt-Nielsen, Kailiang Chen, Jonathan Bachrach, Scott Greenwald, Forrest Green, Neil Gershenfeld
2012	A	`conf`	Towards a minimal architecture for a printable, modular, and robust sensing skin. IROS Austin Buchan, Jonathan Bachrach, Ronald S. Fearing
2011	J	`jnl`	Programmable Assembly With Universally Foldable Strings (Moteins). IEEE Trans. Robotics Kenneth C. Cheung, Erik D. Demaine, Jonathan Bachrach, Saul Griffith
2010	J	`jnl`	Composable continuous-space programs for robotic swarms. Neural Comput. Appl. Jonathan Bachrach, Jacob Beal, James McLurkin
2009	A*	`conf`	Ad-hoc wireless network coverage with networked robots that cannot localize. ICRA Nikolaus Correll, Jonathan Bachrach, Daniel Vickery, Daniela Rus
2009	A*	`conf`	Automatically patching errors in deployed software. SOSP 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
2009	—	`conf`	Behavior modes for randomized robotic coverage. ROBOCOMM Jacob Beal, Nikolaus Correll, Leonardo Urbina, Jonathan Bachrach
2009	B	`conf`	Fast Self-stabilization for Gradients. DCOSS Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark M. Tobenkin
2008	—	`conf`	Cells Are Plausible Targets for High-Level Spatial Languages. SASO Workshops Jacob Beal, Jonathan Bachrach
2008	—	`conf`	Empirical Characterization of Discretization Error in Gradient-Based Algorithms. SASO Jonathan Bachrach, Jacob Beal, Joshua Horowitz, Dany Qumsiyeh
2008	Misc	`conf`	Fast self-healing gradients. SAC Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark M. Tobenkin
2008	Misc	`conf`	Hardware Scripting in Gel. FCCM Jonathan Bachrach, Dany Qumsiyeh, Mark M. Tobenkin
2008	—	`conf`	Protoswarm: a language for programming multi-robot systems using the amorphous medium abstraction. AAMAS (3) Jonathan Bachrach, James McLurkin, Anthony Grue
2008	—	`conf`	The intimacy machine. SIGGRAPH Art Gallery Jonathan Bachrach
2007	—	`conf`	Continuous Space-Time Semantics Allow Adaptive Program Execution. SASO Jonathan Bachrach, Jacob Beal, Takeshi Fujiwara
2007	—	`conf`	Programming Manifolds. Computing Media and Languages for Space-Oriented Computation Jacob Beal, Jonathan Bachrach
2006	B	`conf`	Cognitive Adaptive Radio Teams. SECON Richard Lau, Stephanie Demers, Yibei Ling, Bruce Siegell, Einar Vollset, Ken Birman, Robbert van Renesse, Howard E. Shrobe, Jonathan Bachrach, Lester Foster
2006	J	`jnl`	Infrastructure for Engineered Emergence on Sensor/Actuator Networks. IEEE Intell. Syst. Jacob Beal, Jonathan Bachrach
2006	—	`conf`	Simultaneous localization, calibration, and tracking in an ad hoc sensor network. IPSN Christopher Taylor, Ali Rahimi, Jonathan Bachrach, Howard E. Shrobe, Anthony Grue
2005	—	`ch.`	Localization in Sensor Networks. Handbook of Sensor Networks Jonathan Bachrach, Christopher Taylor
2004	J	`jnl`	Experimental Results for and Theoretical Analysis of a Self-Organizing Global Coordinate System for Ad Hoc Sensor Networks. Telecommun. Syst. Jonathan Bachrach, Radhika Nagpal, Michael Salib, Howard E. Shrobe
2004	A	`conf`	I: move. Conference on Designing Interactive Systems Jonathan Bachrach, Nell Breyer
2003	—	`conf`	Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network. IPSN Radhika Nagpal, Howard E. Shrobe, Jonathan Bachrach
2001	A	`conf`	The Java Syntactic Extender. OOPSLA Jonathan Bachrach, Keith Playford
1993	—	`conf`	A High-Performance Dylan Implementation. ICMC Jonathan Bachrach
1991	J	`jnl`	SLUG: A Connectionist Architecture for Inferring the Structure of Finite-State Environments. Mach. Learn. Michael Mozer, Jonathan Bachrach
1990	—	`conf`	A Connectionist Learning Control Architecture for Navigation. NIPS Jonathan Bachrach
1990	J	`jnl`	Discovering the Structure of a Reactive Environment by Exploration. Neural Comput. Michael C. Mozer, Jonathan Bachrach
1989	—	`conf`	Discovering the Structure of a Reactive Environment by Exploration. NIPS Michael Mozer, Jonathan Bachrach