Search: cis.upenn.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Types and Programming Languages

a year ago

41 points

32.

Software Foundations. Benjamin C. Pierce et al.

14 years ago

37 points

33.

Featherweight Java: A Minimal Core Calculus for Java and GJ (2002) [pdf]

6 years ago

34 points

34.

The Haskell Alphabet

16 years ago

32 points

35.

The Weird World of Bi-Directional Programming (2006) [pdf]

11 years ago

32 points

36.

Sam's Strobe FAQ

repairfaq.cis.upenn.edu

5 years ago

26 points

37.

(When) Will Property-Based Testing Rule the World? [pdf]

4 years ago

21 points

38.

Gordon Moore: Cramming More Components onto Integrated Circuits (1965) [pdf]

11 years ago

19 points

39.

A more interesting Gnosis - A Prototype Operating System for the 1990's

16 years ago

jasongullickson

17 points

40.

Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf]

11 years ago

14 points

41.

Vellum, a verified model for LLVM

14 years ago

13 points

42.

The Algorithmic Foundations of Differential Privacy (2014) [pdf]

5 years ago

9 points

43.

The Algorithmic Foundations of Differential Privacy [pdf]

10 years ago

9 points

44.

Pitfalls of Accurately Benchmarking Thermally Adaptive Chips [pdf]

acg.cis.upenn.edu

11 years ago

8 points

45.

Passive voice in Reuter headlines about Israelis and Palestinians (2003)

itre.cis.upenn.edu

a year ago

7 points

46.

The Algorithmic Foundations of Differential Privacy (2014) [pdf]

10 years ago

7 points

47.

No word for sex

itre.cis.upenn.edu

15 years ago

6 points

48.

Java is not type-safe (1997)

12 years ago

6 points

49.

Software Foundations

softwarefoundations.cis.upenn.edu

a year ago

6 points

50.

The Algorithmic Foundations of Differential Privacy [pdf]

8 years ago

6 points

51.

The snow words myth: progress at last (2007)

itre.cis.upenn.edu

12 years ago

5 points

52.

A Concise Guide to Clojure

13 years ago

5 points

53.

Linear Algebra for Computer Vision, Robotics, and Machine Learning [pdf]

2 years ago

5 points

54.

Software Foundations

15 years ago

5 points

55.

Algebraic Geometry [pdf]

8 years ago

5 points

56.

Datalog and Emerging Applications: An Interactive Tutorial [pdf]

netdb.cis.upenn.edu

9 years ago

5 points

57.

Death claims singular "them" (2007)

itre.cis.upenn.edu

14 years ago

4 points

58.

λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf]

a year ago

082349872349872

4 points

59.

XFaaS: Hyperscale and Low Cost Serverless Functions at Meta [pdf]

2 years ago

4 points

60.

Software Foundations Vol. 5: Verifiable C

softwarefoundations.cis.upenn.edu

6 years ago

4 points