default search action

combined dblp search
author search
venue search
publication search

ask others

Joshua S. Auerbach

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AuerbachHMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AuerbachHMSS17
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Prototyping a query compiler using Coq (experience report). Proc. ACM Program. Lang. 1(ICFP): 9:1-9:15 (2017)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/AuerbachHMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/AuerbachHMSS17
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. SIGMOD Conference 2017: 1555-1569
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/AuerbachHMSS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/AuerbachHMSS17a
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Q*cert: A Platform for Implementing and Verifying Query Compilers. SIGMOD Conference 2017: 1703-1706
2015
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/AuerbachBCFRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/AuerbachBCFRS15
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla:
Growing a Software Language for Hardware Design. SNAPL 2015: 32-40
2013
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AuerbachBCFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AuerbachBCFR13
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah:
The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. ECOOP 2013: 679-706
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fpt/AltmanABBCFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpt/AltmanABBCFR13
Erik R. Altman, Joshua S. Auerbach, David F. Bacon, Ioana Baldini, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah:
The Liquid Metal Blokus Duo Design. FPT 2013: 490-493
2012
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/AuerbachBBCFRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/AuerbachBBCFRS12
Joshua S. Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla:
A compiler and runtime for heterogeneous computing. DAC 2012: 271-276
2011
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/AuerbachBCRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/AuerbachBCRS11
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah, Sunil Shukla:
Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language. DAC 2011: 890-894
2010
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/AuerbachBCR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AuerbachBCR10
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah:
Lime: a Java-compatible and synthesizable language for heterogeneous architectures. OOPSLA 2010: 89-108

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/AuerbachBIKRRT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/AuerbachBIKRRT09
Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer:
Low-latency time-portable real-time programming with Exotasks. ACM Trans. Embed. Comput. Syst. 8(2): 15:1-15:48 (2009)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/jtres/RockAKB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jtres/RockAKB09
Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon:
Avoiding unbounded priority inversion in barrier protocols using gang priority management. JTRES 2009: 70-79
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/ZouABL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/ZouABL09
Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee:
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. LCTES 2009: 31-40
2008
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AuerbachBCGBGMMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AuerbachBCGBGMMS08
Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone:
Tax-and-spend: democratic scheduling for real-time garbage collection. EMSOFT 2008: 245-254
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/AuerbachBGSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/AuerbachBGSV08
Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek:
Flexible task graphs: a unified restricted thread programming model for java. LCTES 2008: 1-11
2007
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AuerbachBBCDFGHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AuerbachBBCDFGHS07
Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley:
Design and implementation of a comprehensive real-time java virtual machine. EMSOFT 2007: 249-258
[c19]
- view
  - electronic edition via handle.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/icmc/AuerbachBBC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmc/AuerbachBBC07
Joshua S. Auerbach, David F. Bacon, Florian Bömers, Perry Cheng:
Real-Time Music synthesis in Java using the Metronome Garbage Collector. ICMC 2007
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/AuerbachBIKRRT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/AuerbachBIKRRT07
Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer:
Java takes flight: time-portable real-time programming with exotasks. LCTES 2007: 51-62
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TitzerABP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TitzerABP07
Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg:
The ExoVM system for automatic VM and application reduction. PLDI 2007: 352-362
2006
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SpoonhowerABCG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SpoonhowerABCG06
Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove:
Eventrons: a safe programming construct for high-frequency hard real-time applications. PLDI 2006: 283-294
2005
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/vee/AlpernABFMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vee/AlpernABFMP05
Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott:
PDS: a virtual execution environment for software deployment. VEE 2005: 175-185
2003
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/AuerbachGKK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/AuerbachGKK03
Joshua S. Auerbach, Madan Gopal, Marc A. Kaplan, Shay Kutten:
Multicast group membership management. IEEE/ACM Trans. Netw. 11(1): 166-175 (2003)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/BholaZA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/BholaZA03
Sumeer Bhola, Yuanyuan Zhao, Joshua S. Auerbach:
Scalably Supporting Durable Subscriptions in a Publish/Subscribe System. DSN 2003: 57-66
2002
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/BholaSBZA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/BholaSBZA02
Sumeer Bhola, Robert E. Strom, Saurabh Bagchi, Yuanyuan Zhao, Joshua S. Auerbach:
Exactly-once Delivery in a Content-based Publish-Subscribe System. DSN 2002: 7-16
2001
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/StromA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/StromA01
Robert E. Strom, Joshua S. Auerbach:
The Optimistic Readers Transformation. ECOOP 2001: 275-301
2000
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/OpyrchalAABSS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/OpyrchalAABSS00
Lukasz Opyrchal, Mark Astley, Joshua S. Auerbach, Guruduth Banavar, Robert E. Strom, Daniel C. Sturman:
Exploiting IP Multicast in Content-Based Publish-Subscribe Systems. Middleware 2000: 185-207

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/AuerbachBCR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/AuerbachBCR99
Joshua S. Auerbach, Charles Barton, Mark Chu-Carroll, Mukund Raghavachari:
Mockingbird: Flexible Stub Compilation from Pairs of Declarations. ICDCS 1999: 393-402
1995
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/cikm/GrosofLCPA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/GrosofLCPA95
Benjamin N. Grosof, David W. Levine, Hoi Y. Chan, Colin Parris, Joshua S. Auerbach:
Reusable Architecture for Embedding Rule-based Intelligence in Information Agents. CIKM Information Agents Workshop 1995: 10:1-10:7
1994
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/AuerbachGKR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/AuerbachGKR94
Joshua S. Auerbach, Ajei S. Gopal, Mark T. Kennedy, James R. Russell:
Concert/C: Supporting Distributed Programming with Language Extensions and a Portable Multiprotocol Runtime. ICDCS 1994: 152-159
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/idl/AuerbachR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idl/AuerbachR94
Joshua S. Auerbach, James R. Russell:
The Concert Signature Representation: IDL as Intermediate Language. Workshop on Interface Definition Languages 1994: 1-12
[c6]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/AuerbachGGGKRR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/AuerbachGGGKRR94
Joshua S. Auerbach, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Josyula R. Rao, James R. Russell:
Concert/C: A Language for Distributed Programming. USENIX Winter 1994: 79-96
1992
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iccl/AuerbachBGGGKLRSSYY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccl/AuerbachBGGGKLRSSYY92
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini:
High-level language support for programming distributed systems. ICCL 1992: 320-330
1991
[c4]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/cascon/AuerbachBGGKLRSSYY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/AuerbachBGGKLRSSYY91
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini:
High-level language support for programming distributed systems. CASCON 1991: 173-196
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/AuerbachGKK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/AuerbachGKK91
Joshua S. Auerbach, Madan Gopal, Marc A. Kaplan, Shay Kutten:
Multicast group membership management in high speed wide area networks. ICDCS 1991: 231-238
1990
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/Auerbach90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/Auerbach90
Joshua S. Auerbach:
TACT: A Protocol Conversion Toolkit. IEEE J. Sel. Areas Commun. 8(1): 143-159 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/Auerbach89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/Auerbach89
Joshua S. Auerbach:
A Protocol Conversion Software Toolkit. SIGCOMM 1989: 259-270
1986
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icc/Auerbach86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/Auerbach86
Joshua S. Auerbach:
File Request Transparency Between Heterogeneous Systems. ICC 1986: 1429-1433
1985
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/ParrAG85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/ParrAG85
Francis N. Parr, Joshua S. Auerbach, Barry C. Goldstein:
Distributed Processing Involving Personal Computers and Mainframe Hosts. IEEE J. Sel. Areas Commun. 3(3): 479-489 (1985)

Coauthor Index

see FAQ

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.