John Wickerson

@wicko3

Lecturer at researching programming languages and hardware design

United Kingdom
johnwickerson.github.io
Vrijeme pridruživanja: svibanj 2009.
248 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @wicko3

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @wicko3

  1. proslijedio/la je Tweet
    1. velj

    "So I have decided to stop attempting to generate new mathematics, and concentrate instead on carefully checking “known” mathematics on a computer."

    1 reply 37 proslijeđenih tweetova 119 korisnika označava da im se sviđa
    Poništi
  2. 31. sij

    How do people interpret “strong reject” when reviewing conference papers? “I strongly think this paper is below the bar for acceptance” or “I think this paper is a long way below the bar for acceptance”?

    2 korisnika označavaju da im se sviđa
    Poništi
  3. 28. sij

    Prolog is such a nice language for implementing type inference!

    12 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    27. sij

    Best piece of advice for talks I've ever read is that people are better at generalizing from a good example than imagining helpful examples of an abstract notion. Can't find where I saw it. did you write this, or do you recognize it?

    10 replies 21 proslijeđeni tweet 252 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. 24. sij

    Lélio Brun is formalising Model-Based Design at

    3 korisnika označavaju da im se sviđa
    Poništi
  6. 24. sij

    David Pichardie is proving that constantTime(prog) ==> constantTime(compile(prog)) at

    10 korisnika označava da im se sviđa
    Poništi
  7. 24. sij

    Hongseok Yang is introducing probabilistic programming in his keynote

    7 korisnika označava da im se sviđa
    Poništi
  8. 23. sij

    Martin Clochard is verifying efficient iterative programs by relating them to simple recursive programs at

    4 korisnika označavaju da im se sviđa
    Poništi
  9. 23. sij

    Daming Zou is analysing floating point errors by examining how well-conditioned each operation in a program is, at

    10 korisnika označava da im se sviđa
    Poništi
  10. 23. sij

    Cristina Cifuentes is giving a keynote on secure programming languages at

    2 korisnika označavaju da im se sviđa
    Poništi
  11. 22. sij

    Rodolphe Lepigre is adding prophecy variables to separation logic in a principled way at

    4 korisnika označavaju da im se sviđa
    Poništi
  12. 22. sij

    Fredrik Dahlqvist is presenting a cleaner semantics for probabilistic programs at

    7 korisnika označava da im se sviđa
    Poništi
  13. 22. sij

    Martin Vechev is inviting researchers to bring PL techniques to bear on next-generation ML, in his keynote. – mjesto: JW Marriott New Orleans

    9 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    18. sij

    ACM is thinking about how citations should appear in computer science papers. Current citations use author-year format. Some find it verbose. Prev poll had vote splitting—let's try ranking options instead: (RT if you care about this issue)

    30 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    17. sij

    Beetlebox is currently recruiting. If you are interested in and . Learn more here: .

    1 reply 8 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    17. sij

    ACM is thinking about how citations should appear in computer science papers. What's your opinion? 1. Author-year: recognizable but verbose 2. numeric: compact but not recognizable 3. alphanumeric: somewhat compact and somewhat recognizable.

    11 replies 3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    29. pro 2019.

    When building some hardware the HLS way There's no task more vital or bigger, Than figuring out, for each step of the clock, Which gates are the next ones to trigger.

    1 reply 4 proslijeđena tweeta 14 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    16. sij

    Looking for semantics and verification postdocs (and research engineers) to make real systems less terrible: . Find me at if you're there, or email.

    1 reply 20 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    15. sij

    Hi all! I'm going to POPL/PLMW next week, and I'm apprehensive as it's my first conference! Do more seasoned attendees have advice on getting around or suggestions for events to go to? (Also, if anyone wants to say hi, I'll be at the mentoring breakfasts and the W@POPL dinner!)

    14 replies 8 proslijeđenih tweetova 57 korisnika označava da im se sviđa
    Poništi
  20. 14. sij

    Congratulations to Patrick Sittel, whose 2020 paper has been nominated for a Best Paper award!

    Delighted that Patrick Sittel's paper about modulo scheduling with *rational* initiation intervals (with Kumm, Zipf, and myself) has been accepted to 2020. Preprint available soon!
    Prikaži ovu nit
    8 korisnika označava da im se sviđa
    Poništi

@wicko3 još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·