An official website of the United States government Here's how you know

Official websites use .gov

A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS

A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

PAR Home Contact FAQ

PAR Home
Contact
FAQ

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.

+ Advanced Search

Advanced Search Options

Search Across All Fields

Subject(s) / Keyword(s):

Identifier Number: What does this include?

Resource Type:

Search a Specific Field

Journal Name:

Description / Abstract:

Title:

Date Published:

Publisher or Repository Name:

Award ID:

Author / Creator:

Date Updated:

Home
Search Results
Page 1 of 1

Search for: All records

Creators/Authors contains: "Lyubomirsky, Steven"

Sort by Date (newest first)
Sort by Date (oldest first)
Sort by Relevance

« Prev Select page number Next »

Total Resources

2

Resource Type
Audiovisual

0

Book

0

Book Chapter

0

Conference Paper

1

Conference Proceeding

0

Data Paper

0

Dataset

0

Dissertation

0

Educational aid or Curriculum

0

Journal Article

1

Model

0

Posted Content

0

Service

0

Software

0

Sound

0

Workshop Report

0
More

Availability
Full Text / Resource Available

1

Citation Only

1

Author / Contributor
Filter by Author / Creator
Filter by Editor

Save Results
Excel (limit 2000)
CSV (limit 5000)
XML (limit 5000)

Have feedback or suggestions for a way to improve these results?
!

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

FPGA Technology Mapping Using Sketch-Guided Program Synthesis

https://doi.org/10.1145/3620665.3640387

Smith, Gus Henry; Kushigian, Benjamin; Canumalla, Vishal; Cheung, Andrew; Lyubomirsky, Steven; Porncharoenwase, Sorawee; Just, René; Bernstein, Gilbert Louis; Tatlock, Zachary (April 2024, ACM)

Free, publicly-accessible full text available April 27, 2025
SpaceSearch: a library for building and verifying solver-aided tools

https://doi.org/10.1145/3110269

Weitz, Konstantin; Lyubomirsky, Steven; Heule, Stefan; Torlak, Emina; Ernst, Michael D.; Tatlock, Zachary (August 2017, Proceedings of the ACM on Programming Languages)

Full Text Available

« Prev Select page number Next »

Website Policies | Budget and Performance | Inspector General | Privacy | FOIA | No FEAR Act | USA.gov | Accessibility | Plain Language | Contact | Help

The National Science Foundation, 2415 Eisenhower Avenue, Alexandria, Virginia 22314, USA Tel: (703) 292-5111, FIRS: (800) 877-8339 | TDD: (800) 281-8749

Author Select

Last Name:

First Name:

Search Results
Selected Authors

Type in a name, or the first few letters of a name, in one or both of appropriate search boxes above and select the search button. An attempt will be made to match authors that most closely relate to the text you typed.

No authors are currently selected. Choosing "Select These Authors" will enter a blank value for author search in the parent form.

Editor Select

Last Name:

First Name:

Search Results
Selected Editors

Type in a name, or the first few letters of a name, in one or both of appropriate search boxes above and select the search button. An attempt will be made to match editors that most closely relate to the text you typed.

No editors are currently selected. Choosing "Select These Editors" will enter a blank value for editor search in the parent form.

Warning: Leaving National Science Foundation Website

You are now leaving the National Science Foundation website to go to a non-government website.

Website:

NSF takes no responsibility for and exercises no control over the views expressed or the accuracy of the information contained on this site. Also be aware that NSF's privacy policy does not apply to this site.