I agree that this site is using cookies. You can find further informations here.
X
Fähndrich, Manuel
77  results:
Search for persons X
?
1

Scaling static analyses at Facebook:

Distefano, Dino ; Fähndrich, Manuel ; Logozzo, Francesco.
Communications of the ACM.  62 (2019)  8 - p. 62-70 , 2019
Link: https://dl.acm.org/doi/1..
 
?
2

Scaling static analyses at Facebook:

Distefano, Dino ; Fähndrich, Manuel ; Logozzo, Francesco.
Communications of the ACM.  62 (2019)  8 - p. 62-70 , 2019
Link: https://doi.org/10.1145/..
 
?
3

Verification modulo versions: towards usable verification:

Logozzo, Francesco ; Lahiri, Shuvendu K. ; Fähndrich, Manuel.
ACM SIGPLAN Notices.  49 (2014)  6 - p. 294-304 , 2014
Link: https://doi.org/10.1145/..
 
?
4

Verification modulo versions : towards usable verificati..:

, In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Logozzo, Francesco ; Lahiri, Shuvendu K. ; Fähndrich, Manuel. - p. 294-304 , 2014
Link: https://dl.acm.org/doi/1..
 
?
5

SAS2013 artifact submission experience report:

Fähndrich, Manuel ; Logozzo, Francesco
ACM SIGPLAN Notices.  49 (2014)  4S - p. 39-40 , 2014
Link: https://dl.acm.org/doi/1..
 
?
6

User-aware privacy control via extended static-information-..:

Xiao, Xusheng ; Tillmann, Nikolai ; Fahndrich, Manuel...
Automated Software Engineering.  22 (2014)  3 - p. 333-366 , 2014
Link: https://doi.org/10.1007/..
 
?
7

Lessons from a web-based IDE and runtime:

, In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation,
Fähndrich, Manuel - p. 1-2 , 2014
Link: https://dl.acm.org/doi/1..
 
?
8

SAS2013 artifact submission experience report:

Fähndrich, Manuel ; Logozzo, Francesco
ACM SIGPLAN Notices.  49 (2014)  4S - p. 39-40 , 2014
Link: https://doi.org/10.1145/..
 
?
9

Static Analysis 

20th International Symposium, SAS 2013, Seattle, WA, USA, J...  Lecture Notes in Computer Science ; 7935;SpringerLink, Bücher
Logozzo, Francesco ; Fähndrich, Manuel , 2013
Link: https://doi.org/10.1007/..
 
?
10

Session details: Compilation:

Fahndrich, Manuel
ACM SIGPLAN Notices.  48 (2013)  1 - p. , 2013
Link: https://doi.org/10.1145/..
 
?
11

Abstracting runtime heaps for program understanding:

Marron, Mark ; Sanchez, Cesar ; Su, Zhendong.
IEEE Transactions on Software Engineering.  39 (2013)  6 - p. 774-786 , 2013
Link: https://doi.org/10.1109/..
 
?
12

Session details: Compilation:

, In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Fahndrich, Manuel , 2013
Link: https://dl.acm.org/doi/1..
 
?
13

Session details: Compilation:

Fahndrich, Manuel
ACM SIGPLAN Notices.  48 (2013)  1 - p. , 2013
Link: https://dl.acm.org/doi/1..
 
?
14

It's alive! continuous feedback in UI programming:

Burckhardt, Sebastian ; Fahndrich, Manuel ; de Halleux, Peli...
ACM SIGPLAN Notices.  48 (2013)  6 - p. 95-104 , 2013
Link: https://doi.org/10.1145/..
 
?
15

It's alive! continuous feedback in UI programming:

, In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Burckhardt, Sebastian ; Fahndrich, Manuel ; de Halleux, Peli... - p. 95-104 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15