Tweetovi

	Adrian Herrera @0xadr1an	14 h
	Odgovor korisniku/ci @krismicinski Also this paper is very nice! 🙂
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	14 h
	Odgovor korisniku/ci @krismicinski I think Peter O'Hearn's work with Facebook's Infer is another counter-example, where scalability was important from the get-go cacm.acm.org/magazines/2019…
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	4. velj
	Odgovor korisniku/ci @gannimo It seems I have some catching up to do! Although, to be fair, it's already pretty warm in Australia #HexHiveAus pic.twitter.com/8oe1gZwJlH
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	3. velj
	Odgovor korisniku/ci @AntonyHosking Great, I’ll bring the glasses for Thursday’s meeting 🍷🍷
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	2. velj
	This is a really great post! I don’t really consider myself a PL person (and had never heard of POPLmark), but I’ll definitely be checking out the panel video twitter.com/TaliaRinger/st…
	Prikaži podatke ·

	Adrian Herrera @0xadr1an	31. sij
	"Parallelizing Binary Code Analysis", Meng et al. Parallelizes Dyninst to improve control/data flow analysis + debug information parsing performance. Uses perf analysis to identify expensive code and applies race detectors to guide synchronization. arxiv.org/abs/2001.10621 pic.twitter.com/uCQiiyJbOP
	Prikaz fotografije ·

	Adrian Herrera @0xadr1an	29. sij
	Odgovor korisniku/ci @tmanning @johnregehr i 2 ostali Agreed, that one sounds rad!
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	29. sij
	Odgovor korisniku/ci @stevemblackburn @ShriramKMurthi Slowed for now! Temps are gonna hit 42 degree C come Friday-Saturday
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	26. sij
	Odgovor korisniku/ci @vvdveen @againsthimself Nice! Where is this?
	Prikaz razgovora ·

	Adrian Herrera proslijedio/la je tweet
	Caroline Lemieux @cestlemieux	25. sij
	Check out the RLCheck preprint! Cool idea to try and use reinforcement learning to tune generators to generate more valid (assumption-satisfying) inputs. With @SameerReddy0 @moarbugs @koushik77 carolemieux.com/rlcheck_prepri… pic.twitter.com/zm6THQXS6x
	Prikaz fotografije ·

	Adrian Herrera @0xadr1an	25. sij
	Odgovor korisniku/ci @mukesh_tiwari Awesome, congrats Mukesh!
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	24. sij
	Odgovor korisniku/ci @gannimo @ICepfl Congrats Ahmad!
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	23. sij
	Odgovor korisniku/ci @stevemblackburn Nice!
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	22. sij
	Odgovor korisniku/ci @cestlemieux Nice work Caroline!
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	21. sij
	Odgovor korisniku/ci @BSidesCbr This title is amazing
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	21. sij
	Odgovor korisniku/ci @_josh_green @BSidesCbr Congrats on getting the talk accepted Josh!
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	21. sij
	Odgovor korisniku/ci @krismicinski 😆
	Prikaz razgovora ·

	Adrian Herrera @0xadr1an	21. sij
	Odgovor korisniku/ci @krismicinski Hah is this actually a thing? “We assume that the malware can be lifted to LLVM IR”? I mean, these lifters often struggle with non-obfuscated code...
	Prikaz razgovora ·

	Adrian Herrera proslijedio/la je tweet
	Triton DBA framework @qb_triton	21. sij
	Automatic ROP chain generation using ROPgadget (gadgets finding) and Triton (sym. exec. part) by @n0psledbyte github.com/d4em0n/exrop !!
	Prikaz sažetka ·

	Adrian Herrera @0xadr1an	18. sij
	Odgovor korisniku/ci @_MatteoRizzo @ICepfl i 2 ostali Congrats dude!!!
	Prikaz razgovora ·